| Commit message (Expand) | Author | Age |
... | |
* | | New .urp option: safeGetDefault | Adam Chlipala | 2018-12-14 |
* | | List.assocAddSorted | Adam Chlipala | 2018-12-14 |
* | | Proper ignoring of empty SQL updates | Adam Chlipala | 2018-12-14 |
| * | tidy unit tests | fab | 2018-12-12 |
| * | exhaustive testing brought to selenium. bug fix in isspace. useful function t... | fab | 2018-12-11 |
| * | migrate is_valid_hash, blessData, property, atom | fab | 2018-12-11 |
| * | fix isxdigit: is probably helpful to keep it only to ascii chars. migrate isl... | fab | 2018-12-09 |
| * | just to make sure there are no issues | fab | 2018-12-08 |
| * | patch isDigit | fab | 2018-12-08 |
| * | patching toLower and toUpper to provide consistent results in server side and... | fab | 2018-12-08 |
| * | strsub, strcspn, strsindex | fab | 2018-12-06 |
| * | ord | fab | 2018-12-06 |
| * | strsindex | fab | 2018-12-06 |
| * | chars with more than 2 bytes are awkwardly handled by the "normal" string of ... | fab | 2018-12-06 |
| * | 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 codepo... | fab | 2018-12-02 |
| * | 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 |
|\ \ |
|
* \ \ | Merge pull request #147 from bbarenblat/master | Adam Chlipala | 2018-11-25 |
|\ \ \ |
|
| | * | | Replace timelocal usage with mktime | Chris Double | 2018-11-25 |
| |/ /
|/| | |
|
| | * | test client eval vs server eval | fab | 2018-11-23 |
| | * | cleanup | fab | 2018-11-19 |
| | * | several fixes on unit tests and implementation | fab | 2018-11-19 |
| | * | fix package name for brew | fab | 2018-11-17 |
| | * | fix package name | fab | 2018-11-17 |
| | * | 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 |
|/ / |
|
* | | 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, no... | Adam Chlipala | 2018-10-19 |
* | Just return None rather than crashing, when trying to read cookies within tas... | Adam Chlipala | 2018-10-19 |
* | 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 |
|\ |
|
* \ | Merge pull request #138 from bbarenblat/master | Adam Chlipala | 2018-09-02 |
|\ \ |
|
| | * | 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 |
* | | | Detect lambda abstractions over type classes as deserving of implicit-argumen... | Adam Chlipala | 2018-08-29 |
* | | | 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 | steinuil | 2018-08-04 |
* | | | | Merge pull request #132 from fabriceleal/offsetXY | Adam Chlipala | 2018-07-15 |
|\ \ \ \
| |/ / /
|/| | | |
|
| * | | | offsetX, offsetY | Fabrice Leal | 2018-07-09 |
|/ / / |
|
| * / | Start using symbol versioning | Benjamin Barenblat | 2018-06-17 |
|/ / |
|
* | | Slight change to venerable Nested demo, to get proper URL resolution | Adam Chlipala | 2018-06-16 |