mpri-funcprog-project

tobast/mpri-funcprog-project

Fork 0

Commit graph

6339662cec Write markdown report master deadline Théophile Bastian 2018-02-17 00:40:08 +0100
323302c6e5 Add a naive constant propagation pass Théophile Bastian 2018-02-16 20:53:43 +0100
9f1e32e92c Remove wrong TODOs Théophile Bastian 2018-02-16 18:40:12 +0100
1b231338b4 Update tests repo Théophile Bastian 2018-02-16 18:33:26 +0100
58cc468ca3 Clean unused values from pattern matching Théophile Bastian 2018-02-16 18:25:09 +0100
a194e327d0 Properly handle binary operators Théophile Bastian 2018-02-16 18:20:33 +0100
dd3c7e6786 Light CPS: cleaner error when lightening non-value Théophile Bastian 2018-02-16 16:06:36 +0100
804f2e7c5b Light CPS: implement lambdas Théophile Bastian 2018-02-16 15:29:36 +0100
a7f19221d0 Lighter CPS: first tentative version Théophile Bastian 2018-02-16 15:00:01 +0100
0663d7fa10 Use shared tests repository instead of src/tests Théophile Bastian 2018-02-16 18:27:02 +0100
86b097171e Update tests_shared Théophile Bastian 2018-02-16 18:05:17 +0100
251bfd4b7d Fix multi_args.lambda Théophile Bastian 2018-02-16 18:04:34 +0100
0939615350 Use shared tests Théophile Bastian 2018-02-16 17:58:30 +0100
b0cd872baf Make NotValue more explicit Théophile Bastian 2018-02-16 15:43:01 +0100
3ca59d6975 Add test for redefinition of variables Théophile Bastian 2018-02-16 15:29:58 +0100
63f8b6b61a VarVarBind: add missing cleaning sub-calls Théophile Bastian 2018-02-16 15:10:03 +0100
b1e82638b2 VarVarBind: fix non-transitivity Théophile Bastian 2018-02-16 15:01:06 +0100
0a4d788513 Fix unix permissions for exp test files Théophile Bastian 2018-02-16 13:11:43 +0100
5c6f538f9e Add a test for partial evaluation Théophile Bastian 2018-02-16 02:58:08 +0100
9a1b6fb177 Update what's done and to do Théophile Bastian 2018-02-16 02:55:12 +0100
10ef4c6074 Remove var-var bindings after defun Théophile Bastian 2018-02-16 02:45:40 +0100
2319414786 Fix rec_fibo's syntax — now works perfectly Théophile Bastian 2018-02-16 02:06:45 +0100
a67b0ee1c3 Add two passing tests Théophile Bastian 2018-02-16 01:58:24 +0100
450595ab57 Add complicated recursion and nesting -- fail Théophile Bastian 2018-02-16 01:40:23 +0100
c84a1ac169 Fix: recursive functions correctly defunctionalized Théophile Bastian 2018-02-16 01:29:01 +0100
29a2ef43a1 Fix: self is no longer considered free var Théophile Bastian 2018-02-16 01:13:06 +0100
6f75134474 Add test rec_factorial (computes 7!) -- fails Théophile Bastian 2018-02-16 01:09:21 +0100
ca790364b6 Add test if_func_branch add_ifzero Théophile Bastian 2018-02-16 00:59:39 +0100
faa31d90dd Add test if_func Théophile Bastian 2018-02-16 00:56:35 +0100
7c6e2e390e Fix C code production, add ifzero basic test Théophile Bastian 2018-02-16 00:52:07 +0100
3141ce6fde Implement IfZero everywhere, untested Théophile Bastian 2018-02-16 00:43:44 +0100
2a65d41cd8 Add IfZero construct to lexer + parser Théophile Bastian 2018-02-16 00:21:29 +0100
7bc7921fc3 Add IfZero in the syntax + placeholders Théophile Bastian 2018-02-16 00:19:44 +0100
b00976d359 Fix scope error in CPS application pass_base_tests Théophile Bastian 2018-02-15 22:43:15 +0100
38148932f7 Fix pretty printer line breaks at toplevel Théophile Bastian 2018-02-15 22:28:26 +0100
324e32c15e Add option --light-debug Théophile Bastian 2018-02-15 22:19:14 +0100
6c5580d550 Explicit exit continuation's name Théophile Bastian 2018-02-15 22:02:04 +0100
2643118045 Add pretty printer for Top Théophile Bastian 2018-02-15 22:01:46 +0100
67701ea721 Refactor PrettyTail parts into PrettyCommon Théophile Bastian 2018-02-15 22:01:14 +0100
3262846faf Add human-readable pretty printer for Tail Théophile Bastian 2018-02-15 21:26:15 +0100
4ec822cfda Add test simple_call Théophile Bastian 2018-02-15 19:46:16 +0100
438a875cea Attempt to have better variable names in CPS Théophile Bastian 2018-01-29 15:46:53 +0100
4419abf57d Fix free vars of a lambda in Defun Théophile Bastian 2018-01-29 15:46:34 +0100
2e5e691cfe First try for defun, produces bad code Théophile Bastian 2018-01-22 12:29:59 +0100
d0ff07998f Prevent IDs in variables from being trimmed Théophile Bastian 2018-01-18 16:03:29 +0100
6619941770 First attempt to implement CPS naively Théophile Bastian 2018-01-17 17:15:23 +0100
3b5c4cb996 Keep only project-related files; reroot to project/ project_start Théophile Bastian 2017-12-19 13:35:04 +0100
a6a49201be Merge remote-tracking branch 'upstream/master' Théophile Bastian 2017-12-19 13:34:12 +0100
8ea0250e67 Initial commit Théophile Bastian 2017-12-19 13:30:32 +0100
6055421bdc Merge branch 'master' of gitlab.inria.fr:fpottier/mpri-2.4-public REMY Didier 2017-12-19 09:55:27 +0100
407f13862b Partiel 2017 REMY Didier 2017-12-19 09:55:02 +0100
00ebc63544 Rename projet to project. François Pottier 2017-12-13 14:10:41 +0100
36df95f02f Makefile. François Pottier 2017-12-13 14:09:19 +0100
4de6bf8544 README update. François Pottier 2017-12-13 14:08:29 +0100
19ff31e4c9 Publish the project. François Pottier 2017-12-13 14:04:28 +0100
0ee19236b0 Slides cours YRG-1. Yann Regis-Gianas 2017-12-13 10:26:29 +0100
ea28092e57 Update part 3 syllabus. Yann Regis-Gianas 2017-12-01 09:50:23 +0100
61142fa289 12<-1 REMY Didier 2017-11-29 16:28:14 +0100
20664156ac Remove pointer to my own page. REMY Didier 2017-11-23 18:06:30 +0100
f36225d1f5 Correction de l'ancre pour l'examen de 2010 REMY Didier 2017-11-14 16:46:09 +0100
ade3a69b24 Removing comment REMY Didier 2017-11-10 08:10:59 +0100
8d9111b95e Removing blank line REMY Didier 2017-11-10 08:04:53 +0100
828f05db8b Change of topic for lesson 4 REMY Didier 2017-11-09 22:45:38 +0100
a76342ee27 Merge branch 'master' of gitlab.inria.fr:fpottier/mpri-2.4-public REMY Didier 2017-11-09 22:42:13 +0100
739d28c3da Cours 4. REMY Didier 2017-11-09 22:41:47 +0100
471edc10c5 Fix a couple issues in the slides of amphi 05. François Pottier 2017-11-07 10:29:12 +0100
da4900bdf5 handout REMY Didier 2017-11-01 17:34:39 +0100
c8961ac162 Exams, dates and documents allowed. REMY Didier 2017-10-31 10:03:09 +0100
0f340ed1fd lecture 3 REMY Didier 2017-10-29 16:50:40 +0100
aee8182a5c Anchor for Lecture 3. REMY Didier 2017-10-29 16:48:50 +0100
50b685a8d6 Anchor for lecture 3. REMY Didier 2017-10-29 16:44:50 +0100
bacf138196 fixing ). REMY Didier 2017-10-29 16:43:39 +0100
1f4d3ff456 Adding anchors lecture 2 of Remy's course REMY Didier 2017-10-29 16:42:23 +0100
1abcc4dc85 - Adding anchors for Remy's lecture 2 - Adding Makefile to produce README.html from README.md so that we can see the output in a browser before commiting to gitlab. requires pandoc installed. REMY Didier 2017-10-29 16:39:41 +0100
c24814e9bb merge REMY Didier 2017-10-27 10:40:08 +0200
12d27e9bfd Slides du cours 2. REMY Didier 2017-10-27 10:38:45 +0200
054e451133 Fix the statement of rule SR1. François Pottier 2017-10-20 21:00:49 +0200
639d7951fc Link to Coq mini-demo. François Pottier 2017-10-20 12:38:59 +0200
9db653f644 Expose today's slides. François Pottier 2017-10-20 11:28:57 +0200
aeedf926d4 Add today's slides. François Pottier 2017-10-20 11:28:18 +0200
c0c83a490d Add a demo of equational reasoning in Coq. François Pottier 2017-10-20 10:36:47 +0200
8d78692d88 Nested lists. François Pottier 2017-10-13 09:28:58 +0200
de8d6fedd9 Add today's slides. François Pottier 2017-10-13 09:26:06 +0200
521f29c442 README. François Pottier 2017-10-12 15:47:05 +0200
8c50463ec4 New OCaml exercise. François Pottier 2017-10-12 15:40:11 +0200
b88b92d33c Add new OCaml files. François Pottier 2017-10-11 19:47:20 +0200
555822838f Add the Coq formalization of the CPS transformation. François Pottier 2017-10-11 15:28:20 +0200
79af3f8d1c Removed MetaBigStep.v -- a typo in a file name. François Pottier 2017-10-11 15:27:50 +0200
63e854b686 Fix another typo in last week's slides. François Pottier 2017-10-10 17:35:30 +0200
61209d310e Fix a typo in today's slides. François Pottier 2017-10-06 16:20:46 +0200
318919da17 Link to today's slides. François Pottier 2017-10-06 12:33:23 +0200
c61a164474 Today's slides. François Pottier 2017-10-06 11:22:54 +0200
083c0c1843 Expose new Coq files. François Pottier 2017-10-05 17:57:33 +0200
42ddbb4f1e Updated last slide. François Pottier 2017-09-29 23:51:03 +0200
a6d9506bd0 Links from README.md to the slides and OCaml/Coq files. François Pottier 2017-09-29 17:32:32 +0200
fb3e42ac0d New slides. New file ocaml/Lambda.ml. François Pottier 2017-09-29 11:21:20 +0200
548479586f Remove marks in Coq files. François Pottier 2017-09-28 15:15:51 +0200
b69e9ec88f Add coq/README.md. François Pottier 2017-09-28 10:36:55 +0200
213264633f Expose more Coq files. François Pottier 2017-09-28 10:36:07 +0200
3e3eabe58a Added Even.v. François Pottier 2017-09-26 16:50:45 +0200