Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Serving pages with links | Adam Chlipala | 2008-07-13 |
| | |||
* | Serving pages | Adam Chlipala | 2008-07-13 |
| | |||
* | Basic web server | Adam Chlipala | 2008-07-13 |
| | |||
* | Cjr ready for dispatch code generation | Adam Chlipala | 2008-07-13 |
| | |||
* | Print a message on Laconic compilation failure | Adam Chlipala | 2008-07-13 |
| | |||
* | Turn on gcc -O3 | Adam Chlipala | 2008-07-13 |
| | |||
* | Handling duplicate tags | Adam Chlipala | 2008-07-13 |
| | |||
* | Closure code generation almost there | Adam Chlipala | 2008-07-13 |
| | |||
* | Starting with closure links | Adam Chlipala | 2008-07-13 |
| | |||
* | Remove closure conversion in favor of zany fun with modules, which also ↵ | Adam Chlipala | 2008-07-13 |
| | | | | replaces 'page' | ||
* | Fix dependency graph mismatch in sources | Adam Chlipala | 2008-07-10 |
| | |||
* | Optimizing attrification of constants | Adam Chlipala | 2008-07-10 |
| | |||
* | More with attributes and efficient serialization | Adam Chlipala | 2008-07-10 |
| | |||
* | Stringifying attributes | Adam Chlipala | 2008-07-10 |
| | |||
* | Initial HTML attributes support | Adam Chlipala | 2008-07-10 |
| | |||
* | Command-line compiler goes the whole nine yards | Adam Chlipala | 2008-07-10 |
| | |||
* | Writing HTML | Adam Chlipala | 2008-07-10 |
| | |||
* | First executable generated | Adam Chlipala | 2008-07-10 |
| | |||
* | page declaration, up through monoize | Adam Chlipala | 2008-07-10 |
| | |||
* | Fix record type comparison | Adam Chlipala | 2008-07-10 |
| | |||
* | Fill in more types during closure conversion | Adam Chlipala | 2008-07-10 |
| | |||
* | Mono optimizations (start with string concat and space eating) | Adam Chlipala | 2008-07-03 |
| | |||
* | Monoizing joins and tags | Adam Chlipala | 2008-07-03 |
| | |||
* | Monoizing cdata | Adam Chlipala | 2008-07-03 |
| | |||
* | More fun with HTML | Adam Chlipala | 2008-07-03 |
| | |||
* | XML tags with contents | Adam Chlipala | 2008-07-03 |
| | |||
* | Basic XML stuff | Adam Chlipala | 2008-07-03 |
| | |||
* | Fancier head normalization pushed inside of Disjoint | Adam Chlipala | 2008-07-03 |
| | |||
* | Tested constraints through functors | Adam Chlipala | 2008-07-01 |
| | |||
* | Constraints in modules | Adam Chlipala | 2008-07-01 |
| | |||
* | Push KUnit and CUnit through the phases | Adam Chlipala | 2008-07-01 |
| | |||
* | More with disjointness assumptions | Adam Chlipala | 2008-07-01 |
| | |||
* | Disjointness assumptions in expressions | Adam Chlipala | 2008-07-01 |
| | |||
* | Disjointness assumptions | Adam Chlipala | 2008-07-01 |
| | |||
* | Threading disjointness conditions through Elaborate | Adam Chlipala | 2008-07-01 |
| | |||
* | Initial disjointness prover | Adam Chlipala | 2008-07-01 |
| | |||
* | Factor some operations into ElabOps | Adam Chlipala | 2008-07-01 |
| | |||
* | A little more conservative unification | Adam Chlipala | 2008-06-29 |
| | |||
* | More hardcore unification | Adam Chlipala | 2008-06-29 |
| | |||
* | Implicit structure members | Adam Chlipala | 2008-06-29 |
| | |||
* | Broaden unification context | Adam Chlipala | 2008-06-29 |
| | |||
* | Folding through a functor | Adam Chlipala | 2008-06-26 |
| | |||
* | Reduce efold | Adam Chlipala | 2008-06-26 |
| | |||
* | Corify efold | Adam Chlipala | 2008-06-26 |
| | |||
* | Explify efold | Adam Chlipala | 2008-06-26 |
| | |||
* | Elaborate efold | Adam Chlipala | 2008-06-26 |
| | |||
* | Cjrize cfold | Adam Chlipala | 2008-06-26 |
| | |||
* | Corify cfold | Adam Chlipala | 2008-06-26 |
| | |||
* | Explify cfold | Adam Chlipala | 2008-06-26 |
| | |||
* | Elaborating cfold | Adam Chlipala | 2008-06-26 |
| |