1066 Commits

Author	SHA1	Message	Date
Emile Rolley	def003af8d	fix(plugins/json_schema): don't translate the TUnit type into "null" anymore	2023-04-28 13:41:25 +02:00
Denis Merigoux	0338418a6f	Allow use of if_then_else beyond booleans in proof backend (#460)	2023-04-24 17:33:15 +02:00
Louis Gesbert	49bd5b1915	Cleanup type of Expr.make_app	2023-04-24 15:14:54 +02:00
Louis Gesbert	d7d8bab9b8	Printer: rainbow parens (rewritten)	2023-04-24 14:56:19 +02:00
adelaett	ba6fb5d405	fix documentation	2023-04-24 14:00:12 +02:00
Aymeric Fromherz	c6e478c9dd	[Proof Backend] Use Z3's native encoding for ite	2023-04-24 12:11:55 +02:00
Denis Merigoux	32ee2a0c72	Various small fixes to resolve conversations	2023-04-21 14:54:07 +02:00
Denis Merigoux	d384db4e71	Reestablish some default constructor optimizations	2023-04-21 14:35:10 +02:00
Denis Merigoux	22b24a8634	Fusion of all optimizations done correctly	2023-04-21 12:32:09 +02:00
Denis Merigoux	1bb338526d	Generalized optimizations	2023-04-21 11:56:07 +02:00
Denis Merigoux	2b0e18f5a8	Restore important flushing?!	2023-04-21 11:29:07 +02:00
Denis Merigoux	067c7b9155	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-04-21 10:55:36 +02:00
Denis Merigoux	107ff95dc4	Remove dependency on ppx_expect and use alcotest instead	2023-04-21 10:37:31 +02:00
Louis Gesbert	fc70d18ea8	Correctly typed dcalc/lcalc interpreter	2023-04-20 14:04:29 +02:00
Louis Gesbert	55d343d81c	Version that uses object types instead of polymorphic variants ... in order to get the row polymorphism controlling the GADT that encodes our AST	2023-04-20 13:51:20 +02:00
Denis Merigoux	f877544368	Remove optimizations for big tests	2023-04-18 15:56:04 +02:00
Denis Merigoux	f9a6644da3	Cleanliness and aesthetics	2023-04-18 15:45:30 +02:00
Denis Merigoux	0ec75ad589	Merge branch 'master' into adelaett-withoutexceptionsfix	2023-04-18 14:37:02 +02:00
Denis Merigoux	0b0451862e	Correct temp variable names	2023-04-18 14:29:22 +02:00
Louis Gesbert	bd870b0c28	Add experimental lazy interpreter as a plugin (#453)	2023-04-18 14:08:03 +02:00
Denis Merigoux	732e058712	Fix typos	2023-04-18 11:42:33 +02:00
Denis Merigoux	0266252854	Refactoring for cleaner exception graph building	2023-04-18 11:06:58 +02:00
Denis Merigoux	57da622567	Refactoring changes after @altgr's suggestions	2023-04-18 10:31:44 +02:00
Denis Merigoux	c5ba3e72fe	Restore CI	2023-04-18 09:59:24 +02:00
Denis Merigoux	39f1704d76	Last fixes	2023-04-18 09:59:24 +02:00
Denis Merigoux	ecccb5fb91	Last changes	2023-04-18 09:59:24 +02:00
Denis Merigoux	6479c3c10b	Print exception tree	2023-04-18 09:59:24 +02:00
Denis Merigoux	2afb6fc20c	I/O plumbing necessary for this feature, missing main implem	2023-04-18 09:59:24 +02:00
adelaett	5e46253140	removed one remaning debuging print, and updating all the tests	2023-04-14 17:59:08 +02:00
adelaett	e712c39efb	fix python printing of handle_default	2023-04-14 17:32:09 +02:00
adelaett	b642bdbc54	update optimizations	2023-04-14 17:16:01 +02:00
Louis Gesbert	b4a68fa392	Add experimental lazy interpreter as a plugin ... To try it (without installing Catala): ```shell-session $ make plugins $ export CATALA_PLUGINS=_build/default/compiler/plugins $ dune exec -- catala lazy examples/aides_logement/tests/tests_calcul_apl_locatif.catala_fr -s Exemple2 ``` Keep in mind that this is a work-in-progress prototype :)	2023-04-14 16:56:57 +02:00
adelaett	adf14056fd	backtrace is now determined by the option.debug flag.	2023-04-14 16:38:39 +02:00
adelaett	e14267b0d7	fixing printing	2023-04-14 15:03:26 +02:00
adelaett	cffcdd7cf9	move monad_* to lcalc/Ast.ml	2023-04-14 14:36:28 +02:00
adelaett	02eeb4ad11	Include Bindlib_ext to Expr.Box	2023-04-14 14:18:28 +02:00
adelaett	ebf72213a7	deadcode	2023-04-14 14:12:36 +02:00
adelaett	ddeaa67ff7	Expr.eid -> Expr.fun_id	2023-04-14 14:07:51 +02:00
adelaett	484ae44298	disable detailled printing of enum and struct	2023-04-14 13:59:29 +02:00
adelaett	920bd29835	documentation and deadcode elim	2023-04-14 13:59:06 +02:00
adelaett	f21cb1ff69	adding comment	2023-04-14 12:18:28 +02:00
adelaett	6b6272b0f2	adding an nicer error message	2023-04-14 12:16:09 +02:00
adelaett	123ae9e4c1	rename functions to make the code more readable	2023-04-14 12:15:16 +02:00
adelaett	0c357d2972	adding typing information for monad_* functions	2023-04-14 12:13:33 +02:00
adelaett	167ec9189f	adding a todo related to handle_default and handle_default_opt for ... the closure conversion.	2023-04-14 12:02:03 +02:00
adelaett	abc30e1612	handling invariants checking differently in the main driver	2023-04-14 12:01:16 +02:00
adelaett	cfc1d86e96	Revert "incorrect simplification" ... This reverts commit 3233ff108f.	2023-04-14 11:51:02 +02:00
adelaett	3233ff108f	incorrect simplification	2023-04-14 11:48:19 +02:00
adelaett	622feec9a5	change Invariants choice to --check_invariants flag	2023-04-14 11:32:49 +02:00
adelaett	2ea67de397	typo	2023-04-14 11:21:52 +02:00