| Commit message (Expand) | Author | Age |
* | Destructing local let, to the point where demo compiles | Adam Chlipala | 2009-05-28 |
* | Mutual datatypes through Elaborate | Adam Chlipala | 2009-05-16 |
* | A view query works | Adam Chlipala | 2009-04-28 |
* | Label exported symbols by effect-ness; factor out some common datatypes | Adam Chlipala | 2009-04-16 |
* | Stop tracking CSS classes in XML types | Adam Chlipala | 2009-04-12 |
* | style declarations | Adam Chlipala | 2009-04-12 |
* | PRIMARY KEY | Adam Chlipala | 2009-04-07 |
* | Track uniqueness sets in table types | Adam Chlipala | 2009-04-07 |
* | UNIQUE constraints | Adam Chlipala | 2009-04-07 |
* | Switch to TDisjoint from CDisjoint; still need to implement obligation genera... | Adam Chlipala | 2009-02-24 |
* | Start of kind polymorphism, up to the point where demo/hello elaborates with ... | Adam Chlipala | 2009-02-22 |
* | "Hello world" compiles, after replacing type-level fold with map | Adam Chlipala | 2009-02-21 |
* | Initial conversion to arbitrary-kind classes | Adam Chlipala | 2008-12-19 |
* | Add CutMulti | Adam Chlipala | 2008-11-11 |
* | Cookies through explify | Adam Chlipala | 2008-11-06 |
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 |
* | Elaborating 'let' | Adam Chlipala | 2008-11-01 |
* | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 |
* | Merge CDisjoint and TDisjoint | Adam Chlipala | 2008-10-04 |
* | Crud supports INSERT | Adam Chlipala | 2008-09-14 |
* | SQL sequences | Adam Chlipala | 2008-09-14 |
* | queryX | Adam Chlipala | 2008-09-13 |
* | 'database' declaration threaded through compiler | Adam Chlipala | 2008-09-02 |
* | Resolving lingering type class constraints | Adam Chlipala | 2008-08-21 |
* | Explifying type classes | Adam Chlipala | 2008-08-16 |
* | Initial type class support | Adam Chlipala | 2008-08-16 |
* | Non-star SELECT | Adam Chlipala | 2008-08-14 |
* | Elaborating 'SELECT *' queries | Adam Chlipala | 2008-08-14 |
* | Parsing and elaborating 'table' | Adam Chlipala | 2008-08-14 |
* | 'Option' datatype encoding | Adam Chlipala | 2008-08-09 |
* | Parametrized datatypes through explify | Adam Chlipala | 2008-08-08 |
* | Datatype representation optimization | Adam Chlipala | 2008-08-03 |
* | Compiled pattern matching to C | Adam Chlipala | 2008-08-03 |
* | Case through explify | Adam Chlipala | 2008-07-31 |
* | Elaborating record patterns | Adam Chlipala | 2008-07-31 |
* | Patterns for int and string constants | Adam Chlipala | 2008-07-31 |
* | Elaborating some basic pattern matching | Adam Chlipala | 2008-07-31 |
* | Add datatype import constructor annotations; datatypes through explify | Adam Chlipala | 2008-07-29 |
* | Start of datatype support | Adam Chlipala | 2008-07-24 |
* | Record cut | Adam Chlipala | 2008-07-24 |
* | Parsing and elaborating (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 |
* | Remove closure conversion in favor of zany fun with modules, which also repla... | Adam Chlipala | 2008-07-13 |
* | page declaration, up through monoize | Adam Chlipala | 2008-07-10 |
* | Constraints in modules | Adam Chlipala | 2008-07-01 |
* | Disjointness assumptions in expressions | Adam Chlipala | 2008-07-01 |
* | Disjointness assumptions | Adam Chlipala | 2008-07-01 |
* | Initial disjointness prover | Adam Chlipala | 2008-07-01 |
* | Broaden unification context | Adam Chlipala | 2008-06-29 |
* | Elaborate efold | Adam Chlipala | 2008-06-26 |
* | Elaborating cfold | Adam Chlipala | 2008-06-26 |