log

age author description
2009-10-22 Adam Chlipala Initial support for char in SQL
2009-10-22 Adam Chlipala authorship table
2009-10-22 Adam Chlipala Viewing papers
2009-10-22 Adam Chlipala Move stuff from bulkEdit to meta
2009-10-22 Adam Chlipala Title and abstract
2009-10-22 Adam Chlipala Checking deadline; sign-in
2009-10-20 Adam Chlipala Saving changes to user list
2009-10-20 Adam Chlipala Start of user management
2009-10-20 Adam Chlipala Registering for Conference1
2009-10-20 Adam Chlipala Adapted existing demos to tuple pattern-matching
2009-10-20 Adam Chlipala Add tuple pattern-matching at the constructor level
2009-10-15 Adam Chlipala Better subSgn error locations
2009-10-12 Adam Chlipala New release
2009-10-12 Adam Chlipala Fix some MySQL hijinks
2009-10-09 Adam Chlipala Put right date stamp in CHANGELOG
2009-10-09 Adam Chlipala New release
2009-10-06 Adam Chlipala Versioned1 demo working
2009-10-06 Adam Chlipala Initial versioned1 demo working
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
2009-10-06 Adam Chlipala Finalized Orm1 demo
2009-10-06 Adam Chlipala Initial Orm1 demo
2009-10-06 Adam Chlipala Fix a de Bruijn index bug in map fusion
2009-10-05 Adam Chlipala Orm searching
2009-10-05 Adam Chlipala Basic CRUD operations in Orm
2009-10-05 Adam Chlipala Better location calculation for record unification error messages; infer kind arguments to module-projected variables
2009-10-05 Adam Chlipala Mangle local table names to avoid keyword clashes in SQL
2009-09-26 Adam Chlipala New release
2009-09-26 Adam Chlipala Whitelisting tags that may be self-closed
2009-09-24 Adam Chlipala Add tail call optimization to interpretation
2009-09-24 Adam Chlipala Grid1 seems to work in latest Firefox
2009-09-24 Adam Chlipala Fix sel() generation bug
2009-09-24 Adam Chlipala demo/more compiles; small problem left with foreign keys in Grid1
2009-09-24 Adam Chlipala Main demo pieces all seem to work with interpretation
2009-09-24 Adam Chlipala demo/increment works with interpretation
2009-09-24 Adam Chlipala Might have fixed demo/listEdit
2009-09-22 Adam Chlipala demo/react works with interpretation
2009-09-22 Adam Chlipala Quoting JavaScript working
2009-09-22 Adam Chlipala Compiled an 'option' pattern-match
2009-09-22 Adam Chlipala More interpreter debugging
2009-09-22 Adam Chlipala Functions working with interpretation
2009-09-22 Adam Chlipala Basic arithmetic working with interpretation
2009-09-22 Adam Chlipala Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works)
2009-09-22 Adam Chlipala Iterative versions of some JavaScript list functions
2009-09-19 Adam Chlipala New release
2009-09-19 Adam Chlipala Plugged a JavaScript memory leak
2009-09-19 Adam Chlipala Paging + filtering seemingly working, but runtime system isn't GCing signals properly, so performance goes south quickly
2009-09-19 Adam Chlipala Progress on sorting + filtering
2009-09-19 Adam Chlipala Paging mostly working; just need to get it working properly with filtering
2009-09-19 Adam Chlipala Testing Dlist MaxLength with constant value
2009-09-19 Adam Chlipala Testing Dlist StartPosition with constant offset
2009-09-19 Adam Chlipala Grid sorting working
2009-09-19 Adam Chlipala Hopefully fixed Jscomp bug that was breaking Grid
2009-09-18 Adam Chlipala Fix C substring implementation
2009-09-17 Adam Chlipala Pseudo-sort working with filters
2009-09-17 Adam Chlipala Grid changed to use Dlist.replace; filters stopped working
2009-09-17 Adam Chlipala Don't try to check if functions are already tail-recursive
2009-09-17 Adam Chlipala tail example working
2009-09-17 Adam Chlipala Basic tail recursion introduction seems to be working
2009-09-17 Adam Chlipala Bad sort functions tested
2009-09-17 Adam Chlipala Insert dummy Sort parameter