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 |
e0cd1b3 | mkolosick | 03 December 2018, 18:53:07 UTC | Renamed CBind to AnnBind because RTypes use bindings | 03 December 2018, 18:53:07 UTC |
e6ecdb1 | Anish Tondwalkar | 02 December 2018, 22:28:23 UTC | cleanup Parser warnings | 02 December 2018, 22:28:23 UTC |
3c35e01 | Anish Tondwalkar | 02 December 2018, 22:16:31 UTC | Sketch constraint generation | 02 December 2018, 22:20:36 UTC |
0957828 | Anish Tondwalkar | 02 December 2018, 12:44:22 UTC | Start work on cgen | 02 December 2018, 12:44:22 UTC |
bcf9c10 | Anish Tondwalkar | 02 December 2018, 10:40:48 UTC | Parse refined functions | 02 December 2018, 11:02:05 UTC |
2806e6a | Anish Tondwalkar | 02 December 2018, 07:20:45 UTC | Added .gitignore | 02 December 2018, 11:02:05 UTC |
b8f40bf | Anish Tondwalkar | 02 December 2018, 06:02:16 UTC | parsing refinements on constants | 02 December 2018, 11:02:05 UTC |
0311a15 | Anish Tondwalkar | 02 December 2018, 05:36:13 UTC | parser: StateT for fresh | 02 December 2018, 11:02:05 UTC |
b743f86 | mkolosick | 30 November 2018, 18:34:56 UTC | Changed Core to require only bindings to be annotated. Additionally added a primitive identifier for eliminators, primitive operations, unit, and the like. | 30 November 2018, 18:34:56 UTC |
4c1aca9 | Anish Tondwalkar | 28 November 2018, 23:25:09 UTC | parse BarePoly = RType SourceSpan | 28 November 2018, 23:25:09 UTC |
1315eae | Anish Tondwalkar | 28 November 2018, 22:56:56 UTC | made tests pass | 28 November 2018, 22:56:56 UTC |
4045e32 | mkolosick | 28 November 2018, 22:48:27 UTC | Started work on parser | 28 November 2018, 22:48:27 UTC |
d8bc9cd | Anish Tondwalkar | 27 November 2018, 19:57:23 UTC | No unrefined RTypes | 27 November 2018, 19:57:23 UTC |
ae180ac | Anish Tondwalkar | 21 November 2018, 01:18:01 UTC | Added RType data definition | 21 November 2018, 01:23:31 UTC |
b078ff2 | Anish Tondwalkar | 21 November 2018, 01:01:05 UTC | Cleanup Types.hs | 21 November 2018, 01:01:05 UTC |
9afa413 | Anish Tondwalkar | 20 November 2018, 22:56:48 UTC | added Core datatype | 20 November 2018, 22:56:48 UTC |
a627edd | Anish Tondwalkar | 20 November 2018, 21:33:08 UTC | Rename Skip to Unit | 20 November 2018, 21:33:08 UTC |
3b28329 | Ranjit Jhala | 24 October 2018, 20:57:15 UTC | Asd | 24 October 2018, 20:57:15 UTC |
a03e927 | Ranjit Jhala | 24 October 2018, 20:45:20 UTC | Merge pull request #1 from themattchan/master cleanup `walkDirectory` | 24 October 2018, 20:45:20 UTC |
bd25369 | Ranjit Jhala | 24 October 2018, 20:44:05 UTC | oops | 24 October 2018, 20:44:05 UTC |
487b37e | Matthew Chan | 24 October 2018, 19:06:40 UTC | foo | 24 October 2018, 19:06:40 UTC |