summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Viewing papersGravatar Adam Chlipala2009-10-22
|
* Move stuff from bulkEdit to metaGravatar Adam Chlipala2009-10-22
|
* Title and abstractGravatar Adam Chlipala2009-10-22
|
* Checking deadline; sign-inGravatar Adam Chlipala2009-10-22
|
* Saving changes to user listGravatar Adam Chlipala2009-10-20
|
* Start of user managementGravatar Adam Chlipala2009-10-20
|
* Registering for Conference1Gravatar Adam Chlipala2009-10-20
|
* Adapted existing demos to tuple pattern-matchingGravatar Adam Chlipala2009-10-20
|
* Add tuple pattern-matching at the constructor levelGravatar Adam Chlipala2009-10-20
|
* Better subSgn error locationsGravatar Adam Chlipala2009-10-15
|
* New releaseGravatar Adam Chlipala2009-10-12
|
* Fix some MySQL hijinksGravatar Adam Chlipala2009-10-12
|
* Put right date stamp in CHANGELOGGravatar Adam Chlipala2009-10-09
|
* New releaseGravatar Adam Chlipala2009-10-09
|
* Versioned1 demo workingGravatar Adam Chlipala2009-10-06
|
* Initial versioned1 demo workingGravatar Adam Chlipala2009-10-06
|
* SELECT DISTINCT; eta expansion during CjrizationGravatar Adam Chlipala2009-10-06
|
* Finalized Orm1 demoGravatar Adam Chlipala2009-10-06
|
* Initial Orm1 demoGravatar Adam Chlipala2009-10-06
|
* Fix a de Bruijn index bug in map fusionGravatar Adam Chlipala2009-10-06
|
* Orm searchingGravatar Adam Chlipala2009-10-05
|
* Basic CRUD operations in OrmGravatar Adam Chlipala2009-10-05
|
* Better location calculation for record unification error messages; infer ↵Gravatar Adam Chlipala2009-10-05
| | | | kind arguments to module-projected variables
* 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 ↵Gravatar Adam Chlipala2009-09-22
| | | | implementation of interpreter in runtime system (demo/alert works)
* 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
| | | | properly, so performance goes south quickly
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 18:23:22 +0000