graph
- Initial generalization of Especialize, with security bug known2009-12-15, by Adam Chlipala
- Allow same constructor shorthand for 'view' sig items as for 'table'2009-12-15, by Adam Chlipala
- Convert to task syntax2009-12-15, by Adam Chlipala
- Fixing a bug in DInitializer elaboration2009-12-13, by Adam Chlipala
- Initializers and setval2009-12-13, by Adam Chlipala
- Weakening-type coercions for SQL values2009-12-13, by Adam Chlipala
- Better record summary error messages; more tweaking SQL usability2009-12-13, by Adam Chlipala
- Tweaking SQL parsing and typing2009-12-13, by Adam Chlipala
- Fix lexing of string literals in XML; treat EError as impure in MonoReduce2009-12-12, by Adam Chlipala
- Checked-ness of radio options; Option.get2009-12-12, by Adam Chlipala
- Bug fixes in redirect-related stuff2009-12-10, by Adam Chlipala
- Basis.currentUrl, plus redirect debugging2009-12-10, by Adam Chlipala
- Basis.url and redirects2009-12-10, by Adam Chlipala
- Make oneRowE1 more general2009-12-10, by Adam Chlipala
- Convert ctype is*() function results to booleans2009-12-08, by Adam Chlipala
- Shake bug fix; pattern reduction in ReduceLocal2009-12-08, by Adam Chlipala
- Context globals; ctype functions2009-12-08, by Adam Chlipala
- Fix a Shake bug that led to missing some cons2009-12-08, by Adam Chlipala
- Move to simpler HTML escaping2009-12-08, by Adam Chlipala
- Recursive hnormSgn for projections of signatures from modules2009-12-05, by Adam Chlipala
- Represent FFI function names as strings, to deal with cross-file recursion2009-12-05, by Adam Chlipala
- New release2009-12-03, by Adam Chlipala
- Merge2009-12-03, by Adam Chlipala
- UTF-8 in dynamic escaping2009-12-03, by Adam Chlipala
- Escaping UTF-8 in MonoOpt2009-12-03, by Adam Chlipala
- Fix handling of clearCookie/getCookie in same page gen2009-11-27, by Adam Chlipala
- Port rest of demo to new cookie signature; fix parsing of multiple incoming cookies2009-11-26, by Adam Chlipala
- More fun with cookies2009-11-26, by Adam Chlipala
- Fix parsing of long FastCGI lengths2009-11-26, by Adam Chlipala
- Hint about disallowed attributes2009-11-25, by Adam Chlipala
- Add 'id' attributes and <label>2009-11-25, by Adam Chlipala
- Better error message for link-handler conflicts2009-11-25, by Adam Chlipala
- Refactor compile functions; allow empty tag contents2009-11-25, by Adam Chlipala
- Exit code of 1 on compilation failure2009-11-25, by Adam Chlipala
- New release2009-11-24, by Adam Chlipala
- Explicitly abort in-flight RPCs onunload2009-11-24, by Adam Chlipala
- Proper initial values of dynamic checkboxes in IE2009-11-22, by Adam Chlipala
- Get dynamic <select> working in IE2009-11-22, by Adam Chlipala
- grid0 working in IE2009-11-22, by Adam Chlipala
- Get message-passing working in IE62009-11-21, by Adam Chlipala
- Send RPCs with POST, to avoid caching2009-11-21, by Adam Chlipala
- Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags)2009-11-21, by Adam Chlipala
- Fix for lack of 'apply' method of IE6 native functions2009-11-21, by Adam Chlipala
- Hooks for measuring how much interesting proving is going on in elaboration2009-11-17, by Adam Chlipala
- New release2009-11-08, by Adam Chlipala
- Saving paper decisions2009-11-07, by Adam Chlipala
- Decision status placeholder2009-11-02, by Adam Chlipala
- Start of Decision2009-11-02, by Adam Chlipala
- Seeing others' reviews2009-11-02, by Adam Chlipala
- Preload current assignment status2009-11-02, by Adam Chlipala
- Saving paper assignments2009-11-02, by Adam Chlipala
- Switch Monoize back to POST forms2009-11-02, by Adam Chlipala
- Initial form for paper assignment2009-11-01, by Adam Chlipala
- Optimizing str1 in MonoOpt2009-11-01, by Adam Chlipala
- Bidding interface2009-11-01, by Adam Chlipala
- Start of bidding implementation compiles2009-10-31, by Adam Chlipala
- Use call/cc for recv and sleep2009-10-25, by Adam Chlipala
- RPC uses VM support for call/cc2009-10-25, by Adam Chlipala
- Always inline records2009-10-25, by Adam Chlipala
- Extend Fuse to work on non-recursive functions2009-10-25, by Adam Chlipala