Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove Sqlcache urlification hack. | Ziv Scully | 2014-11-29 |
| | |||
* | Merge. | 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 |
| | | |||
| * | Remove 'value' attribute of <checkbox> | Adam Chlipala | 2014-11-16 |
| | | |||
| * | Make 'required' and 'autofocus' attributes Boolean; add a syntax extension ↵ | Adam Chlipala | 2014-11-16 |
| | | | | | | | | for parsing their usual HTML syntax | ||
* | | 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 ↵ | Ziv Scully | 2014-10-14 |
| | | | | | | | | | | | | eventual HTML output. | ||
| | * | HTML5 input attributes: placeholder, required, autofocus; email input type ↵ | Sergey Mironov | 2014-10-12 |
| | | | | | | | | | | | | (without cformTag equivalent) | ||
| | * | 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 |
| | | | | | | | | | | This should prevent a DDoS attack where attacker and keeps the connection open but send no data. | ||
| * | Check realloc's return code to prevent segfault on out of memory condition ↵ | Sergey Mironov | 2014-09-02 |
| | | | | | | | | (Part 3) | ||
| * | 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 ↵ | Sergey Mironov | 2014-08-24 |
| | | | | | | | | (Part 2) | ||
| * | In computing command lines, put filenames inside of quotes, to support ↵ | Adam Chlipala | 2014-09-04 |
| | | | | | | | | spaces and other funky characters nicely | ||
| * | Return to working version mode | Adam Chlipala | 2014-08-30 |
| | | |||
| * | New release | Adam Chlipala | 2014-08-30 |
| | | |||
| * | 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 |
| | | |||
| * | Add 'role' data attribute. | Sergey Mironov | 2014-07-07 |
| | | | | | | | | | | | | | | Note, that 'role' attribute is a part of reach ARIA API described here: http://www.w3.org/TR/wai-aria/ Among 'role', it defines lots of aria-* attributes | ||
| * | Return to working version mode | Adam Chlipala | 2014-08-19 |
| | | |||
| * | <cselect> and <coption> type fixes (grandfathered into release) | Adam Chlipala | 2014-08-19 |
| | | |||
| * | New release | Adam Chlipala | 2014-08-19 |
| | | |||
| * | A new test for <button> | Adam Chlipala | 2014-08-17 |
| | | |||
| * | Allow Body tags inside cformTags | Sergey Mironov | 2014-08-17 |
| | | | | | | | | | | This is required by Bootstrap. For example, see http://getbootstrap.com/components/#alerts-dismissible | ||
| * | 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 ↵ | Adam Chlipala | 2014-08-15 |
| | | | | | | | | parsing HTTP request | ||
| * | Add tests/dbupload2.* files | Sergey Mironov | 2014-08-15 |
| | | | | | | | | | | tests/dbupload2.sh is a shell script which run the test scenario On my machine the executable segfaults after curl request | ||
| * | Return to working version mode | Adam Chlipala | 2014-08-07 |
| | | |||
| * | New release | Adam Chlipala | 2014-08-07 |
| | | |||
| * | 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 |
| | |