Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge. | Ziv Scully | 2015-03-27 |
|\ | |||
* | | Simplify example. | Ziv Scully | 2015-03-27 |
| | | |||
| * | Make flattening of reactive HTML trees iterative instead of recursive, to ↵ | Adam Chlipala | 2015-03-08 |
| | | | | | | | | avoid stack overflows | ||
| * | 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 ↵ | Adam Chlipala | 2015-03-06 |
| | | | | | | | | optimizations for itself (e.g., yanking lambdas out of [case]s) | ||
| * | 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 |
| | | | | |\ | |||
| | | | | * | | Fix resolution of 'file' paths | Adam Chlipala | 2015-02-10 |
| | | | | | | | |||
| | | | | | * | Treat getHeader and getenv as vectors for reading request data supplied ↵ | Adam Chlipala | 2015-02-05 |
| | | | | |/ | | | | | | | | | | | | | | | | | | | implicitly by browsers | ||
| | | | | * | Don't allow singleton <button> tags | Adam Chlipala | 2015-02-01 |
| | | | | | | |||
| | | | | * | A new MonoReduce optimization for lifting 'let' out of field projection; ↵ | Adam Chlipala | 2015-02-01 |
| | | | | | | | | | | | | | | | | | | | | | | | | JavaScript compilation for exponentiation | ||
| | | | | * | Improve wildification for records of type-class witnesses | Adam Chlipala | 2015-01-28 |
| | | | | | | |||
| | | | | * | Fix case issue in name mangling for MySQL | Adam Chlipala | 2015-01-22 |
| | | | | | | |||
| | | | | * | Reference manual: fix rendering of field removal operators | Adam Chlipala | 2015-01-22 |
| | | | | | | |||
| | | | | * | Fix a potential memory bug in fastcgi.c | Adam Chlipala | 2015-01-22 |
| | | | | | | |||
| | | | | * | Fix silly mistake from last commit; also switch away from rand() in openssl.c | Adam Chlipala | 2015-01-22 |
| | | | | | | |||
| | | | | * | Switch to using OpenSSL PRNG for the one remaining rand() | Adam Chlipala | 2015-01-12 |
| | | | | | | |||
| | | | | * | Fix arguments to PQprepare() | Adam Chlipala | 2015-01-07 |
| | | | | | | |||
| | | | | * | Return to working version mode | Adam Chlipala | 2015-01-03 |
| | | | | | | |||
| | | | | * | Fixing one small issue with changes to signature matching (grandfathered ↵ | Adam Chlipala | 2015-01-03 |
| | | | | | | | | | | | | | | | | | | | | | | | | into release) | ||
| | | | | * | New release | Adam Chlipala | 2015-01-03 |
| | | | | | | |||
| | | | | * | Fix a bug in subsignature checking for submodules | Adam Chlipala | 2014-12-30 |
| | | | | | | |||
| | | | | * | Add to .hgignore | Adam Chlipala | 2014-12-26 |
| | | | | | | |||
| | | | | * | Client-side conversion of string to bool | Adam Chlipala | 2014-12-25 |
| | | | | | | |||
| | | | | * | Broaden handling of wildcard rewrites | Adam Chlipala | 2014-12-24 |
| | | | | | | |||
| | | | | * | List.mem | Adam Chlipala | 2014-12-23 |
| | | | | | | |||
| | | | | * | Improve wildify heuristic for finding record type-class witnesses | Adam Chlipala | 2014-12-23 |
| | | | | | | |||
| | | | | * | New antiquote syntax for ORDER BY | Adam Chlipala | 2014-12-23 |
| | | | | | | |||
| | | | | * | Another try at a proper fix for constraint matching in subsignature checking | Adam Chlipala | 2014-12-23 |
| | | | | | |