summaryrefslogtreecommitdiff
path: root/lib
Commit message (Expand)AuthorAge
* SQL SIMILAR (via pg_trgm)Gravatar Adam Chlipala2019-12-04
* Json: expose RFC 3339 functionsGravatar Adam Chlipala2019-11-08
* JSON instance for times, based on RFC 3339 (because Google APIs use it)Gravatar Adam Chlipala2019-10-11
* JSON records with optional fieldsGravatar Adam Chlipala2019-10-11
* Optimize JSON unescaping for server-side executionGravatar Adam Chlipala2019-10-05
* JavaScript 'currentUrl' should return a string, not a URL, since the latter h...Gravatar Adam Chlipala2019-10-04
* Add Step attribute to crange; fix tests for cnumber and crangeGravatar Mark Clements2019-10-04
* Unicode escapes in JSONGravatar Adam Chlipala2019-09-25
* Datetime.ord_monthGravatar Adam Chlipala2019-08-10
* Remove a misleading comment (#175)Gravatar Adam Chlipala2019-07-26
* New JavaScript FFI function 'listen'Gravatar Adam Chlipala2019-07-17
* Allow Basis.currentUrl on client sideGravatar Adam Chlipala2019-03-30
* Don't escape slashes for JSONGravatar Adam Chlipala2019-03-27
* JavaScript string subscripting should raise out-of-bounds exceptionsGravatar Adam Chlipala2019-03-10
* List.mapConcat and mapConcatMGravatar Adam Chlipala2019-02-12
* List.searchM and ListPair.unzipGravatar Adam Chlipala2019-02-10
* Top: foldR4 and mapX4Gravatar Adam Chlipala2019-02-09
* Stop complaining when a nonexistent option is chosen for cselectGravatar Adam Chlipala2019-01-26
* Merge pull request #168 from fabriceleal/fix-codepoint-jsGravatar Adam Chlipala2019-01-26
|\
* | Option.mapMGravatar Adam Chlipala2019-01-24
* | Basis.textOfBlob; try creating filecache directory if it doesn't existGravatar Adam Chlipala2019-01-21
| * fixes for review 1Gravatar fab2019-01-21
| * fix unit tests. implement urlifyCharGravatar fab2019-01-09
| * more portable functionsGravatar fab2019-01-02
* | ListPair.mapMGravatar Adam Chlipala2018-12-31
|/
* saving spaceGravatar fab2018-12-27
* avoid a pow call if we canGravatar fab2018-12-25
* bitmaps workingGravatar fab2018-12-25
* Merge pull request #146 from fabriceleal/utf-icuGravatar Adam Chlipala2018-12-19
|\
* | List.assocAddSortedGravatar Adam Chlipala2018-12-14
| * exhaustive testing brought to selenium. bug fix in isspace. useful function t...Gravatar fab2018-12-11
| * migrate is_valid_hash, blessData, property, atomGravatar fab2018-12-11
| * fix isxdigit: is probably helpful to keep it only to ascii chars. migrate isl...Gravatar fab2018-12-09
| * just to make sure there are no issuesGravatar fab2018-12-08
| * patch isDigitGravatar fab2018-12-08
| * patching toLower and toUpper to provide consistent results in server side and...Gravatar fab2018-12-08
| * strsub, strcspn, strsindexGravatar fab2018-12-06
| * ordGravatar fab2018-12-06
| * strsindexGravatar fab2018-12-06
| * chars with more than 2 bytes are awkwardly handled by the "normal" string of ...Gravatar fab2018-12-06
| * reject invalid codepoints. Basis.iscodepoint. fix german char in jsGravatar fab2018-11-30
| * several fixes on unit tests and implementationGravatar fab2018-11-19
* | List.mapMiGravatar Adam Chlipala2018-11-04
|/
* Automatic merging of style/dynStyle and class/dynClass (closes #64)Gravatar Adam Chlipala2018-10-19
* Client-side escaping of HTML should be prepared for structured HTML trees, no...Gravatar Adam Chlipala2018-10-19
* unsafeSerialized[To|From]StringGravatar Adam Chlipala2018-10-19
* Catch when a cselect has an unavailable value setGravatar Adam Chlipala2018-10-12
* List.allMGravatar Adam Chlipala2018-08-25
* Merge pull request #134 from steinuil/json-single-quoteGravatar Adam Chlipala2018-08-17
|\
| * removed invalid JSON escape characterGravatar steinuil2018-08-04