| d764f6e | Anish Tondwalkar | 01 April 2019, 23:19:13 UTC | Added RApp to RType This allows us to construct refinement types by applying a type constructor to arguments. | 01 April 2019, 23:19:13 UTC |
| 58a436c | Anish Tondwalkar | 28 March 2019, 22:42:05 UTC | Merge pull request #11 from ucsd-progsys/typed-anf Adding annotation points to every AST node | 28 March 2019, 22:42:05 UTC |
| f72ed27 | Anish Tondwalkar | 28 March 2019, 22:41:39 UTC | bump lf | 28 March 2019, 22:41:39 UTC |
| 2c6463f | mkolosick | 26 March 2019, 19:50:08 UTC | Annotating each node before ANF | 26 March 2019, 19:50:08 UTC |
| c565421 | mkolosick | 26 March 2019, 19:48:02 UTC | Moving to annotated expression forms | 26 March 2019, 19:49:13 UTC |
| 0546d63 | mkolosick | 22 March 2019, 01:01:19 UTC | Added type annotations to App and TApp | 22 March 2019, 01:01:19 UTC |
| 6ff8ddf | mkolosick | 21 March 2019, 23:27:37 UTC | Compiles with new Expr annotated forms | 21 March 2019, 23:27:37 UTC |
| e8eb56c | mkolosick | 15 March 2019, 20:57:43 UTC | Switched Prim2 to Prim apart from ANF | 18 March 2019, 18:30:01 UTC |
| 9ee6750 | mkolosick | 14 March 2019, 20:56:25 UTC | Correctly substituting for existentials in annotations | 14 March 2019, 20:56:25 UTC |
| 0c0da4d | Matthew Kolosick | 12 March 2019, 17:39:25 UTC | Merge pull request #10 from ucsd-progsys/implicits Implicits | 12 March 2019, 17:39:25 UTC |
| 385d693 | Matthew Kolosick | 12 March 2019, 17:39:13 UTC | Merge pull request #9 from ucsd-progsys/liquid-cgen Liquid cgen | 12 March 2019, 17:39:13 UTC |
| 20b2c74 | Anish Tondwalkar | 24 February 2019, 23:54:29 UTC | implement implicits | 08 March 2019, 19:25:34 UTC |
| 80d7162 | Anish Tondwalkar | 24 February 2019, 09:44:41 UTC | added testcase that breaks checker | 24 February 2019, 09:44:41 UTC |
| 1157f0d | Anish Tondwalkar | 24 February 2019, 09:42:24 UTC | tests pass | 24 February 2019, 09:42:24 UTC |
| bfa9b26 | Anish Tondwalkar | 22 February 2019, 20:48:41 UTC | cgen: fresh (Gamma) and subst bug | 22 February 2019, 20:50:27 UTC |
| efd594f | mkolosick | 22 February 2019, 07:00:21 UTC | Added initial unit test for CGen | 22 February 2019, 07:00:21 UTC |
| 1aebb7e | mkolosick | 22 February 2019, 02:10:34 UTC | Left todo for normalizer | 22 February 2019, 02:10:34 UTC |
| 7073357 | mkolosick | 21 February 2019, 19:08:02 UTC | Testing new cgen for lets | 21 February 2019, 19:08:02 UTC |
| 1543ace | mkolosick | 21 February 2019, 18:57:30 UTC | Fixed bug in collecting kvars | 21 February 2019, 18:57:30 UTC |
| 83aafe7 | mkolosick | 20 February 2019, 18:56:58 UTC | Surfacing solver result in mist runner | 20 February 2019, 18:56:58 UTC |
| 69f4a4a | mkolosick | 20 February 2019, 00:03:41 UTC | Adding refinement checker failing test | 20 February 2019, 00:03:41 UTC |
| 4a1013f | mkolosick | 20 February 2019, 00:00:43 UTC | All fixpoint tests not relying on If pass | 20 February 2019, 00:00:43 UTC |
| 144445d | mkolosick | 19 February 2019, 23:36:22 UTC | Collected kvars | 19 February 2019, 23:36:22 UTC |
| 4a0a6b4 | mkolosick | 19 February 2019, 23:00:19 UTC | Fixed and integrated uniquify | 19 February 2019, 23:00:19 UTC |
| d4fea5e | mkolosick | 19 February 2019, 22:12:38 UTC | WIP on CGen | 19 February 2019, 22:22:10 UTC |
| 539139b | mkolosick | 31 January 2019, 20:10:57 UTC | Work in progress (failing tests) | 09 February 2019, 01:01:15 UTC |
| 5faaa2d | Anish Tondwalkar | 29 January 2019, 08:44:31 UTC | Run the whole pipeline bit of gore, but tests pass! | 29 January 2019, 08:44:31 UTC |
| e38a637 | Anish Tondwalkar | 29 January 2019, 08:27:49 UTC | insert KVars | 29 January 2019, 08:27:49 UTC |
| e76f4e1 | Anish Tondwalkar | 29 January 2019, 02:33:11 UTC | start rewrite of CGen | 29 January 2019, 02:39:55 UTC |
| 3e97fc9 | Anish Tondwalkar | 29 January 2019, 02:34:52 UTC | Merge pull request #8 from ucsd-progsys/elaboration Elaboration | 29 January 2019, 02:34:52 UTC |
| 58e8e5f | mkolosick | 26 January 2019, 03:54:44 UTC | Added todo for RUnrefined cases | 26 January 2019, 03:54:44 UTC |
| 608a273 | mkolosick | 26 January 2019, 03:47:27 UTC | Hooked elaboration into the running of Mist | 26 January 2019, 03:52:40 UTC |
| 28aaacd | mkolosick | 26 January 2019, 03:46:53 UTC | Fixed bug in mkArrow | 26 January 2019, 03:52:40 UTC |
| e382a04 | Anish Tondwalkar | 25 January 2019, 09:21:35 UTC | edits to documentation for RUnrefined | 26 January 2019, 03:52:40 UTC |
| 0375ea3 | mkolosick | 24 January 2019, 20:11:35 UTC | Added test of let generalization of non recursive lambda | 26 January 2019, 03:52:40 UTC |
| dbe6509 | mkolosick | 24 January 2019, 19:50:03 UTC | Added test to ensure correct ordering of multiple type applications | 26 January 2019, 03:52:40 UTC |
| a2ec697 | mkolosick | 24 January 2019, 19:40:00 UTC | Fixed bug with splitEnv and added type instantiation | 26 January 2019, 03:52:40 UTC |
| 0cb78fa | mkolosick | 24 January 2019, 19:38:33 UTC | Added type checker debugging scaffolding | 26 January 2019, 03:52:40 UTC |
| 84cbb77 | mkolosick | 26 January 2019, 03:52:40 UTC | Added RUnrefined | 26 January 2019, 03:52:40 UTC |
| 505df6f | mkolosick | 19 January 2019, 00:43:09 UTC | Initial tests hitting failing elaboration and need to insert kvars. | 26 January 2019, 03:52:09 UTC |
| 6e5942f | mkolosick | 17 January 2019, 20:35:11 UTC | Initial type checker tests and fixed a bug with lambdas | 26 January 2019, 03:52:09 UTC |
| e888165 | mkolosick | 26 January 2019, 03:52:09 UTC | Initial implementation of elaboration | 26 January 2019, 03:52:09 UTC |
| 6068299 | Anish Tondwalkar | 25 January 2019, 08:52:18 UTC | clean up interface to ToFixpoint | 25 January 2019, 08:52:18 UTC |
| d4bbb71 | Anish Tondwalkar | 24 January 2019, 02:08:03 UTC | Translate subC to FP Horn | 24 January 2019, 02:11:27 UTC |
| 0c5cf19 | Matthew Kolosick | 15 January 2019, 21:15:01 UTC | Merge pull request #7 from ucsd-progsys/currify Merge type schemes into types and currify functions and type abstractions | 15 January 2019, 21:15:01 UTC |
| 04fe8a9 | Ranjit Jhala | 11 January 2019, 22:29:42 UTC | testS | 11 January 2019, 22:29:42 UTC |
| b8f15d2 | Anish Tondwalkar | 09 January 2019, 08:32:07 UTC | checked in doctests for CGen.synth | 09 January 2019, 08:32:07 UTC |
| 7b5c46b | Anish Tondwalkar | 09 January 2019, 08:10:32 UTC | make CGen work with Fomega | 09 January 2019, 08:10:32 UTC |
| 27585fe | mkolosick | 22 December 2018, 00:03:06 UTC | Curried everything | 22 December 2018, 00:03:06 UTC |
| eba1d56 | mkolosick | 21 December 2018, 20:40:20 UTC | Removed unneeded fresh count in CGInfo | 22 December 2018, 00:01:38 UTC |
| 82f0c3f | mkolosick | 22 December 2018, 00:01:26 UTC | Moved type schemes into types | 22 December 2018, 00:01:26 UTC |
| ac7c891 | Anish Tondwalkar | 21 December 2018, 04:03:25 UTC | CGen.app | 21 December 2018, 04:09:44 UTC |
| 7f9fa65 | mkolosick | 20 December 2018, 19:01:54 UTC | Added some unit tests of uniquify | 20 December 2018, 19:05:06 UTC |
| 10eaef9 | mkolosick | 20 December 2018, 01:05:13 UTC | Moved tests to Tests module | 20 December 2018, 19:03:12 UTC |
| 60567b8 | mkolosick | 20 December 2018, 00:27:31 UTC | Moved deriving for FreshT into the deriving clause | 20 December 2018, 00:27:47 UTC |
| 534060a | mkolosick | 20 December 2018, 00:07:59 UTC | Added transformer instances for MonadFresh | 20 December 2018, 00:07:59 UTC |
| c54597c | Anish Tondwalkar | 19 December 2018, 22:36:45 UTC | Fill out more cases in CGen - prim2 now gets a base type from the δ in Checker.hs - implemented single | 19 December 2018, 23:49:57 UTC |
| 835e0ed | mkolosick | 19 December 2018, 21:21:40 UTC | Commented on uniquify question in CGen | 19 December 2018, 21:21:40 UTC |
| ac9b644 | mkolosick | 19 December 2018, 21:21:22 UTC | Renamed Fresh.hs to Names.hs | 19 December 2018, 21:21:22 UTC |
| 040c8b0 | mkolosick | 19 December 2018, 21:15:39 UTC | Fixed warnings in Checker | 19 December 2018, 21:15:49 UTC |
| 8b528fc | Anish Tondwalkar | 19 December 2018, 21:05:25 UTC | Freshable leaves free vars alone (instead of crashing on them) | 19 December 2018, 21:05:25 UTC |
| 77db4b6 | Anish Tondwalkar | 19 December 2018, 20:45:13 UTC | Starting Subst | 19 December 2018, 20:55:49 UTC |
| 251f724 | Anish Tondwalkar | 19 December 2018, 04:57:12 UTC | make CG a a MonadFresh - export MonadFresh (..) and runFresh[T] - add instance - prim now correctly usesit to refreshVV | 19 December 2018, 20:45:42 UTC |
| dc8d3dc | mkolosick | 19 December 2018, 20:42:23 UTC | Switched CGetItem to CPrim | 19 December 2018, 20:42:23 UTC |
| 7d02430 | mkolosick | 19 December 2018, 20:23:27 UTC | Added test Utils and Integration.Tests to mist.cabal | 19 December 2018, 20:23:27 UTC |
| 7c69fef | mkolosick | 19 December 2018, 19:16:11 UTC | Fixed further typos | 19 December 2018, 19:16:11 UTC |
| aad24e4 | Anish Tondwalkar | 19 December 2018, 01:48:04 UTC | fix typo | 19 December 2018, 01:48:04 UTC |
| 7e61d53 | Anish Tondwalkar | 19 December 2018, 01:23:42 UTC | Merge pull request #5 from ucsd-progsys/fresh rewrite MonadFresh | 19 December 2018, 01:23:42 UTC |
| 9cb59ee | Anish Tondwalkar | 19 December 2018, 01:19:54 UTC | Implement Freshable typeclass | 19 December 2018, 01:19:54 UTC |
| f7a822d | Anish Tondwalkar | 18 December 2018, 23:47:35 UTC | Fresh: pop from ctx instead of specified | 19 December 2018, 00:00:39 UTC |
| 1493b7c | Anish Tondwalkar | 18 December 2018, 23:09:15 UTC | cleanup Fresh | 18 December 2018, 23:37:54 UTC |
| 49e8571 | mkolosick | 18 December 2018, 23:08:07 UTC | Added MonadFresh and FreshT. `uniqify` should now handle scoping properly. | 18 December 2018, 23:08:07 UTC |
| b6bc9f5 | Anish Tondwalkar | 18 December 2018, 06:00:42 UTC | renamed Uniqify | 18 December 2018, 21:57:23 UTC |
| be3423a | mkolosick | 18 December 2018, 19:02:15 UTC | Added type to testGroupM | 18 December 2018, 19:02:33 UTC |
| d054007 | Anish Tondwalkar | 18 December 2018, 06:55:59 UTC | Merge branch 'cgen-prim' Implement cgen-prim (but without renaming/shadowing thus far) | 18 December 2018, 06:55:59 UTC |
| ad84bd9 | Anish Tondwalkar | 18 December 2018, 06:55:18 UTC | Merge branch 'tofixpoint' Starting work on translating Mist Expr, Core, SubC to Fixpoint | 18 December 2018, 06:55:18 UTC |
| 1f58305 | Anish Tondwalkar | 14 December 2018, 05:42:57 UTC | Define interface for Uniqify | 18 December 2018, 06:51:17 UTC |
| 29617ac | Anish Tondwalkar | 18 December 2018, 06:47:33 UTC | start ToFixpoint | 18 December 2018, 06:51:17 UTC |
| 942559c | Anish Tondwalkar | 18 December 2018, 06:21:18 UTC | write CGen.prim (modulo refreshing) | 18 December 2018, 06:51:17 UTC |
| a2f193c | Anish Tondwalkar | 17 December 2018, 19:17:56 UTC | RPoly a -> RPoly Expr a | 18 December 2018, 06:51:17 UTC |
| 4ff70eb | Anish Tondwalkar | 17 December 2018, 07:22:36 UTC | RType a -> RType Expr a | 18 December 2018, 06:51:17 UTC |
| 8b55f4c | Anish Tondwalkar | 18 December 2018, 06:49:41 UTC | fill out CGen.prim for Unit | 18 December 2018, 06:51:17 UTC |
| 7ae9225 | Anish Tondwalkar | 18 December 2018, 06:47:50 UTC | start debugging CGen | 18 December 2018, 06:51:17 UTC |
| 399c1a9 | Anish Tondwalkar | 18 December 2018, 06:38:24 UTC | Merge branch 'uniq' Initial work on Uniqify.hs and the renamer | 18 December 2018, 06:38:24 UTC |
| 6639ba9 | Anish Tondwalkar | 14 December 2018, 00:40:06 UTC | pprint RPoly | 18 December 2018, 06:32:26 UTC |
| 170013c | Anish Tondwalkar | 13 December 2018, 23:59:43 UTC | added Uniqify module | 18 December 2018, 06:32:26 UTC |
| c29024b | mkolosick | 18 December 2018, 00:38:46 UTC | Created test utils file | 18 December 2018, 00:38:46 UTC |
| 7fd2c6f | mkolosick | 18 December 2018, 00:32:00 UTC | Initial splitting up of testing framework. Moved all testing implementation to tests directory. Integration tests are now managed through tests/Integration/Tests.hs | 18 December 2018, 00:32:00 UTC |
| 8fbec00 | mkolosick | 17 December 2018, 21:17:26 UTC | Changed TVar and Ctor to use Id | 17 December 2018, 21:17:26 UTC |
| d147ffe | Anish Tondwalkar | 14 December 2018, 00:40:06 UTC | pprint RPoly | 14 December 2018, 00:40:49 UTC |
| da2959c | Anish Tondwalkar | 13 December 2018, 23:59:43 UTC | added Uniqify module | 14 December 2018, 00:40:46 UTC |
| 39a5861 | Anish Tondwalkar | 13 December 2018, 01:55:39 UTC | Added liquid-fixpoint as a dependency | 13 December 2018, 01:55:39 UTC |
| 68ac0f5 | Anish Tondwalkar | 13 December 2018, 01:02:49 UTC | Add Read instance for Core | 13 December 2018, 01:02:49 UTC |
| 1b3335d | Anish Tondwalkar | 13 December 2018, 00:54:11 UTC | Added AnfCore refiement type | 13 December 2018, 00:54:11 UTC |
| dae4c1c | Anish Tondwalkar | 13 December 2018, 00:45:56 UTC | Simplified Core Core is now just Expr with two more constructors for TApp and TAbs, and with `AnnBind`s instead of `Bind`s | 13 December 2018, 00:45:56 UTC |
| fe6ec6a | Anish Tondwalkar | 12 December 2018, 23:49:13 UTC | `Sig` is polymorphic in `a` (as in `RPoly a`) | 12 December 2018, 23:49:13 UTC |
| 4dcbfa0 | Anish Tondwalkar | 09 December 2018, 05:30:55 UTC | Parse in refinements on test cases | 12 December 2018, 23:41:46 UTC |
| 081f14e | mkolosick | 12 December 2018, 01:21:49 UTC | Fixed missed name change | 12 December 2018, 01:21:49 UTC |
| 1a6d264 | mkolosick | 12 December 2018, 01:07:34 UTC | Proposed changing core to contain primitive operations of variable arity | 12 December 2018, 01:12:14 UTC |
| 1f84a81 | mkolosick | 11 December 2018, 22:08:03 UTC | Added todo about single argument functions in core | 11 December 2018, 22:08:03 UTC |
