summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Get message-passing working in IE6Gravatar Adam Chlipala2009-11-21
|
* Send RPCs with POST, to avoid cachingGravatar Adam Chlipala2009-11-21
|
* Hooks for measuring how much interesting proving is going on in elaborationGravatar Adam Chlipala2009-11-17
|
* Start of DecisionGravatar Adam Chlipala2009-11-02
|
* Saving paper assignmentsGravatar Adam Chlipala2009-11-02
|
* Switch Monoize back to POST formsGravatar Adam Chlipala2009-11-02
|
* Initial form for paper assignmentGravatar Adam Chlipala2009-11-01
|
* Optimizing str1 in MonoOptGravatar Adam Chlipala2009-11-01
|
* Bidding interfaceGravatar Adam Chlipala2009-11-01
|
* Start of bidding implementation compilesGravatar Adam Chlipala2009-10-31
|
* Use call/cc for recv and sleepGravatar Adam Chlipala2009-10-25
|
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25
|
* Always inline recordsGravatar Adam Chlipala2009-10-25
|
* Extend Fuse to work on non-recursive functionsGravatar Adam Chlipala2009-10-25
|
* Inlining threshold for Mono_reduceGravatar Adam Chlipala2009-10-25
|
* Inlining threshold for ReduceGravatar Adam Chlipala2009-10-25
|
* Chars working with SQLiteGravatar Adam Chlipala2009-10-22
|
* Get char working with MySQLGravatar Adam Chlipala2009-10-22
|
* Initial support for char in SQLGravatar Adam Chlipala2009-10-22
|
* Checking deadline; sign-inGravatar Adam Chlipala2009-10-22
|
* Add tuple pattern-matching at the constructor levelGravatar Adam Chlipala2009-10-20
|
* Better subSgn error locationsGravatar Adam Chlipala2009-10-15
|
* Fix some MySQL hijinksGravatar Adam Chlipala2009-10-12
|
* 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
|
* Fix a de Bruijn index bug in map fusionGravatar Adam Chlipala2009-10-06
|
* 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
|
* Whitelisting tags that may be self-closedGravatar Adam Chlipala2009-09-26
|
* Fix sel() generation bugGravatar Adam Chlipala2009-09-24
|
* demo/more compiles; small problem left with foreign keys in Grid1Gravatar 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
|
* Hopefully complete refactoring of Jscomp to output ASTs; partial ↵Gravatar Adam Chlipala2009-09-22
| | | | implementation of interpreter in runtime system (demo/alert works)
* Paging mostly working; just need to get it working properly with filteringGravatar 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
|
* 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
|
* Don't try to compile sigString() calls to JavaScriptGravatar Adam Chlipala2009-09-17
|
* Disable GCC inlining to stop goofy errorsGravatar Adam Chlipala2009-09-17
|
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-07 11:49:59 +0000