b6407e0 | Anish Tondwalkar | 21 May 2021, 03:15:25 UTC | formatted for submission | 21 May 2021, 03:15:25 UTC |
042e097 | Anish Tondwalkar | 16 May 2021, 19:29:06 UTC | format tutorial in DARTS style | 16 May 2021, 19:29:06 UTC |
d1b9fe9 | Matthew Kolosick | 18 April 2021, 01:21:08 UTC | Typo | 18 April 2021, 01:21:08 UTC |
e48ddf0 | Anish Tondwalkar | 17 April 2021, 10:08:42 UTC | shravan feedback | 17 April 2021, 10:08:42 UTC |
effebfd | Anish Tondwalkar | 17 April 2021, 08:04:15 UTC | feedback from mario | 17 April 2021, 08:04:15 UTC |
1d0979a | Anish Tondwalkar | 17 April 2021, 06:48:18 UTC | fix typo in repo name | 17 April 2021, 06:48:18 UTC |
e4ab925 | Anish Tondwalkar | 17 April 2021, 06:14:38 UTC | text explaining descrepencies in mochi versions | 17 April 2021, 06:14:38 UTC |
ad50a7c | Anish Tondwalkar | 13 April 2021, 00:50:28 UTC | take into account alex's comments | 13 April 2021, 00:50:28 UTC |
7ef9219 | Anish Tondwalkar | 12 April 2021, 18:53:23 UTC | use Int00 instead of one.hs | 12 April 2021, 18:53:28 UTC |
79d9fb9 | Anish Tondwalkar | 12 April 2021, 18:52:38 UTC | fix line numbers | 12 April 2021, 18:52:45 UTC |
3f38b9c | Anish Tondwalkar | 12 April 2021, 18:47:31 UTC | cleaner yaml | 12 April 2021, 18:47:31 UTC |
f809023 | Anish Tondwalkar | 12 April 2021, 10:21:46 UTC | cleanup tests so they fit nicely in tutorial | 12 April 2021, 10:21:46 UTC |
457b9a8 | Anish Tondwalkar | 12 April 2021, 09:50:57 UTC | finish tutorial | 12 April 2021, 09:50:57 UTC |
e165dbc | Anish Tondwalkar | 12 April 2021, 07:10:33 UTC | Towards a mist tutorial | 12 April 2021, 07:14:43 UTC |
f7cef98 | Anish Tondwalkar | 11 April 2021, 06:40:30 UTC | update readme: start on tutorial | 11 April 2021, 06:40:30 UTC |
9fb1a2b | Anish Tondwalkar | 10 April 2021, 00:02:11 UTC | format for generating pdf | 10 April 2021, 00:04:28 UTC |
d47a554 | Matthew Kolosick | 09 April 2021, 17:57:37 UTC | Added cd into mist directory | 09 April 2021, 17:57:37 UTC |
94f95e5 | Anish Tondwalkar | 09 April 2021, 09:49:12 UTC | update README | 09 April 2021, 10:08:36 UTC |
ae0affe | Anish Tondwalkar | 08 April 2021, 23:27:42 UTC | removed mochi temp files | 08 April 2021, 23:30:52 UTC |
6a1971f | Anish Tondwalkar | 07 April 2021, 05:19:13 UTC | Move tests | 07 April 2021, 05:19:13 UTC |
f9d790d | Anish Tondwalkar | 07 April 2021, 05:16:38 UTC | Dockerize mochi | 07 April 2021, 05:16:38 UTC |
84c816f | Anish Tondwalkar | 05 April 2021, 23:33:35 UTC | add Fstar to docker image | 05 April 2021, 23:33:35 UTC |
e7ac2e6 | Anish Tondwalkar | 04 April 2021, 06:02:51 UTC | Added dockerfile | 04 April 2021, 19:19:12 UTC |
92b5cd1 | Anish Tondwalkar | 04 April 2021, 07:33:51 UTC | add stack.yaml.lock | 04 April 2021, 19:19:12 UTC |
0a9345e | mkolosick | 14 May 2020, 17:33:56 UTC | Better pagination tokens | 14 May 2020, 17:33:56 UTC |
5963c0e | mkolosick | 23 April 2020, 23:57:54 UTC | Remove unnecessary map from paginationTokens | 23 April 2020, 23:57:54 UTC |
5a23fd2 | mkolosick | 23 April 2020, 23:35:22 UTC | F* done the F* way | 23 April 2020, 23:35:22 UTC |
d1c9de0 | mkolosick | 22 April 2020, 19:24:37 UTC | mapA for Tick applicative | 22 April 2020, 19:24:37 UTC |
cda4560 | Anish Tondwalkar | 16 March 2020, 20:43:43 UTC | fix tests | 16 March 2020, 20:43:43 UTC |
8d287eb | mkolosick | 02 March 2020, 23:01:12 UTC | More mochi | 02 March 2020, 23:01:12 UTC |
a2b5559 | mkolosick | 02 March 2020, 07:42:11 UTC | Mochi tests in progress | 02 March 2020, 07:42:11 UTC |
e494a2f | mkolosick | 02 March 2020, 07:41:39 UTC | Updated fstar incr | 02 March 2020, 07:41:39 UTC |
d8391ff | mkolosick | 26 February 2020, 02:54:16 UTC | Adding fstar tests | 26 February 2020, 02:54:16 UTC |
9a832b4 | Anish Tondwalkar | 26 February 2020, 00:17:51 UTC | oops | 26 February 2020, 00:17:51 UTC |
dc49dfd | Anish Tondwalkar | 26 February 2020, 00:07:03 UTC | Added emptySet and intersection primOps | 26 February 2020, 00:07:03 UTC |
c915c9c | mkolosick | 23 November 2019, 02:43:12 UTC | mochi-d2 and mochi-d3 | 23 November 2019, 02:43:12 UTC |
314ec0f | mkolosick | 23 November 2019, 01:43:04 UTC | app-succ and app-succ0 | 23 November 2019, 01:43:04 UTC |
340b80e | mkolosick | 23 November 2019, 01:29:11 UTC | app-succ and repeat | 23 November 2019, 01:29:11 UTC |
f6db5fa | mkolosick | 22 November 2019, 01:57:45 UTC | Repeat is back | 22 November 2019, 01:57:45 UTC |
242582c | mkolosick | 22 November 2019, 01:44:02 UTC | mochi-d2 | 22 November 2019, 01:44:25 UTC |
bea7946 | mkolosick | 22 November 2019, 01:36:31 UTC | Move mochi d2 to neg | 22 November 2019, 01:44:25 UTC |
347be3b | Anish Tondwalkar | 22 November 2019, 01:36:28 UTC | added mochi tests | 22 November 2019, 01:36:28 UTC |
80cebdd | mkolosick | 20 November 2019, 05:47:01 UTC | Tick tick doesn't work | 20 November 2019, 05:47:01 UTC |
6f5b475 | mkolosick | 20 November 2019, 05:37:09 UTC | Omega isn't loop | 20 November 2019, 05:37:09 UTC |
093ff88 | mkolosick | 20 November 2019, 05:34:36 UTC | Tick tock 3: some real ticks and tocks | 20 November 2019, 05:34:36 UTC |
942eb2f | mkolosick | 20 November 2019, 03:19:40 UTC | Minor changes | 20 November 2019, 03:19:40 UTC |
0545284 | Anish Tondwalkar | 20 November 2019, 03:18:38 UTC | add some of the tests from mochi | 20 November 2019, 03:18:38 UTC |
68d3acd | mkolosick | 19 November 2019, 07:26:18 UTC | Actual unbounded loop: DOES NOT WORK YET | 19 November 2019, 07:26:18 UTC |
2836ad7 | mkolosick | 19 November 2019, 05:36:34 UTC | Removed printing | 19 November 2019, 05:36:34 UTC |
9a417f5 | mkolosick | 19 November 2019, 01:47:25 UTC | Full looping for | 19 November 2019, 01:47:25 UTC |
91f9eff | mkolosick | 19 November 2019, 00:35:44 UTC | Automatically unpacking sigmas | 19 November 2019, 00:35:44 UTC |
0d76623 | Anish Tondwalkar | 18 November 2019, 21:46:22 UTC | Wrote sigma-elaborator | 18 November 2019, 21:46:22 UTC |
fb48833 | Anish Tondwalkar | 18 November 2019, 21:45:54 UTC | cleanup and hygiene | 18 November 2019, 21:45:54 UTC |
09636e9 | mkolosick | 18 November 2019, 05:41:12 UTC | Initial ANF sigma work | 18 November 2019, 05:41:12 UTC |
19db75a | mkolosick | 16 November 2019, 08:40:55 UTC | Fixed polymorphism bug | 16 November 2019, 08:50:42 UTC |
4350cd5 | mkolosick | 16 November 2019, 07:00:22 UTC | Switched to sigmas on some examples | 16 November 2019, 07:00:22 UTC |
7886cde | mkolosick | 16 November 2019, 06:24:57 UTC | Fixed freshRType bug | 16 November 2019, 06:24:57 UTC |
49bb9d0 | mkolosick | 13 November 2019, 19:53:32 UTC | Added RIFun to freshRType | 13 November 2019, 19:56:36 UTC |
5c0120a | mkolosick | 11 November 2019, 17:54:16 UTC | Pagination with tokens | 13 November 2019, 19:56:36 UTC |
301208f | mkolosick | 11 November 2019, 06:30:06 UTC | More interesting forSigma test | 13 November 2019, 19:56:36 UTC |
0b071dc | mkolosick | 11 November 2019, 06:13:23 UTC | Added implicit sigma types. Test and usage are in pos/forSigma.hs | 13 November 2019, 19:56:36 UTC |
ca8def0 | mkolosick | 09 November 2019, 04:42:49 UTC | Removed unneeded implicits | 13 November 2019, 19:56:36 UTC |
e0df534 | mkolosick | 09 November 2019, 04:11:29 UTC | Fixed typo in forSigma | 13 November 2019, 19:56:36 UTC |
3063e0e | mkolosick | 09 November 2019, 01:27:07 UTC | WIP on forSigma | 13 November 2019, 19:56:36 UTC |
66181ea | Anish Tondwalkar | 09 November 2019, 01:07:19 UTC | Support for Higher-Rank Types you need double parens (see hrts.hs) | 13 November 2019, 19:56:36 UTC |
12b8e31 | mkolosick | 09 November 2019, 00:04:13 UTC | Pagination tokens | 13 November 2019, 19:56:36 UTC |
f791d87 | mkolosick | 08 November 2019, 00:40:29 UTC | Removing ANF | 13 November 2019, 19:56:36 UTC |
dca1c45 | mkolosick | 06 November 2019, 23:14:02 UTC | Commit before disabling ANF | 13 November 2019, 19:56:36 UTC |
ecf9dd9 | mkolosick | 05 November 2019, 01:07:29 UTC | Removed strengthening | 13 November 2019, 19:56:36 UTC |
d6c8677 | Anish Tondwalkar | 08 November 2019, 23:20:16 UTC | Add partial pagination3 | 08 November 2019, 23:20:40 UTC |
b52fffe | mkolosick | 01 November 2019, 18:17:40 UTC | Updated pure in tests | 01 November 2019, 18:17:40 UTC |
883df18 | mkolosick | 29 October 2019, 22:35:08 UTC | CPS script | 29 October 2019, 22:35:08 UTC |
082f610 | mkolosick | 22 October 2019, 21:56:49 UTC | Refixed parser | 22 October 2019, 21:56:49 UTC |
a90a8af | mkolosick | 21 October 2019, 18:24:24 UTC | More tests | 22 October 2019, 21:46:04 UTC |
f59c0b0 | mkolosick | 21 October 2019, 18:23:13 UTC | Merge commit of some sort | 22 October 2019, 21:46:04 UTC |
e7cedf6 | mkolosick | 21 October 2019, 17:47:01 UTC | shillSet experiments | 22 October 2019, 21:46:04 UTC |
5f94d69 | Anish Tondwalkar | 21 October 2019, 18:07:18 UTC | added TCP client example | 21 October 2019, 18:07:18 UTC |
f9d43a2 | Anish Tondwalkar | 20 October 2019, 05:17:02 UTC | run tests with setVerbosity Quiet | 20 October 2019, 06:22:20 UTC |
23ef471 | Anish Tondwalkar | 18 October 2019, 19:01:34 UTC | Update to ticktock3 Add send/recv channels and prove that unreachable states are unreachable | 18 October 2019, 19:01:34 UTC |
c56ef6c | Anish Tondwalkar | 17 October 2019, 21:33:07 UTC | Added twoPhaseCommit | 17 October 2019, 21:33:07 UTC |
ce240b3 | Anish Tondwalkar | 17 October 2019, 02:31:05 UTC | added ticktock and pagination | 17 October 2019, 02:31:23 UTC |
f1d86f3 | Anish Tondwalkar | 17 October 2019, 00:20:03 UTC | Read verbosity from command line instead of statically specifying it | 17 October 2019, 02:31:23 UTC |
3050d85 | mkolosick | 14 October 2019, 18:56:59 UTC | Added or and implication | 14 October 2019, 18:56:59 UTC |
a139996 | Anish Tondwalkar | 11 October 2019, 00:38:30 UTC | idr_login finally works! | 11 October 2019, 00:38:30 UTC |
5570953 | Anish Tondwalkar | 20 September 2019, 20:16:26 UTC | edits to idr_login | 20 September 2019, 20:16:26 UTC |
6aae376 | mkolosick | 12 September 2019, 21:34:45 UTC | Added implicit lambda term former | 12 September 2019, 21:35:20 UTC |
8ca0371 | Anish Tondwalkar | 12 September 2019, 20:30:00 UTC | More work on idr examples - login example runs into strange bug in Checker articulation - intro example works, but need to make all types to Int to make FP happy | 12 September 2019, 20:30:00 UTC |
5c17971 | Anish Tondwalkar | 10 September 2019, 18:29:33 UTC | Added test for renamer bug implicit args are in scope in the body in cgen, which is correct, but not in the renamer | 10 September 2019, 18:29:33 UTC |
6787ad4 | Anish Tondwalkar | 10 September 2019, 06:58:30 UTC | First go at some real error messages Currently we print the bare refinement post-uniqify and freshening, but without the kvar sols having been applied, so that could definitely be improved upon | 10 September 2019, 06:58:30 UTC |
cd20f0c | mkolosick | 09 September 2019, 21:24:19 UTC | Fixed for.hs todo test. Needed to pull loop invariant into constraint on implicit parameter of callback. | 09 September 2019, 21:24:19 UTC |
1a405c6 | Anish Tondwalkar | 09 September 2019, 20:12:25 UTC | Added todo/for case with refinement on iter index | 09 September 2019, 20:12:25 UTC |
9d7c337 | mkolosick | 29 August 2019, 18:36:54 UTC | - Fixed subtyping for constructors in Checker. - Made existential instantiation more robust. | 29 August 2019, 18:36:54 UTC |
c9b4d70 | mkolosick | 26 August 2019, 22:42:02 UTC | Fixed set annotations in shillSet | 26 August 2019, 22:42:02 UTC |
5ea1864 | mkolosick | 26 August 2019, 20:40:22 UTC | Fixed parsing of annotated lets and added negative test | 26 August 2019, 20:40:22 UTC |
ad522c2 | Anish Tondwalkar | 21 August 2019, 03:39:42 UTC | Annotated let binders | 21 August 2019, 03:43:02 UTC |
22dbb0e | Anish Tondwalkar | 21 August 2019, 01:06:17 UTC | correctly serialize type constructors to FP | 21 August 2019, 01:06:17 UTC |
579b1dc | Anish Tondwalkar | 19 August 2019, 09:38:42 UTC | Better parse errors | 19 August 2019, 09:38:42 UTC |
a62e4b2 | Anish Tondwalkar | 19 August 2019, 08:45:23 UTC | Update to lts-14.0 includes megaparsec 6 -> 7 migration, which changes the API for error messages and source positions also update fixpoint to to be on same lts | 19 August 2019, 08:45:23 UTC |
71eb919 | mkolosick | 15 August 2019, 23:20:00 UTC | Better formatted error messages from solver failures | 15 August 2019, 23:20:00 UTC |
b681213 | mkolosick | 15 August 2019, 23:08:18 UTC | Fixed printf format string | 15 August 2019, 23:08:18 UTC |