Mercurial > urweb
log src/sources
age | author | description |
---|---|---|
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 |