| Tue, 15 Dec 2009 12:26:00 -0500 |
Adam Chlipala |
Initial generalization of Especialize, with security bug known |
| Tue, 15 Dec 2009 11:11:49 -0500 |
Adam Chlipala |
Allow same constructor shorthand for 'view' sig items as for 'table' |
| Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
| Sun, 13 Dec 2009 14:34:18 -0500 |
Adam Chlipala |
Fixing a bug in DInitializer elaboration |
| Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
| Sun, 13 Dec 2009 13:00:55 -0500 |
Adam Chlipala |
Weakening-type coercions for SQL values |
| Sun, 13 Dec 2009 11:28:47 -0500 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
| Sun, 13 Dec 2009 10:13:06 -0500 |
Adam Chlipala |
Tweaking SQL parsing and typing |
| Sat, 12 Dec 2009 14:51:10 -0500 |
Adam Chlipala |
Fix lexing of string literals in XML; treat EError as impure in MonoReduce |
| Sat, 12 Dec 2009 11:02:20 -0500 |
Adam Chlipala |
Checked-ness of radio options; Option.get |
| Thu, 10 Dec 2009 15:46:07 -0500 |
Adam Chlipala |
Bug fixes in redirect-related stuff |
| Thu, 10 Dec 2009 15:20:36 -0500 |
Adam Chlipala |
Basis.currentUrl, plus redirect debugging |
| Thu, 10 Dec 2009 13:32:09 -0500 |
Adam Chlipala |
Basis.url and redirects |
| Thu, 10 Dec 2009 12:06:03 -0500 |
Adam Chlipala |
Make oneRowE1 more general |
| Tue, 08 Dec 2009 12:06:41 -0500 |
Adam Chlipala |
Convert ctype is*() function results to booleans |
