Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Hooks for measuring how much interesting proving is going on in elaboration | 2009-11-17 | |
| | |||
* | New release | 2009-11-08 | |
| | |||
* | Saving paper decisions | 2009-11-07 | |
| | |||
* | Decision status placeholder | 2009-11-02 | |
| | |||
* | Start of Decision | 2009-11-02 | |
| | |||
* | Seeing others' reviews | 2009-11-02 | |
| | |||
* | Preload current assignment status | 2009-11-02 | |
| | |||
* | Saving paper assignments | 2009-11-02 | |
| | |||
* | Switch Monoize back to POST forms | 2009-11-02 | |
| | |||
* | Initial form for paper assignment | 2009-11-01 | |
| | |||
* | Optimizing str1 in MonoOpt | 2009-11-01 | |
| | |||
* | Bidding interface | 2009-11-01 | |
| | |||
* | Start of bidding implementation compiles | 2009-10-31 | |
| | |||
* | Use call/cc for recv and sleep | 2009-10-25 | |
| | |||
* | RPC uses VM support for call/cc | 2009-10-25 | |
| | |||
* | Always inline records | 2009-10-25 | |
| | |||
* | Extend Fuse to work on non-recursive functions | 2009-10-25 | |
| | |||
* | Inlining threshold for Mono_reduce | 2009-10-25 | |
| | |||
* | Inlining threshold for Reduce | 2009-10-25 | |
| | |||
* | Factor Dnat into separate module | 2009-10-25 | |
| | |||
* | Chars working with SQLite | 2009-10-22 | |
| | |||
* | Get char working with MySQL | 2009-10-22 | |
| | |||
* | Setting and updating your own review | 2009-10-22 | |
| | |||
* | Initial support for char in SQL | 2009-10-22 | |
| | |||
* | authorship table | 2009-10-22 | |
| | |||
* | Viewing papers | 2009-10-22 | |
| | |||
* | Move stuff from bulkEdit to meta | 2009-10-22 | |
| | |||
* | Title and abstract | 2009-10-22 | |
| | |||
* | Checking deadline; sign-in | 2009-10-22 | |
| | |||
* | Saving changes to user list | 2009-10-20 | |
| | |||
* | Start of user management | 2009-10-20 | |
| | |||
* | Registering for Conference1 | 2009-10-20 | |
| | |||
* | Adapted existing demos to tuple pattern-matching | 2009-10-20 | |
| | |||
* | Add tuple pattern-matching at the constructor level | 2009-10-20 | |
| | |||
* | Better subSgn error locations | 2009-10-15 | |
| | |||
* | New release | 2009-10-12 | |
| | |||
* | Fix some MySQL hijinks | 2009-10-12 | |
| | |||
* | Put right date stamp in CHANGELOG | 2009-10-09 | |
| | |||
* | New release | 2009-10-09 | |
| | |||
* | Versioned1 demo working | 2009-10-06 | |
| | |||
* | Initial versioned1 demo working | 2009-10-06 | |
| | |||
* | SELECT DISTINCT; eta expansion during Cjrization | 2009-10-06 | |
| | |||
* | Finalized Orm1 demo | 2009-10-06 | |
| | |||
* | Initial Orm1 demo | 2009-10-06 | |
| | |||
* | Fix a de Bruijn index bug in map fusion | 2009-10-06 | |
| | |||
* | Orm searching | 2009-10-05 | |
| | |||
* | Basic CRUD operations in Orm | 2009-10-05 | |
| | |||
* | Better location calculation for record unification error messages; infer ↵ | 2009-10-05 | |
| | | | | kind arguments to module-projected variables | ||
* | Mangle local table names to avoid keyword clashes in SQL | 2009-10-05 | |
| | |||
* | New release | 2009-09-26 | |
| |