2010-10-14 |
Adam Chlipala |
Documenting limits |
2010-10-14 |
Adam Chlipala |
-limit for running time |
2010-10-14 |
Adam Chlipala |
Interface for setting memory limits |
2010-10-11 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
2010-10-10 |
Adam Chlipala |
Fix infinite looping bug in Great Unification Fix |
2010-10-10 |
Adam Chlipala |
Tweaking unification fix to apply to demo/more |
2010-10-10 |
Adam Chlipala |
Hopeful fix for the Great Unification Bug |
2010-10-10 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
2010-09-30 |
Adam Chlipala |
Demo improvements |
2010-09-30 |
Adam Chlipala |
Mention empty-third-field 'rewrite' directives |
2010-09-16 |
Adam Chlipala |
Fix typing of cut operators; fix lexing of XML comments |
2010-09-09 |
Adam Chlipala |
Support empty datatypes, which can now be generated via 'variant []' |
2010-09-07 |
Adam Chlipala |
Updating documentation |
2010-09-07 |
Adam Chlipala |
Shortcut invocations for single .ur files |
2010-09-07 |
Adam Chlipala |
'tryDml' works with Postgres |
2010-09-07 |
Adam Chlipala |
Server-side 'onError' |
2010-09-05 |
Adam Chlipala |
tryDml |
2010-09-05 |
Adam Chlipala |
Support multiple CSS classes for a single tag |
2010-09-04 |
Adam Chlipala |
Add 'title' attribute |
2010-08-22 |
Adam Chlipala |
Confirm boxes; proper event handler setting for ctags |
2010-08-22 |
Adam Chlipala |
Reduce: Inline let-bound variables whose types involve functions |
2010-08-21 |
Adam Chlipala |
Some post-type-checking support for polymorphic variants |
2010-08-19 |
Adam Chlipala |
Polymorphic variants |
2010-08-10 |
Adam Chlipala |
Fix C-side jsification of UTF-8 strings |
2010-08-10 |
Adam Chlipala |
Better UTF-8 escaping for JavaScript and SQL literals |
2010-08-10 |
Adam Chlipala |
HTML comments |
2010-08-10 |
Adam Chlipala |
ML-style comments inside XML |
2010-07-27 |
Adam Chlipala |
Roll back WHERE checking |
2010-07-27 |
Adam Chlipala |
equalAny policies |
2010-07-27 |
Adam Chlipala |
Initial version of equalKnown working for secret |
2010-06-13 |
Adam Chlipala |
List.mapi |
2010-06-13 |
Adam Chlipala |
Catch a missed ReduceLocal of field projection annotations |
2010-06-13 |
Adam Chlipala |
More generous wildification, covering map-records |
2010-06-05 |
Adam Chlipala |
Another run of Specialize, using ReduceLocal on datatype parameters |
2010-06-03 |
Adam Chlipala |
Undo fancy wildification; instead, client code should include extra wildcard con declarations |
2010-06-03 |
Adam Chlipala |
Drop in some new autoconf scripts |
2010-06-03 |
Adam Chlipala |
New release |
2010-06-03 |
Adam Chlipala |
Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize |
2010-06-01 |
Adam Chlipala |
Allow complex attribute records in Tag |
2010-06-01 |
Adam Chlipala |
Try harder to place wildified 'con' declarations properly |
2010-06-01 |
Adam Chlipala |
Improve consNeq to detect unequal projected cons |
2010-05-30 |
Adam Chlipala |
Include new config.h in C source files |
2010-05-29 |
Adam Chlipala |
Include config.h.in in distribution |
2010-05-27 |
Adam Chlipala |
-moduleOf command-line option; compatibility fixes and better error messages for SQLite |
2010-05-27 |
Adam Chlipala |
Consider view declarations while shaking |
2010-05-27 |
Adam Chlipala |
Fix bug in module path generation with module roots; push wildification through substructures |
2010-05-23 |
Adam Chlipala |
Support HTTP caching of app.js |
2010-05-22 |
Adam Chlipala |
Switch to strings and eval for thunkifying JavaScripted functions |
2010-05-22 |
Adam Chlipala |
Add thunking to CHANGELOG |
2010-05-22 |
Adam Chlipala |
Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically |
2010-05-18 |
Adam Chlipala |
URL-escape with '.' instead of '%', to avoid confusing proxies |
2010-05-16 |
Adam Chlipala |
Fix width/height CSS choices for table rows/columns; stop warning about inability to embed type in JavaScript |
2010-05-16 |
Adam Chlipala |
Fix C-mangling of datatype names |
2010-05-15 |
Adam Chlipala |
Avoid reimplementing conversion to C strings |
2010-05-06 |
Adam Chlipala |
New release |
2010-05-06 |
Adam Chlipala |
Merge |
2010-05-06 |
Adam Chlipala |
Some Iflow improvements for gradebook |
2010-05-01 |
Adam Chlipala |
Safe unmodeled SQL expressions marked as known |
2010-05-01 |
Adam Chlipala |
Basic handling of recursive functions in Iflow |
2010-04-29 |
Adam Chlipala |
Add rand to Basis and handle it in Iflow |