| Commit message (Expand) | Author | Age |
* | Rename C functions and remove functors nested inside modules. | Ziv Scully | 2015-07-19 |
* | Add limited support for parsing SQL arithmetic. | Ziv Scully | 2015-07-07 |
* | Only use string (rather than numeric, etc.) primitives in parsed SQL statements. | Ziv Scully | 2015-07-06 |
* | Fix bug in redundancy checking and use finer formula for UPDATE statements. | Ziv Scully | 2015-07-05 |
* | Major DNF-calculation performance decrapification. | Ziv Scully | 2015-06-30 |
* | Refactored a lot and fixed an and/or swap, but still not good on current test. | Ziv Scully | 2015-06-29 |
* | Progress on LRU cache but still more known bugs to fix. | Ziv Scully | 2015-06-28 |
* | More work factoring out Sqlcache back end. | Ziv Scully | 2015-05-06 |
* | Merge. | Ziv Scully | 2015-05-06 |
|\ |
|
* | | Add missing file. | Ziv Scully | 2015-05-06 |
* | | Factor out cache implementation from Sqlcache. | Ziv Scully | 2015-05-06 |
| * | Set dummy header lookup function in static.c | Adam Chlipala | 2015-05-03 |
| * | Ignore manual.out | Adam Chlipala | 2015-04-24 |
| * | Allow file directives to contain slashes | Julian Squires | 2015-04-24 |
| * | Use hyperref in manual | Julian Squires | 2015-04-24 |
| * | Fix missing SQL name-mangling in table initialization | Istvan Chung | 2015-04-23 |
| * | Return to working version mode | Adam Chlipala | 2015-04-12 |
| * | New release | Adam Chlipala | 2015-04-12 |
* | | Merge. | Ziv Scully | 2015-04-07 |
|\| |
|
* | | New mouse events oncontextmenu, onmouseenter, and onmouseleave. | Ziv Scully | 2015-04-07 |
| * | New mouse events oncontextmenu, onmouseenter, and onmouseleave. | Ziv Scully | 2015-04-07 |
* | | Fix type in flush FFI call to option string (rather than string). | Ziv Scully | 2015-03-31 |
* | | Merge. | Ziv Scully | 2015-03-27 |
|\| |
|
* | | Simplify example. | Ziv Scully | 2015-03-27 |
| * | Make flattening of reactive HTML trees iterative instead of recursive, to avo... | Adam Chlipala | 2015-03-08 |
| * | Fix dynClass JavaScript reversion | Adam Chlipala | 2015-03-08 |
| * | Fix interpretation of 'file' argument paths | Adam Chlipala | 2015-03-08 |
| * | Change MonoReduce to do fixed-pointing, since it sometimes enables more optim... | Adam Chlipala | 2015-03-06 |
| * | Document hexadecimal literals | Adam Chlipala | 2015-03-05 |
| * | Hexadecimal integer literals, contributed by Gabriel Riba | Adam Chlipala | 2015-03-05 |
| * | Document new infix operators | Adam Chlipala | 2015-03-05 |
| * | Some new infix operators, contributed by Gabriel Riba | Adam Chlipala | 2015-03-05 |
| * | Support 'dynClass' and 'dynStyle' for <body> | Adam Chlipala | 2015-03-03 |
| * | Evaluate minus and times in MonoOpt | Adam Chlipala | 2015-02-16 |
* | | Merge. | Ziv Scully | 2014-12-11 |
|\ \ |
|
* | | | Remove Sqlcache urlification hack. | Ziv Scully | 2014-11-29 |
* | | | Merge. | Ziv Scully | 2014-11-29 |
|\ \ \ |
|
* | | | | Basic field-resolution invalidation. | Ziv Scully | 2014-11-29 |
* | | | | Merge. | Ziv Scully | 2014-11-24 |
|\ \ \ \ |
|
* | | | | | Add interface to UnionFind. | Ziv Scully | 2014-11-24 |
* | | | | | More invalidation progress. | Ziv Scully | 2014-11-11 |
* | | | | | Merge. | Ziv Scully | 2014-11-10 |
|\ \ \ \ \ |
|
* | | | | | | Progress towards invalidation based on equalities of fields. | Ziv Scully | 2014-11-10 |
* | | | | | | Mostly finish effectfulness analysis. | Ziv Scully | 2014-10-31 |
| | | | | * | Add 'download' attribute to <a/>, part of HTML5 | Sergey Mironov | 2014-10-26 |
| | | | | * | Return to working version mode | Adam Chlipala | 2015-02-14 |
| | | | | * | New release | Adam Chlipala | 2015-02-14 |
| | | | | * | The 2nd half of proper CSRF protection related to environment variables | Adam Chlipala | 2015-02-12 |
| | | | | * | An Emacs urweb-mode optimization contributed by John Wiegley | Adam Chlipala | 2015-02-11 |
| | | | | * | Merge | Adam Chlipala | 2015-02-10 |
| | | | | |\ |
|