| Commit message (Expand) | Author | Age |
* | Merge. | Ziv Scully | 2014-12-11 |
|\ |
|
| * | Move code from last changeset, to improve performance | Adam Chlipala | 2014-12-05 |
| * | In checking signature subsumption, be sure to try constraints last. | Adam Chlipala | 2014-12-04 |
| * | Optimizing writes of single characters | Adam Chlipala | 2014-12-04 |
| * | More aggressive inlining of 'let' with record literals, plus some changes to ... | Adam Chlipala | 2014-12-04 |
| * | MonoOpt: remove concatenation with empty string | Adam Chlipala | 2014-12-03 |
| * | Some more optimization of string expressions showing up in JSON generation (M... | Adam Chlipala | 2014-12-03 |
* | | Remove Sqlcache urlification hack. | Ziv Scully | 2014-11-29 |
* | | Basic field-resolution invalidation. | Ziv Scully | 2014-11-29 |
| * | Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully) | Adam Chlipala | 2014-11-25 |
* | | Merge. | Ziv Scully | 2014-11-24 |
|\| |
|
* | | Add interface to UnionFind. | Ziv Scully | 2014-11-24 |
| * | More HTML5 AJAX widgets | Adam Chlipala | 2014-11-16 |
| * | Textual HTML5 AJAX widgets | Adam Chlipala | 2014-11-16 |
| * | Some more HTML5 input types | Adam Chlipala | 2014-11-16 |
| * | More simple textual HTML5 input types | Adam Chlipala | 2014-11-16 |
| * | Make 'required' and 'autofocus' attributes Boolean; add a syntax extension fo... | Adam Chlipala | 2014-11-16 |
* | | 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 mono_inline.sml (which was left out of last commit). | Ziv Scully | 2014-10-14 |
* | | | Complete overhaul: cache queries based on immediate query result, not eventua... | Ziv Scully | 2014-10-14 |
| | * | HTML5 input attributes: placeholder, required, autofocus; email input type (w... | Sergey Mironov | 2014-10-12 |
| | * | uw_remoteSock() | Adam Chlipala | 2014-11-16 |
| |/ |
|
| * | Default to parsing time strings with the application-configured format | Adam Chlipala | 2014-09-20 |
* | | Small cleanup. | Ziv Scully | 2014-09-15 |
* | | Merge. | Ziv Scully | 2014-09-13 |
|\| |
|
| * | Introduce recv timeout controlled by '-T' option in http.c | Sergey Mironov | 2014-09-02 |
| * | Check realloc's return code to prevent segfault on out of memory condition (P... | Sergey Mironov | 2014-09-02 |
| * | Replace common "if(!quiet) printf(...)" pattern with a macro | Sergey Mironov | 2014-09-02 |
| * | Check realloc's return code to prevent segfault on out of memory condition (P... | Sergey Mironov | 2014-08-24 |
| * | In computing command lines, put filenames inside of quotes, to support spaces... | Adam Chlipala | 2014-09-04 |
| * | Extend ScriptCheck to take RPCs into account | Adam Chlipala | 2014-08-24 |
| * | Check realloc's return code to prevent segfault on out of memoty condition | Sergey Mironov | 2014-08-23 |
| * | New phase: Dbmodecheck | Adam Chlipala | 2014-08-17 |
| * | Adds AJAX-oriented widget cpassword. | Ziv Scully | 2014-08-10 |
| * | Don't use uw_malloc() or equivalent in generating error messages while parsin... | Adam Chlipala | 2014-08-15 |
| * | MonoReduce bug involving 'error' | Adam Chlipala | 2014-08-06 |
| * | When unifying constructor-level unification variables, also unify their kinds | Adam Chlipala | 2014-08-01 |
| * | Differentiate between HTML and normal string literals | Adam Chlipala | 2014-08-01 |
| * | 'aria-*' attributes | Adam Chlipala | 2014-08-01 |
| * | New .urp directive: file | Adam Chlipala | 2014-07-31 |
| * | Added javascript for Basis.strsindex | Samuel Dukhovni | 2014-07-28 |
| * | Retweak the last tweak to allow type inference to succeed in a strict superse... | Adam Chlipala | 2014-07-29 |
| * | Small tweak to ordering of unification rules, to support better record matching | Adam Chlipala | 2014-07-29 |
| * | Another MonoReduce fix | Adam Chlipala | 2014-07-26 |
| * | Fix index-matching bug in MonoReduce effect calculation | Adam Chlipala | 2014-07-21 |
| * | Default 'jsFunc' for less-safe FFI | Adam Chlipala | 2014-07-16 |
| * | Fix off-by-one error in less-safe FFI wrapper generation | Adam Chlipala | 2014-07-13 |