swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6

sort by:
Revision Author Date Message Commit Date
4a1013f All fixpoint tests not relying on If pass 20 February 2019, 00:00:43 UTC
144445d Collected kvars 19 February 2019, 23:36:22 UTC
4a0a6b4 Fixed and integrated uniquify 19 February 2019, 23:00:19 UTC
d4fea5e WIP on CGen 19 February 2019, 22:22:10 UTC
539139b Work in progress (failing tests) 09 February 2019, 01:01:15 UTC
5faaa2d Run the whole pipeline bit of gore, but tests pass! 29 January 2019, 08:44:31 UTC
e38a637 insert KVars 29 January 2019, 08:27:49 UTC
e76f4e1 start rewrite of CGen 29 January 2019, 02:39:55 UTC
3e97fc9 Merge pull request #8 from ucsd-progsys/elaboration Elaboration 29 January 2019, 02:34:52 UTC
58e8e5f Added todo for RUnrefined cases 26 January 2019, 03:54:44 UTC
608a273 Hooked elaboration into the running of Mist 26 January 2019, 03:52:40 UTC
28aaacd Fixed bug in mkArrow 26 January 2019, 03:52:40 UTC
e382a04 edits to documentation for RUnrefined 26 January 2019, 03:52:40 UTC
0375ea3 Added test of let generalization of non recursive lambda 26 January 2019, 03:52:40 UTC
dbe6509 Added test to ensure correct ordering of multiple type applications 26 January 2019, 03:52:40 UTC
a2ec697 Fixed bug with splitEnv and added type instantiation 26 January 2019, 03:52:40 UTC
0cb78fa Added type checker debugging scaffolding 26 January 2019, 03:52:40 UTC
84cbb77 Added RUnrefined 26 January 2019, 03:52:40 UTC
505df6f Initial tests hitting failing elaboration and need to insert kvars. 26 January 2019, 03:52:09 UTC
6e5942f Initial type checker tests and fixed a bug with lambdas 26 January 2019, 03:52:09 UTC
e888165 Initial implementation of elaboration 26 January 2019, 03:52:09 UTC
6068299 clean up interface to ToFixpoint 25 January 2019, 08:52:18 UTC
d4bbb71 Translate subC to FP Horn 24 January 2019, 02:11:27 UTC
0c5cf19 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 testS 11 January 2019, 22:29:42 UTC
b8f15d2 checked in doctests for CGen.synth 09 January 2019, 08:32:07 UTC
7b5c46b make CGen work with Fomega 09 January 2019, 08:10:32 UTC
27585fe Curried everything 22 December 2018, 00:03:06 UTC
eba1d56 Removed unneeded fresh count in CGInfo 22 December 2018, 00:01:38 UTC
82f0c3f Moved type schemes into types 22 December 2018, 00:01:26 UTC
ac7c891 CGen.app 21 December 2018, 04:09:44 UTC
7f9fa65 Added some unit tests of uniquify 20 December 2018, 19:05:06 UTC
10eaef9 Moved tests to Tests module 20 December 2018, 19:03:12 UTC
60567b8 Moved deriving for FreshT into the deriving clause 20 December 2018, 00:27:47 UTC
534060a Added transformer instances for MonadFresh 20 December 2018, 00:07:59 UTC
c54597c 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 Commented on uniquify question in CGen 19 December 2018, 21:21:40 UTC
ac9b644 Renamed Fresh.hs to Names.hs 19 December 2018, 21:21:22 UTC
040c8b0 Fixed warnings in Checker 19 December 2018, 21:15:49 UTC
8b528fc Freshable leaves free vars alone (instead of crashing on them) 19 December 2018, 21:05:25 UTC
77db4b6 Starting Subst 19 December 2018, 20:55:49 UTC
251f724 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 Switched CGetItem to CPrim 19 December 2018, 20:42:23 UTC
7d02430 Added test Utils and Integration.Tests to mist.cabal 19 December 2018, 20:23:27 UTC
7c69fef Fixed further typos 19 December 2018, 19:16:11 UTC
aad24e4 fix typo 19 December 2018, 01:48:04 UTC
7e61d53 Merge pull request #5 from ucsd-progsys/fresh rewrite MonadFresh 19 December 2018, 01:23:42 UTC
9cb59ee Implement Freshable typeclass 19 December 2018, 01:19:54 UTC
f7a822d Fresh: pop from ctx instead of specified 19 December 2018, 00:00:39 UTC
1493b7c cleanup Fresh 18 December 2018, 23:37:54 UTC
49e8571 Added MonadFresh and FreshT. `uniqify` should now handle scoping properly. 18 December 2018, 23:08:07 UTC
b6bc9f5 renamed Uniqify 18 December 2018, 21:57:23 UTC
be3423a Added type to testGroupM 18 December 2018, 19:02:33 UTC
d054007 Merge branch 'cgen-prim' Implement cgen-prim (but without renaming/shadowing thus far) 18 December 2018, 06:55:59 UTC
ad84bd9 Merge branch 'tofixpoint' Starting work on translating Mist Expr, Core, SubC to Fixpoint 18 December 2018, 06:55:18 UTC
1f58305 Define interface for Uniqify 18 December 2018, 06:51:17 UTC
29617ac start ToFixpoint 18 December 2018, 06:51:17 UTC
942559c write CGen.prim (modulo refreshing) 18 December 2018, 06:51:17 UTC
a2f193c RPoly a -> RPoly Expr a 18 December 2018, 06:51:17 UTC
4ff70eb RType a -> RType Expr a 18 December 2018, 06:51:17 UTC
8b55f4c fill out CGen.prim for Unit 18 December 2018, 06:51:17 UTC
7ae9225 start debugging CGen 18 December 2018, 06:51:17 UTC
399c1a9 Merge branch 'uniq' Initial work on Uniqify.hs and the renamer 18 December 2018, 06:38:24 UTC
6639ba9 pprint RPoly 18 December 2018, 06:32:26 UTC
170013c added Uniqify module 18 December 2018, 06:32:26 UTC
c29024b Created test utils file 18 December 2018, 00:38:46 UTC
7fd2c6f 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 Changed TVar and Ctor to use Id 17 December 2018, 21:17:26 UTC
d147ffe pprint RPoly 14 December 2018, 00:40:49 UTC
da2959c added Uniqify module 14 December 2018, 00:40:46 UTC
39a5861 Added liquid-fixpoint as a dependency 13 December 2018, 01:55:39 UTC
68ac0f5 Add Read instance for Core 13 December 2018, 01:02:49 UTC
1b3335d Added AnfCore refiement type 13 December 2018, 00:54:11 UTC
dae4c1c 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 `Sig` is polymorphic in `a` (as in `RPoly a`) 12 December 2018, 23:49:13 UTC
4dcbfa0 Parse in refinements on test cases 12 December 2018, 23:41:46 UTC
081f14e Fixed missed name change 12 December 2018, 01:21:49 UTC
1a6d264 Proposed changing core to contain primitive operations of variable arity 12 December 2018, 01:12:14 UTC
1f84a81 Added todo about single argument functions in core 11 December 2018, 22:08:03 UTC
e0cd1b3 Renamed CBind to AnnBind because RTypes use bindings 03 December 2018, 18:53:07 UTC
e6ecdb1 cleanup Parser warnings 02 December 2018, 22:28:23 UTC
3c35e01 Sketch constraint generation 02 December 2018, 22:20:36 UTC
0957828 Start work on cgen 02 December 2018, 12:44:22 UTC
bcf9c10 Parse refined functions 02 December 2018, 11:02:05 UTC
2806e6a Added .gitignore 02 December 2018, 11:02:05 UTC
b8f40bf parsing refinements on constants 02 December 2018, 11:02:05 UTC
0311a15 parser: StateT for fresh 02 December 2018, 11:02:05 UTC
b743f86 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 parse BarePoly = RType SourceSpan 28 November 2018, 23:25:09 UTC
1315eae made tests pass 28 November 2018, 22:56:56 UTC
4045e32 Started work on parser 28 November 2018, 22:48:27 UTC
d8bc9cd No unrefined RTypes 27 November 2018, 19:57:23 UTC
ae180ac Added RType data definition 21 November 2018, 01:23:31 UTC
b078ff2 Cleanup Types.hs 21 November 2018, 01:01:05 UTC
9afa413 added Core datatype 20 November 2018, 22:56:48 UTC
a627edd Rename Skip to Unit 20 November 2018, 21:33:08 UTC
3b28329 Asd 24 October 2018, 20:57:15 UTC
a03e927 Merge pull request #1 from themattchan/master cleanup `walkDirectory` 24 October 2018, 20:45:20 UTC
bd25369 oops 24 October 2018, 20:44:05 UTC
487b37e foo 24 October 2018, 19:06:40 UTC
back to top