Mercurial > urweb
log src/sources
age | author | description |
---|---|---|
2008-08-08 | Adam Chlipala | Specialization of single-parameter datatypes |
2008-07-17 | Adam Chlipala | MonoShake |
2008-07-17 | Adam Chlipala | MonoReduce |
2008-07-17 | Adam Chlipala | Untangle |
2008-07-13 | Adam Chlipala | Starting with closure links |
2008-07-13 | Adam Chlipala | Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
2008-07-10 | Adam Chlipala | Fix dependency graph mismatch in sources |
2008-07-03 | Adam Chlipala | Mono optimizations (start with string concat and space eating) |
2008-07-01 | Adam Chlipala | Initial disjointness prover |
2008-07-01 | Adam Chlipala | Factor some operations into ElabOps |
2008-06-19 | Adam Chlipala | Explify |
2008-06-10 | Adam Chlipala | Translation to Cjr |
2008-06-10 | Adam Chlipala | Closure conversion |
2008-06-10 | Adam Chlipala | Monoize |
2008-06-08 | Adam Chlipala | Tree-shaking |
2008-06-08 | Adam Chlipala | Some con reducing |
2008-06-08 | Adam Chlipala | Conversion to Core |
2008-06-08 | Adam Chlipala | Primitive type constants |
2008-06-08 | Adam Chlipala | Lifting cons in ElabEnv |
2008-03-28 | Adam Chlipala | Start of elaborating expressions |
2008-01-26 | Adam Chlipala | Check for leftover kind unifs |
2008-01-26 | Adam Chlipala | Elaborating files |
2008-01-26 | Adam Chlipala | Rename Laconic* modules to Source* |
2008-01-26 | Adam Chlipala | Elaborating cons and decls |
2008-01-26 | Adam Chlipala | Start of elaboration |
2008-01-26 | Adam Chlipala | Initial parsing and pretty-printing |
2008-01-26 | Adam Chlipala | Initial skeleton |