summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Follow-up to #146: make style consistent in C codeGravatar Adam Chlipala2018-12-19
|
* Merge pull request #146 from fabriceleal/utf-icuGravatar Adam Chlipala2018-12-19
|\ | | | | utf-8 aware functions for basis. unit-testing.
| * test 7Gravatar fab2018-12-17
| |
| * test 6Gravatar fab2018-12-17
| |
| * test 5Gravatar fab2018-12-17
| |
* | When using a file cache, add plugin-loading code (for SHA512) to tops of ↵Gravatar Adam Chlipala2018-12-17
| | | | | | | | .sql files
| * test 4Gravatar fab2018-12-17
| |
| * test2Gravatar fab2018-12-17
| |
* | Specialize: ignore recursive references in classifying polymorphic uses of ↵Gravatar Adam Chlipala2018-12-16
| | | | | | | | datatypes
* | Specialize: stay clear of datatypes that are used polymorphicallyGravatar Adam Chlipala2018-12-16
| |
* | New .urp option: safeGetDefaultGravatar Adam Chlipala2018-12-14
| |
* | Proper ignoring of empty SQL updatesGravatar Adam Chlipala2018-12-14
| |
| * exhaustive testing brought to selenium. bug fix in isspace. useful function ↵Gravatar fab2018-12-11
| | | | | | | | to test if char is <128
| * migrate is_valid_hash, blessData, property, atomGravatar fab2018-12-11
| |
| * fix isxdigit: is probably helpful to keep it only to ascii chars. migrate ↵Gravatar fab2018-12-09
| | | | | | | | islower, isupper, isalpha, isdigit, isblank, isspace, isxdigit, isprint
| * chars with more than 2 bytes are awkwardly handled by the "normal" string of ↵Gravatar fab2018-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_charGravatar fab2018-12-02
| |
| * 1 bug fix and sorting out my own confusion: uw_Basis_char is already a ↵Gravatar fab2018-12-02
| | | | | | | | codepoint, NOT the "serialized" utf8
| * reject invalid codepoints. Basis.iscodepoint. fix german char in jsGravatar fab2018-11-30
| |
* | Merge pull request #148 from doublec/timelocalGravatar Adam Chlipala2018-11-25
|\ \ | | | | | | Replace timelocal usage with mktime
| * | Replace timelocal usage with mktimeGravatar Chris Double2018-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 implementationGravatar fab2018-11-19
| | |
| | * utf-8 aware functions for basis. unit-testing.Gravatar fab2018-11-17
| |/
* / Use our own memmem only when libc doesn’t have oneGravatar Benjamin Barenblat2018-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)Gravatar Adam Chlipala2018-10-19
|
* More telegraphic error text for clashing URL prefixes (closes #111)Gravatar Adam Chlipala2018-10-19
|
* Block scary types for [de]serialization (closes #98)Gravatar Adam Chlipala2018-10-19
|
* Just return None rather than crashing, when trying to read cookies within ↵Gravatar Adam Chlipala2018-10-19
| | | | tasks (closes #143)
* unsafeSerialized[To|From]StringGravatar Adam Chlipala2018-10-19
|
* Merge pull request #140 from ashalkhakov/flycheckGravatar Adam Chlipala2018-09-02
|\ | | | | FlyCheck integration.
* \ Merge pull request #138 from bbarenblat/masterGravatar Adam Chlipala2018-09-02
|\ \ | | | | | | Start using symbol versioning
| | * Multi-file projects should work.Gravatar Artyom Shalkhakov2018-09-01
| | |
| | * Flycheck: improving multi-file supportGravatar Artyom Shalkhakov2018-08-31
| | |
| | * FlyCheck integration.Gravatar Artyom Shalkhakov2018-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 ↵Gravatar Adam Chlipala2018-08-29
| |/ |/| | | | | implicit-argument status
| * Start using symbol versioningGravatar Benjamin Barenblat2018-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 ↵Gravatar Adam Chlipala2018-06-06
| | | | type-inference cache
* Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2018-06-04
|\
* | Fix to recent addition of defensive unurlificationGravatar Adam Chlipala2018-06-04
| |
| * Merge pull request #127 from ashalkhakov/cradioGravatar Adam Chlipala2018-06-04
|/| | | | | Adding: cradio (support for client-side radio box).
* | Fail when requesting a file cache with a database engine that won't do SHA512Gravatar Adam Chlipala2018-06-03
| |
* | 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the processGravatar Adam Chlipala2018-06-03
| |
* | Remove insecure crypto function (closes #114)Gravatar Adam Chlipala2018-05-29
| |
| * FormattingGravatar Artyom Shalkhakov2018-05-28
| |
| * Adding: cradio (support for client-side radio box).Gravatar Artyom Shalkhakov2018-05-28
|/
* Proper error message when the body of a 'val' declaration fails to check ↵Gravatar Adam Chlipala2018-05-20
| | | | against the type annotation
* More defensive unurlification of enumerations (closes #117)Gravatar Adam Chlipala2018-05-19
|
* Handle empty SELECT clausesGravatar Adam Chlipala2018-03-13
|
* automatically enable foreign keys and WAL for SQLiteGravatar steinuil2018-02-26
|
* Proper handling of absolute paths for files to serveGravatar Adam Chlipala2018-01-08
|