Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Follow-up to #146: make style consistent in C code | Adam Chlipala | 2018-12-19 |
| | |||
* | Merge pull request #146 from fabriceleal/utf-icu | Adam Chlipala | 2018-12-19 |
|\ | | | | | utf-8 aware functions for basis. unit-testing. | ||
| * | test 7 | fab | 2018-12-17 |
| | | |||
| * | test 6 | fab | 2018-12-17 |
| | | |||
| * | test 5 | fab | 2018-12-17 |
| | | |||
* | | When using a file cache, add plugin-loading code (for SHA512) to tops of ↵ | Adam Chlipala | 2018-12-17 |
| | | | | | | | | .sql files | ||
| * | test 4 | fab | 2018-12-17 |
| | | |||
| * | test2 | fab | 2018-12-17 |
| | | |||
* | | Specialize: ignore recursive references in classifying polymorphic uses of ↵ | Adam Chlipala | 2018-12-16 |
| | | | | | | | | datatypes | ||
* | | Specialize: stay clear of datatypes that are used polymorphically | Adam Chlipala | 2018-12-16 |
| | | |||
* | | New .urp option: safeGetDefault | Adam Chlipala | 2018-12-14 |
| | | |||
* | | Proper ignoring of empty SQL updates | Adam Chlipala | 2018-12-14 |
| | | |||
| * | exhaustive testing brought to selenium. bug fix in isspace. useful function ↵ | fab | 2018-12-11 |
| | | | | | | | | to test if char is <128 | ||
| * | migrate is_valid_hash, blessData, property, atom | fab | 2018-12-11 |
| | | |||
| * | fix isxdigit: is probably helpful to keep it only to ascii chars. migrate ↵ | fab | 2018-12-09 |
| | | | | | | | | islower, isupper, isalpha, isdigit, isblank, isspace, isxdigit, isprint | ||
| * | chars with more than 2 bytes are awkwardly handled by the "normal" string of ↵ | fab | 2018-12-06 |
| | | | | | | | | javascript. the best way to get consistent results seems to be to convert to array by Array.from(...) and back to strings with .join("") | ||
| * | fix: U8_IS_SINGLE should only be called on raw char*, NOT on uw_Basis_char | fab | 2018-12-02 |
| | | |||
| * | 1 bug fix and sorting out my own confusion: uw_Basis_char is already a ↵ | fab | 2018-12-02 |
| | | | | | | | | codepoint, NOT the "serialized" utf8 | ||
| * | reject invalid codepoints. Basis.iscodepoint. fix german char in js | fab | 2018-11-30 |
| | | |||
* | | Merge pull request #148 from doublec/timelocal | Adam Chlipala | 2018-11-25 |
|\ \ | | | | | | | Replace timelocal usage with mktime | ||
| * | | 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. | ||
| | * | several fixes on unit tests and implementation | fab | 2018-11-19 |
| | | | |||
| | * | utf-8 aware functions for basis. unit-testing. | fab | 2018-11-17 |
| |/ | |||
* / | 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. | ||
* | 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 |
| | |||
* | 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 |
| | |||
* | 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 | ||
| * | 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. | ||
* | 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 #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 |
| | | |||
* | | 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 |
|/ | |||
* | Proper error message when the body of a 'val' declaration fails to check ↵ | Adam Chlipala | 2018-05-20 |
| | | | | against the type annotation | ||
* | More defensive unurlification of enumerations (closes #117) | Adam Chlipala | 2018-05-19 |
| | |||
* | Handle empty SELECT clauses | Adam Chlipala | 2018-03-13 |
| | |||
* | automatically enable foreign keys and WAL for SQLite | steinuil | 2018-02-26 |
| | |||
* | Proper handling of absolute paths for files to serve | Adam Chlipala | 2018-01-08 |
| |