Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
|\ | | | | | utf8: More portable js, implement urlifyChar, fix urlifyString, fix unit tests | ||
* | | 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 |
|\ | | | | | utf-8 aware functions for basis. unit-testing. | ||
* | | List.assocAddSorted | Adam Chlipala | 2018-12-14 |
| | | |||
| * | exhaustive testing brought to selenium. bug fix in isspace. useful function ↵ | fab | 2018-12-11 |
| | | | | | | | | to test if char is <128 | ||
| * | migrate is_valid_hash, blessData, property, atom | fab | 2018-12-11 |
| | | |||
| * | fix isxdigit: is probably helpful to keep it only to ascii chars. migrate ↵ | fab | 2018-12-09 |
| | | | | | | | | islower, isupper, isalpha, isdigit, isblank, isspace, isxdigit, isprint | ||
| * | 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 ↵ | fab | 2018-12-08 |
| | | | | | | | | and client side | ||
| * | 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 |
| | | | | | | | | 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 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, ↵ | Adam Chlipala | 2018-10-19 |
| | | | | not just strings (closes #141) | ||
* | 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 | ||
| * | 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 |
|\ | | | | | Improved support for JSON escape characters | ||
* \ | Merge pull request #127 from ashalkhakov/cradio | Adam Chlipala | 2018-06-04 |
|\ \ | | | | | | | Adding: cradio (support for client-side radio box). | ||
| | * | Merge branch 'master' into master | major seitan | 2018-06-02 |
| | |\ | |_|/ |/| | | |||
* | | | Remove insecure crypto function (closes #114) | Adam Chlipala | 2018-05-29 |
| | | | |||
| * | | Adding: cradio (support for client-side radio box). | Artyom Shalkhakov | 2018-05-28 |
|/ / | |||
| * | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-05-26 |
| | | | | | | | | | | 1. Handle the escape character \/ | ||
| * | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-04-15 |
|/ | | | | | 1. Handle the escape character \\ | ||
* | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-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.findM | Adam Chlipala | 2018-04-14 |
| | |||
* | List.existsM | Adam Chlipala | 2018-04-14 |
| |