Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | C FFI compiler options | Adam Chlipala | 2009-04-30 |
| | |||
* | Start of Featherweight Ur semantics | Adam Chlipala | 2009-02-17 |
| | |||
* | Module projection | Adam Chlipala | 2008-11-29 |
| | |||
* | Start of manual | Adam Chlipala | 2008-11-27 |
| | |||
* | Profiling in Makefile | Adam Chlipala | 2008-11-25 |
| | |||
* | Transactions seem to be working | Adam Chlipala | 2008-10-24 |
| | |||
* | Building combined demo app | Adam Chlipala | 2008-10-19 |
| | |||
* | Demo HTML generation, minus source code | Adam Chlipala | 2008-10-19 |
| | |||
* | Proper configuration and installation | Adam Chlipala | 2008-10-19 |
| | |||
* | Laconic -> Ur | Adam Chlipala | 2008-08-31 |
| | |||
* | Writing HTML | Adam Chlipala | 2008-07-10 |
| | |||
* | Initial parsing and pretty-printing | Adam Chlipala | 2008-01-26 |
| | |||
* | Initial skeleton | Adam Chlipala | 2008-01-26 |