2012-01-07 |
Adam Chlipala |
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
2011-12-28 |
Adam Chlipala |
Get a few more source files up-to-date with change to [tag] type |
2011-12-03 |
Adam Chlipala |
Don't crash on invalid URL head terms during Tag |
2010-12-26 |
Adam Chlipala |
queryString and effectfulUrl |
2010-06-01 |
Adam Chlipala |
Allow complex attribute records in Tag |
2009-12-31 |
Adam Chlipala |
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
2009-12-10 |
Adam Chlipala |
Bug fixes in redirect-related stuff |
2009-12-10 |
Adam Chlipala |
Basis.url and redirects |
2009-12-08 |
Adam Chlipala |
Shake bug fix; pattern reduction in ReduceLocal |
2009-11-25 |
Adam Chlipala |
Better error message for link-handler conflicts |
2009-08-11 |
Adam Chlipala |
JavaScript urlifying of bools; correct Link attribute escaping |
2009-04-16 |
Adam Chlipala |
Label exported symbols by effect-ness; factor out some common datatypes |
2009-04-12 |
Adam Chlipala |
Classes as optional arguments to Basis.tag |
2008-11-11 |
Adam Chlipala |
Handle nullary transaction pages; avoid marking up headers array when reading cookies |
2008-11-09 |
Adam Chlipala |
Especialize working reasonably well; need to add new closure representation pass |
2008-09-02 |
Adam Chlipala |
Compiling a parametrized query the inefficient way |
2008-08-03 |
Adam Chlipala |
Cases through monoize |
2008-07-29 |
Adam Chlipala |
Datatypes through corify |
2008-07-22 |
Adam Chlipala |
Simple forms work |
2008-07-20 |
Adam Chlipala |
Almost ready to have a form work |
2008-07-20 |
Adam Chlipala |
A simpler context encoding |
2008-07-17 |
Adam Chlipala |
Tagging (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Corifying (non-mutual) 'val rec' |
2008-07-13 |
Adam Chlipala |
Proper handling of non-function-call links |
2008-07-13 |
Adam Chlipala |
Serving pages |
2008-07-13 |
Adam Chlipala |
Handling duplicate tags |
2008-07-13 |
Adam Chlipala |
Closure code generation almost there |
2008-07-13 |
Adam Chlipala |
Starting with closure links |