summaryrefslogtreecommitdiff
path: root/lib/ur
Commit message (Collapse)AuthorAge
* More lenient RFC 3339 parsingGravatar Adam Chlipala2019-12-23
|
* Fix toJson for records with optional fieldsGravatar Adam Chlipala2019-12-19
|
* 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
|
* 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
|
* Don't escape slashes for JSONGravatar Adam Chlipala2019-03-27
|
* 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
|
* Option.mapMGravatar Adam Chlipala2019-01-24
|
* Basis.textOfBlob; try creating filecache directory if it doesn't existGravatar Adam Chlipala2019-01-21
|
* ListPair.mapMGravatar Adam Chlipala2018-12-31
|
* 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
| * reject invalid codepoints. Basis.iscodepoint. fix german char in jsGravatar fab2018-11-30
| |
* | List.mapMiGravatar Adam Chlipala2018-11-04
|/
* unsafeSerialized[To|From]StringGravatar Adam Chlipala2018-10-19
|
* 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
| |
* | offsetX, offsetYGravatar Fabrice Leal2018-07-09
|/
* Merge pull request #126 from majorseitan/masterGravatar Adam Chlipala2018-06-04
|\ | | | | Improved support for JSON escape characters
* \ Merge pull request #127 from ashalkhakov/cradioGravatar Adam Chlipala2018-06-04
|\ \ | | | | | | Adding: cradio (support for client-side radio box).
| | * Merge branch 'master' into masterGravatar major seitan2018-06-02
| | |\ | |_|/ |/| |
* | | Remove insecure crypto function (closes #114)Gravatar Adam Chlipala2018-05-29
| | |
| * | Adding: cradio (support for client-side radio box).Gravatar Artyom Shalkhakov2018-05-28
|/ /
| * Handling of JSON escape charactersGravatar majorseitan@blockfreie.org2018-05-26
| | | | | | | | | | 1. Handle the escape character \/
| * Handling of JSON escape charactersGravatar majorseitan@blockfreie.org2018-04-15
|/ | | | | 1. Handle the escape character \\
* Handling of JSON escape charactersGravatar majorseitan@blockfreie.org2018-04-14
| | | | | | | | | | 1. Handle escape sequence chars \t \n \r 2. Fail on unsupported escape characters. Instead of skipping \ on unsupported sequences it now fails.
* List.findMGravatar Adam Chlipala2018-04-14
|
* List.existsMGravatar Adam Chlipala2018-04-14
|
* Added oninput event to inputs which support it.Gravatar Vladimir Shabanov2017-12-05
| | | | Added onscroll event to <body> and title/sizes attributes to <link>.
* Button: disabled attribute; allowing number entry using HTML5 widgetsGravatar Artyom Shalkhakov2017-02-21
|
* Option.appGravatar Adam Chlipala2017-02-01
|
* List.appiGravatar Adam Chlipala2017-01-25
|
* Add 'placeholder' attribute for textareasGravatar Adam Chlipala2017-01-02
|
* Use 'id' attribute for <form>Gravatar Adam Chlipala2016-12-31
|
* Add mapUX_revGravatar Adam Chlipala2016-09-24
|
* Remove 'Value' attributes for AJAX-y UI widgets, because they should use ↵Gravatar Adam Chlipala2016-09-01
| | | | 'Source' instead
* Json: parse records with extra fieldsGravatar Adam Chlipala2016-08-27
|
* Import Json module from old Meta library (thanks to Edward Z. Yang for code ↵Gravatar Adam Chlipala2016-08-26
| | | | contributions)
* Switch to expected order for [queryL]Gravatar Adam Chlipala2016-07-01
|
* abs and floor addedGravatar Karen Sargsyan2016-05-23
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 23:51:17 +0000