| Commit message (Expand) | Author | Age |
* | JSON instance for times, based on RFC 3339 (because Google APIs use it) | Adam Chlipala | 2019-10-11 |
* | JSON records with optional fields | Adam Chlipala | 2019-10-11 |
* | Optimize JSON unescaping for server-side execution | Adam Chlipala | 2019-10-05 |
* | JavaScript 'currentUrl' should return a string, not a URL, since the latter h... | Adam Chlipala | 2019-10-04 |
* | Add Step attribute to crange; fix tests for cnumber and crange | Mark Clements | 2019-10-04 |
* | Unicode escapes in JSON | Adam Chlipala | 2019-09-25 |
* | Datetime.ord_month | Adam Chlipala | 2019-08-10 |
* | Remove a misleading comment (#175) | Adam Chlipala | 2019-07-26 |
* | New JavaScript FFI function 'listen' | Adam Chlipala | 2019-07-17 |
* | Allow Basis.currentUrl on client side | Adam Chlipala | 2019-03-30 |
* | Don't escape slashes for JSON | Adam Chlipala | 2019-03-27 |
* | JavaScript string subscripting should raise out-of-bounds exceptions | Adam Chlipala | 2019-03-10 |
* | List.mapConcat and mapConcatM | Adam Chlipala | 2019-02-12 |
* | List.searchM and ListPair.unzip | Adam Chlipala | 2019-02-10 |
* | Top: foldR4 and mapX4 | Adam Chlipala | 2019-02-09 |
* | Stop complaining when a nonexistent option is chosen for cselect | Adam Chlipala | 2019-01-26 |
* | Merge pull request #168 from fabriceleal/fix-codepoint-js | Adam Chlipala | 2019-01-26 |
|\ |
|
* | | Option.mapM | Adam Chlipala | 2019-01-24 |
* | | Basis.textOfBlob; try creating filecache directory if it doesn't exist | Adam Chlipala | 2019-01-21 |
| * | fixes for review 1 | fab | 2019-01-21 |
| * | fix unit tests. implement urlifyChar | fab | 2019-01-09 |
| * | more portable functions | fab | 2019-01-02 |
* | | ListPair.mapM | Adam Chlipala | 2018-12-31 |
|/ |
|
* | saving space | fab | 2018-12-27 |
* | avoid a pow call if we can | fab | 2018-12-25 |
* | bitmaps working | fab | 2018-12-25 |
* | Merge pull request #146 from fabriceleal/utf-icu | Adam Chlipala | 2018-12-19 |
|\ |
|
* | | List.assocAddSorted | Adam Chlipala | 2018-12-14 |
| * | 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 |
| * | reject invalid codepoints. Basis.iscodepoint. fix german char in js | fab | 2018-11-30 |
| * | several fixes on unit tests and implementation | fab | 2018-11-19 |
* | | List.mapMi | Adam Chlipala | 2018-11-04 |
|/ |
|
* | 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 |
* | unsafeSerialized[To|From]String | Adam Chlipala | 2018-10-19 |
* | Catch when a cselect has an unavailable value set | Adam Chlipala | 2018-10-12 |
* | 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 |
* | | offsetX, offsetY | Fabrice Leal | 2018-07-09 |
|/ |
|
* | Merge pull request #126 from majorseitan/master | Adam Chlipala | 2018-06-04 |
|\ |
|