summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Decision status placeholderGravatar Adam Chlipala2009-11-02
* Start of DecisionGravatar Adam Chlipala2009-11-02
* Seeing others' reviewsGravatar Adam Chlipala2009-11-02
* Preload current assignment statusGravatar 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
* Factor Dnat into separate moduleGravatar Adam Chlipala2009-10-25
* Chars working with SQLiteGravatar Adam Chlipala2009-10-22
* Get char working with MySQLGravatar Adam Chlipala2009-10-22
* Setting and updating your own reviewGravatar Adam Chlipala2009-10-22
* Initial support for char in SQLGravatar Adam Chlipala2009-10-22
* authorship tableGravatar Adam Chlipala2009-10-22
* 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 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