4d368ea | mkolosick | 25 April 2019, 21:40:32 UTC | Whitespace and new test | 25 April 2019, 21:40:32 UTC |
7b41627 | mkolosick | 23 April 2019, 20:32:59 UTC | Fixed incrState syntax | 23 April 2019, 20:32:59 UTC |
da4119b | Anish Tondwalkar | 23 April 2019, 20:23:03 UTC | oops commited the wrong file | 23 April 2019, 20:23:03 UTC |
4460a0b | Anish Tondwalkar | 23 April 2019, 20:19:19 UTC | Cgen RApp <: RApp case | 23 April 2019, 20:19:19 UTC |
0411239 | Anish Tondwalkar | 23 April 2019, 20:16:49 UTC | Fixed error by squashing higher-order kvar params | 23 April 2019, 20:16:49 UTC |
8d56902 | Anish Tondwalkar | 23 April 2019, 19:42:02 UTC | Make grammar less strange We don't need to surround all applications in parentheses, just ones at the end of an expresssion (so that we can tell where an expression ends) | 23 April 2019, 20:06:01 UTC |
6eb06a3 | mkolosick | 23 April 2019, 20:01:00 UTC | Fixed annotation in synthesizeSpine | 23 April 2019, 20:01:00 UTC |
d32554a | mkolosick | 23 April 2019, 20:00:19 UTC | Improved printing of type application | 23 April 2019, 20:00:19 UTC |
72b4dc7 | mkolosick | 23 April 2019, 20:00:07 UTC | Partially corrected temporary cgen error printing | 23 April 2019, 20:00:07 UTC |
41444b0 | Anish Tondwalkar | 23 April 2019, 16:07:29 UTC | Update testcases - pair now tests polymorphic function application (and fails in checker) - incrState no longer uses 0-ary get | 23 April 2019, 16:07:29 UTC |
b35700f | Anish Tondwalkar | 15 April 2019, 18:17:30 UTC | fresh RType on CTor | 15 April 2019, 18:17:30 UTC |
c470669 | Anish Tondwalkar | 15 April 2019, 06:12:15 UTC | Type's Ctor now keeps track of variances TODO: This commit also fucks the Ctor ToFixpoint, but I don't think that ever really worked right. We had a hack there involving TMap, but now we're just making them all TInt | 15 April 2019, 06:12:15 UTC |
4237f49 | Anish Tondwalkar | 12 April 2019, 16:12:03 UTC | Parser: Refactored RFun and RIFun into one parser | 12 April 2019, 16:12:03 UTC |
c7b763d | Anish Tondwalkar | 12 April 2019, 04:12:30 UTC | Progress Towards Typechecking incrState | 12 April 2019, 04:12:30 UTC |
ebcd665 | mkolosick | 10 April 2019, 21:38:23 UTC | Fixed incr00 test syntax | 10 April 2019, 21:38:23 UTC |
c0a5ea6 | mkolosick | 10 April 2019, 21:25:33 UTC | Changed printing of errors in runMist | 10 April 2019, 21:38:03 UTC |
6c3602d | mkolosick | 10 April 2019, 20:58:43 UTC | Added single equal as other equality operator | 10 April 2019, 20:58:43 UTC |
195dd5b | mkolosick | 10 April 2019, 20:57:07 UTC | Fixed parse error | 10 April 2019, 20:57:07 UTC |
adbba40 | Anish Tondwalkar | 10 April 2019, 20:24:07 UTC | Added tycon tests | 10 April 2019, 20:24:07 UTC |
9d3d6c6 | Anish Tondwalkar | 04 April 2019, 23:46:44 UTC | more parser tweaks | 04 April 2019, 23:46:44 UTC |
0070386 | Anish Tondwalkar | 04 April 2019, 23:11:54 UTC | Tweaked Expression Parser | 04 April 2019, 23:11:54 UTC |
c11f653 | Anish Tondwalkar | 03 April 2019, 20:33:35 UTC | propogate assumes | 03 April 2019, 21:09:16 UTC |
4cd10cd | Anish Tondwalkar | 01 April 2019, 23:35:42 UTC | parse Ctor with variance | 01 April 2019, 23:35:42 UTC |
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 |