| Commit message (Expand) | Author | Age |
* | test 4 | fab | 2018-12-17 |
* | test 3 | fab | 2018-12-17 |
* | test2 | fab | 2018-12-17 |
* | test 1 | fab | 2018-12-17 |
* | osx troubleshooting | fab | 2018-12-17 |
* | 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 |
* | 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 |
* | 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 |
* | | 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 type-inf... | Adam Chlipala | 2018-06-06 |