summaryrefslogtreecommitdiff
path: root/lib
Commit message (Collapse)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 ↵Gravatar Adam Chlipala2019-10-04
| | | | has a completeley different sort of 'replace' method
* 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
|\ | | | | utf8: More portable js, implement urlifyChar, fix urlifyString, fix unit tests
* | 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
|\ | | | | utf-8 aware functions for basis. unit-testing.
* | List.assocAddSortedGravatar 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
| * 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 ↵Gravatar fab2018-12-08
| | | | | | | | and client side
| * 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
| | | | | | | | javascript. the best way to get consistent results seems to be to convert to array by Array.from(...) and back to strings with .join("")
| * 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, ↵Gravatar Adam Chlipala2018-10-19
| | | | not just strings (closes #141)
* 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 character
| * removed invalid JSON escape characterGravatar steinuil2018-08-04
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 18:12:48 +0000