log

age author description
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
2009-09-17 Adam Chlipala Make filter argument to render, not create
2009-09-17 Adam Chlipala Don't try to compile sigString() calls to JavaScript
2009-09-17 Adam Chlipala Disable GCC inlining to stop goofy errors
2009-09-17 Adam Chlipala Find more opportunities for 'let' inlining with better purity information
2009-09-17 Adam Chlipala Print char patterns in C
2009-09-15 Adam Chlipala Filters displaying properly
2009-09-15 Adam Chlipala Filters displaying awfully
2009-09-15 Adam Chlipala Filters implementation type-checking
2009-09-15 Adam Chlipala Fix JavaScript char literals; don't generate demo links to nonexistent files
2009-09-15 Adam Chlipala Escape character constants; lift indices properly in Reduce 'case' simplification
2009-09-15 Adam Chlipala Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
2009-09-15 Adam Chlipala Selection working, but switching it on isn't
2009-09-15 Adam Chlipala Fix Postgres timestamp round-tripping
2009-09-15 Adam Chlipala Fix MySQL timestamp input
2009-09-15 Adam Chlipala Summary row with aggregates
2009-09-15 Adam Chlipala Include 'key' type in Grid
2009-09-15 Adam Chlipala Dropped in initial aggregate types