Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Block scary types for [de]serialization (closes #98) | Adam Chlipala | 2018-10-19 |
| | |||
* | 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) | ||
* | Just return None rather than crashing, when trying to read cookies within ↵ | Adam Chlipala | 2018-10-19 |
| | | | | tasks (closes #143) | ||
* | 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). | ||
* | | | 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process | Adam Chlipala | 2018-06-03 |
| | | | |||
| | * | Merge branch 'master' into master | major seitan | 2018-06-02 |
| | |\ | |_|/ |/| | | |||
| * | | Multi-group test | Artyom Shalkhakov | 2018-05-30 |
| | | | |||
| * | | Formatting | Artyom Shalkhakov | 2018-05-28 |
| | | | |||
| * | | Adding: cradio (support for client-side radio box). | Artyom Shalkhakov | 2018-05-28 |
|/ / | |||
| * | resolve merge conflict on test | majorseitan@blockfreie.org | 2018-05-26 |
| | | |||
| * | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-05-26 |
| | | | | | | | | | | 1. Handle the escape character \/ | ||
* | | A test for List.groupBy | Adam Chlipala | 2018-05-21 |
| | | |||
* | | Proper error message when the body of a 'val' declaration fails to check ↵ | Adam Chlipala | 2018-05-20 |
| | | | | | | | | against the type annotation | ||
* | | Merge pull request #123 from ashalkhakov/tests | Adam Chlipala | 2018-05-19 |
|\ \ | | | | | | | Adding Selenium-based checking to tests. | ||
* | | | More defensive unurlification of enumerations (closes #117) | Adam Chlipala | 2018-05-19 |
| | | | |||
| * | | More tests. | Artyom Shalkhakov | 2018-05-15 |
| | | | |||
| * | | Adding jsbspace for #121. | Artyom Shalkhakov | 2018-05-08 |
| | | | |||
| * | | Adding Selenium-based checking to tests. | Artyom Shalkhakov | 2018-05-08 |
|/ / | |||
| * | 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. | ||
* | New .urp directives: mimeTypes and long form of file | Adam Chlipala | 2017-10-01 |
| | |||
* | Fix last fix, to handle checkboxes properly | Adam Chlipala | 2017-07-27 |
| | |||
* | Add test cases for last commit | Adam Chlipala | 2017-07-27 |
| | |||
* | Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations | Adam Chlipala | 2017-07-12 |
| | |||
* | Fix normalization of signatures that project signatures from other modules ↵ | Adam Chlipala | 2017-03-31 |
| | | | | with multi-element paths (fixes #72) | ||
* | Better error message for .urp files with too many blank lines | Adam Chlipala | 2017-03-17 |
| | |||
* | Add 'placeholder' attribute for textareas | Adam Chlipala | 2017-01-02 |
| | |||
* | Update test to track last change | Adam Chlipala | 2016-12-31 |
| | |||
* | Use 'id' attribute for <form> | Adam Chlipala | 2016-12-31 |
| | |||
* | Allow qualified variable references in record literals | Adam Chlipala | 2016-12-31 |
| | |||
* | Update tests for new html5 default | Adam Chlipala | 2016-09-20 |
| | |||
* | Import Json module from old Meta library (thanks to Edward Z. Yang for code ↵ | Adam Chlipala | 2016-08-26 |
| | | | | contributions) | ||
* | Fix for "normalizeTable" nesting thead and tfoot in tbody | Saulo Araujo | 2016-07-16 |
| | |||
* | Client-side: detect session timeout and ask the user to reload | Adam Chlipala | 2016-06-16 |
| | |||
* | abs and floor added | Karen Sargsyan | 2016-05-23 |
| | |||
* | asin, acos, atan, atan2 added | Karen Sargsyan | 2016-05-22 |
| | |||
* | Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work ↵ | Karen Sargsyan | 2016-05-21 |
| | | | | at client and server sides | ||
* | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
| | |||
* | Add some tests for Content-Disposition | Adam Chlipala | 2016-05-05 |
| | |||
* | At runtime, catch when we exceed 'limit inputs' | Adam Chlipala | 2016-03-30 |
| | |||
* | More consistent formatting for new List functions | Adam Chlipala | 2016-02-26 |
| | |||
* | Finish removing PWild; only load a library once, even if referenced multiple ↵ | Adam Chlipala | 2016-02-07 |
| | | | | times in a .urp tree | ||
* | Merge PVar and PWild, to get more reasonable type-class resolution | Adam Chlipala | 2016-02-07 |
| | |||
* | Merge Sqlcache | Adam Chlipala | 2015-12-20 |
|\ | |||
* | | Fix tricky case of functor signature subsumption | Adam Chlipala | 2015-11-27 |
| | | |||
| * | Fix condition for installing new cache entries | Adam Chlipala | 2015-11-19 |
|/ | |||
* | Proper error message for excessively fancy FFI signatures | Adam Chlipala | 2015-08-27 |
| |