HEAD | f94b06d | updated README | 22 June 2021, 08:13:54 UTC |
refs/heads/co-params | b39be83 | Added RIFun to freshRType | 13 November 2019, 19:53:32 UTC |
refs/heads/congruence-closure-1 | cda4560 | fix tests | 16 March 2020, 20:43:43 UTC |
refs/heads/dropPoly | 9891638 | deadline commit | 18 July 2019, 23:21:41 UTC |
refs/heads/ecoop21 | b6407e0 | formatted for submission | 21 May 2021, 03:15:25 UTC |
refs/heads/error-messages | 1882305 | WIP on fixpoint source spans | 10 September 2019, 00:19:29 UTC |
refs/heads/master | f94b06d | updated README | 22 June 2021, 08:13:54 UTC |
refs/heads/todo-tests | a3473b9 | No more refinement polymorphism | 09 July 2019, 21:50:13 UTC |