Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | List.assocAddSorted | Adam Chlipala | 2018-12-14 |
| | |||
* | Proper ignoring of empty SQL updates | Adam Chlipala | 2018-12-14 |
| | |||
* | Merge pull request #148 from doublec/timelocal | Adam Chlipala | 2018-11-25 |
|\ | | | | | Replace timelocal usage with mktime | ||
* \ | Merge pull request #147 from bbarenblat/master | Adam Chlipala | 2018-11-25 |
|\ \ | | | | | | | Use our own memmem only when libc doesn’t have one | ||
| | * | Replace timelocal usage with mktime | Chris Double | 2018-11-25 |
| |/ |/| | | | | | | | | | | | timelocal is a non-standard GNU extension and equivalent to the POSIX standard mktime. musl-libc doesn't have timelocal, preventing fully static builds of urweb with musl. | ||
| * | Use our own memmem only when libc doesn’t have one | Benjamin Barenblat | 2018-11-07 |
|/ | | | | | | | | | | | | | | | | Systems without memmem(3) are getting rarer every day. We can improve clarity and efficiency by relying on libc’s memmem whenever possible. Detect at compile time whether the system supports memmem(3); if it does, simply reexport its prototype through memmem.h and emit no code. If it doesn’t, actually build in the memmem code in memmem.c. Along the way, undo the renaming from commit 6dad7c645d8fdb7b7237c89ff7b34e90adbb86b1. Since we’re only creating a memmem prototype if libc doesn’t define the symbol, our prototype should never clash with libc’s. As before, authors should not assume string.h provides a prototype for memmem; they should `#include "memmem.h"` if they use the function. | ||
* | List.mapMi | Adam Chlipala | 2018-11-04 |
| | |||
* | Fix a manual typo | Adam Chlipala | 2018-10-23 |
| | |||
* | Accept a few other command-line arguments to trigger help text (closes #63) | Adam Chlipala | 2018-10-19 |
| | |||
* | More telegraphic error text for clashing URL prefixes (closes #111) | Adam Chlipala | 2018-10-19 |
| | |||
* | Block scary types for [de]serialization (closes #98) | Adam Chlipala | 2018-10-19 |
| | |||
* | Automatic merging of style/dynStyle and class/dynClass (closes #64) | Adam Chlipala | 2018-10-19 |
| | |||
* | Client-side escaping of HTML should be prepared for structured HTML trees, ↵ | Adam Chlipala | 2018-10-19 |
| | | | | not just strings (closes #141) | ||
* | Just return None rather than crashing, when trying to read cookies within ↵ | Adam Chlipala | 2018-10-19 |
| | | | | tasks (closes #143) | ||
* | unsafeSerialized[To|From]String | Adam Chlipala | 2018-10-19 |
| | |||
* | Catch when a cselect has an unavailable value set | Adam Chlipala | 2018-10-12 |
| | |||
* | Merge pull request #140 from ashalkhakov/flycheck | Adam Chlipala | 2018-09-02 |
|\ | | | | | FlyCheck integration. | ||
* \ | Merge pull request #138 from bbarenblat/master | Adam Chlipala | 2018-09-02 |
|\ \ | | | | | | | Start using symbol versioning | ||
| | * | Multi-file projects should work. | Artyom Shalkhakov | 2018-09-01 |
| | | | |||
| | * | Flycheck: improving multi-file support | Artyom Shalkhakov | 2018-08-31 |
| | | | |||
| | * | FlyCheck integration. | Artyom Shalkhakov | 2018-08-31 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Some issues: - since Ur/Web expects to typecheck a project, we "guess" it (which may not be the exact project that you use, maybe we need to improve our heuristics) - lightly tested, but seems to work on my machine | ||
* | | | Detect lambda abstractions over type classes as deserving of ↵ | Adam Chlipala | 2018-08-29 |
| | | | | | | | | | | | | implicit-argument status | ||
* | | | List.allM | Adam Chlipala | 2018-08-25 |
| | | | |||
* | | | Merge pull request #134 from steinuil/json-single-quote | Adam Chlipala | 2018-08-17 |
|\ \ \ | | | | | | | | | removed invalid JSON escape character | ||
| * | | | removed invalid JSON escape character | steinuil | 2018-08-04 |
| | | | | |||
* | | | | Merge pull request #132 from fabriceleal/offsetXY | Adam Chlipala | 2018-07-15 |
|\ \ \ \ | |/ / / |/| | | | bring offsetX, offsetY to mouseEvent | ||
| * | | | offsetX, offsetY | Fabrice Leal | 2018-07-09 |
|/ / / | |||
| * / | Start using symbol versioning | Benjamin Barenblat | 2018-06-17 |
|/ / | | | | | | | | | | | We now have enough users to make ABI compatibility worthwhile. Designate the current ABI as version 1 and begin maintaining `-version-info` for libtool. | ||
* | | Slight change to venerable Nested demo, to get proper URL resolution | Adam Chlipala | 2018-06-16 |
| | | |||
* | | Slight change to venerable Nested demo, to get proper URL resolution | Adam Chlipala | 2018-06-16 |
| | | |||
* | | Return to working version mode | Adam Chlipala | 2018-06-16 |
| | | |||
* | | New release20180616 | Adam Chlipala | 2018-06-16 |
|/ | |||
* | Properly populate set of type classes when reusing a module from the ↵ | Adam Chlipala | 2018-06-06 |
| | | | | type-inference cache | ||
* | Merge branch 'master' of ssh://github.com/urweb/urweb | Adam Chlipala | 2018-06-04 |
|\ | |||
* | | Fix to recent addition of defensive unurlification | Adam Chlipala | 2018-06-04 |
| | | |||
| * | Merge pull request #126 from majorseitan/master | Adam Chlipala | 2018-06-04 |
| |\ | | | | | | | Improved support for JSON escape characters | ||
| * | | Merge pull request #127 from ashalkhakov/cradio | Adam Chlipala | 2018-06-04 |
|/| | | | | | | | | Adding: cradio (support for client-side radio box). | ||
* | | | Fail when requesting a file cache with a database engine that won't do SHA512 | Adam Chlipala | 2018-06-03 |
| | | | |||
* | | | 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process | Adam Chlipala | 2018-06-03 |
| | | | |||
| | * | Merge branch 'master' into master | major seitan | 2018-06-02 |
| | |\ | |_|/ |/| | | |||
| * | | Multi-group test | Artyom Shalkhakov | 2018-05-30 |
| | | | |||
* | | | Remove insecure crypto function (closes #114) | Adam Chlipala | 2018-05-29 |
| | | | |||
| * | | Formatting | Artyom Shalkhakov | 2018-05-28 |
| | | | |||
| * | | Adding: cradio (support for client-side radio box). | Artyom Shalkhakov | 2018-05-28 |
|/ / | |||
| * | resolve merge conflict on test | majorseitan@blockfreie.org | 2018-05-26 |
| | | |||
| * | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-05-26 |
| | | | | | | | | | | 1. Handle the escape character \/ | ||
* | | A test for List.groupBy | Adam Chlipala | 2018-05-21 |
| | | |||
* | | Proper error message when the body of a 'val' declaration fails to check ↵ | Adam Chlipala | 2018-05-20 |
| | | | | | | | | against the type annotation | ||
* | | Merge pull request #123 from ashalkhakov/tests | Adam Chlipala | 2018-05-19 |
|\ \ | | | | | | | Adding Selenium-based checking to tests. | ||
* | | | More defensive unurlification of enumerations (closes #117) | Adam Chlipala | 2018-05-19 |
| | | |