Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Enable as many "og" lit tests. Several fail because they weren't | 2014-05-11 | |
* | second checkpoint | 2014-05-04 | |
* | checkpoint | 2014-05-03 | |
* | added simulation relation computation to yield type checking | 2014-04-20 | |
* | made some fixes | 2013-12-29 | |
* | various updates and tighter integration of QED stuff into mainline | 2013-12-19 | |
* | fixes to type checking code | 2013-12-11 | |
* | some refactoring of QED stuff | 2013-12-10 | |
* | first check in | 2013-12-04 |