| Commit message (Expand) | Author | Age |
* | Avoid repopulating dead nodes; otherwise, we might wind up killing a node mul... | Adam Chlipala | 2016-08-08 |
* | Export fewer symbols | Benjamin Barenblat | 2016-08-05 |
* | Return to working version mode | Adam Chlipala | 2016-08-05 |
* | New release | Adam Chlipala | 2016-08-05 |
* | Spelling | Benjamin Barenblat | 2016-08-03 |
* | Fix Travis syntax error | Adam Chlipala | 2016-08-02 |
* | Update Travis tests to (1) use MLton from main package repo and (2) apply an ... | Adam Chlipala | 2016-08-02 |
* | Merge pull request #34 from saulo2/master | Adam Chlipala | 2016-08-02 |
|\ |
|
* | | Support OpenSSL 1.1 | Benjamin Barenblat | 2016-07-20 |
* | | uw_memmem: correct indentation | Benjamin Barenblat | 2016-07-20 |
* | | Add .mailmap to correct bbaren’s address | Benjamin Barenblat | 2016-07-20 |
| * | Fix for "normalizeTable" nesting thead and tfoot in tbody | Saulo Araujo | 2016-07-16 |
|/ |
|
* | Merge pull request #33 from tuncer/emacs-final-newline | Adam Chlipala | 2016-07-15 |
|\ |
|
| * | urweb-mode: do not configure require-final-newline | Tuncer Ayaz | 2016-07-15 |
|/ |
|
* | Switch to expected order for [queryL] | Adam Chlipala | 2016-07-01 |
* | Return to working version mode | Adam Chlipala | 2016-06-21 |
* | New release | Adam Chlipala | 2016-06-21 |
* | Merge branch 'master' of ssh://github.com/urweb/urweb | Adam Chlipala | 2016-06-17 |
|\ |
|
* | | Prepare Postgres code for NULL error fields | Adam Chlipala | 2016-06-17 |
| * | Client-side: detect session timeout and ask the user to reload | Adam Chlipala | 2016-06-16 |
|/ |
|
* | Rename memmem() to urweb_memmem(), to avoid unintentionally picking up protot... | Adam Chlipala | 2016-06-15 |
* | Elaborate C expression to appease recent compilers | Adam Chlipala | 2016-06-10 |
* | Change some vector operations to remain compatible with MLton working version | Adam Chlipala | 2016-05-29 |
* | Merge pull request #28 from extensibl/master | Adam Chlipala | 2016-05-29 |
|\ |
|
| * | Silence gcc warnings | Alexander | 2016-05-26 |
|/ |
|
* | Merge pull request #26 from karsar/math_update | Adam Chlipala | 2016-05-24 |
|\ |
|
| * | 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 at... | Karen Sargsyan | 2016-05-21 |
|/ |
|
* | Increase default timeout to cope with behavior of some Chrome versions | Adam Chlipala | 2016-05-16 |
* | Return to working version mode | Adam Chlipala | 2016-05-15 |
* | New release | Adam Chlipala | 2016-05-15 |
* | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
* | Add some tests for Content-Disposition | Adam Chlipala | 2016-05-05 |
* | Merge pull request #25 from MarkoSchuetz/master | Adam Chlipala | 2016-05-05 |
|\ |
|
| * | Streamline callout to emacs for HTML rendering. | Marko Schuetz-Schmuck | 2016-05-05 |
|/ |
|
* | Fix preservation of headers when returning blobs | Adam Chlipala | 2016-04-15 |
* | At runtime, catch when we exceed 'limit inputs' | Adam Chlipala | 2016-03-30 |
* | Merge pull request #19 from AlexanderAA/master | Adam Chlipala | 2016-03-18 |
|\ |
|
* | | Use IS NOT DISTINCT FROM; improve Sql parser | Adam Chlipala | 2016-03-12 |
* | | MonoReduce: fancier test for inlining a record where each field is used at mo... | Adam Chlipala | 2016-03-12 |
* | | Sqlcache: also record script additions; do a MonoReduce afterward, to help Pr... | Adam Chlipala | 2016-03-12 |
* | | Make Sql compatible with unmangling | Adam Chlipala | 2016-03-11 |
| * | Resource integrity attributes for HTML link element. http://www.w3.org/TR/201... | Alexander Abushkevich | 2016-03-10 |
|/ |
|
* | Return to working version mode | Adam Chlipala | 2016-03-06 |
* | New release | Adam Chlipala | 2016-03-06 |
* | More consistent formatting for new List functions | Adam Chlipala | 2016-02-26 |
* | Merge pull request #18 from AlexanderAA/master | Adam Chlipala | 2016-02-26 |
|\ |
|
| * | Return lists in their original order in span function | Alexander Abushkevich | 2016-02-24 |
* | | Make JavaScript escaping handle ampersands properly | Adam Chlipala | 2016-02-23 |