summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Orm searchingGravatar Adam Chlipala2009-10-05
* Basic CRUD operations in OrmGravatar Adam Chlipala2009-10-05
* Better location calculation for record unification error messages; infer kind...Gravatar Adam Chlipala2009-10-05
* Mangle local table names to avoid keyword clashes in SQLGravatar Adam Chlipala2009-10-05
* New releaseGravatar Adam Chlipala2009-09-26
* Whitelisting tags that may be self-closedGravatar Adam Chlipala2009-09-26
* Add tail call optimization to interpretationGravatar Adam Chlipala2009-09-24
* Grid1 seems to work in latest FirefoxGravatar Adam Chlipala2009-09-24
* Fix sel() generation bugGravatar Adam Chlipala2009-09-24
* demo/more compiles; small problem left with foreign keys in Grid1Gravatar Adam Chlipala2009-09-24
* Main demo pieces all seem to work with interpretationGravatar Adam Chlipala2009-09-24
* demo/increment works with interpretationGravatar Adam Chlipala2009-09-24
* Might have fixed demo/listEditGravatar Adam Chlipala2009-09-24
* demo/react works with interpretationGravatar Adam Chlipala2009-09-22
* Quoting JavaScript workingGravatar Adam Chlipala2009-09-22
* Compiled an 'option' pattern-matchGravatar Adam Chlipala2009-09-22
* More interpreter debuggingGravatar Adam Chlipala2009-09-22
* Functions working with interpretationGravatar Adam Chlipala2009-09-22
* Basic arithmetic working with interpretationGravatar Adam Chlipala2009-09-22
* Hopefully complete refactoring of Jscomp to output ASTs; partial implementati...Gravatar Adam Chlipala2009-09-22
* Iterative versions of some JavaScript list functionsGravatar Adam Chlipala2009-09-22
* New releaseGravatar Adam Chlipala2009-09-19
* Plugged a JavaScript memory leakGravatar Adam Chlipala2009-09-19
* Paging + filtering seemingly working, but runtime system isn't GCing signals ...Gravatar Adam Chlipala2009-09-19
* Progress on sorting + filteringGravatar Adam Chlipala2009-09-19
* Paging mostly working; just need to get it working properly with filteringGravatar Adam Chlipala2009-09-19
* Testing Dlist MaxLength with constant valueGravatar Adam Chlipala2009-09-19
* Testing Dlist StartPosition with constant offsetGravatar Adam Chlipala2009-09-19
* Grid sorting workingGravatar Adam Chlipala2009-09-19
* Hopefully fixed Jscomp bug that was breaking GridGravatar Adam Chlipala2009-09-19
* Fix C substring implementationGravatar Adam Chlipala2009-09-18
* Pseudo-sort working with filtersGravatar Adam Chlipala2009-09-17
* Grid changed to use Dlist.replace; filters stopped workingGravatar Adam Chlipala2009-09-17
* Don't try to check if functions are already tail-recursiveGravatar Adam Chlipala2009-09-17
* tail example workingGravatar Adam Chlipala2009-09-17
* Basic tail recursion introduction seems to be workingGravatar Adam Chlipala2009-09-17
* Bad sort functions testedGravatar Adam Chlipala2009-09-17
* Insert dummy Sort parameterGravatar Adam Chlipala2009-09-17
* Make filter argument to render, not createGravatar Adam Chlipala2009-09-17
* Don't try to compile sigString() calls to JavaScriptGravatar Adam Chlipala2009-09-17
* Disable GCC inlining to stop goofy errorsGravatar Adam Chlipala2009-09-17
* Find more opportunities for 'let' inlining with better purity informationGravatar Adam Chlipala2009-09-17
* Print char patterns in CGravatar Adam Chlipala2009-09-17
* Filters displaying properlyGravatar Adam Chlipala2009-09-15
* Filters displaying awfullyGravatar Adam Chlipala2009-09-15
* Filters implementation type-checkingGravatar Adam Chlipala2009-09-15
* Fix JavaScript char literals; don't generate demo links to nonexistent filesGravatar Adam Chlipala2009-09-15
* Escape character constants; lift indices properly in Reduce 'case' simplifica...Gravatar Adam Chlipala2009-09-15
* Fixed a Mono_reduce bug, which was breaking selection enabling in GridGravatar Adam Chlipala2009-09-15
* Selection working, but switching it on isn'tGravatar Adam Chlipala2009-09-15