19 Commits

Author	SHA1	Message	Date
Louis Gesbert	98fc97a241	Rewriting message calls to use the new intf	2024-04-10 19:26:23 +02:00
Aminata-Dev	10d147a8b1	Messages renamed to Message (lighter syntax)	2023-06-13 11:50:56 +02:00
Denis Merigoux	4e6efe08da	All renamings done, on with actual refactor	2023-06-02 10:50:33 +02:00
Denis Merigoux	7cffc53169	Merge branch 'master' into afromher_334	2023-01-20 14:05:38 -05:00
Louis Gesbert	660e5775de	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00
Aymeric Fromherz	1d0871e65c	format	2022-11-16 22:28:20 +01:00
Aymeric Fromherz	cfba9d456a	Merge branch 'afromher_verif' into afromher_334	2022-11-16 22:16:11 +01:00
Aymeric Fromherz	5a5003b22d	Do not pass free_vars to make_context	2022-11-16 21:59:48 +01:00
Aymeric Fromherz	c4756c485c	WIP: Encoding assertions to Z3	2022-11-08 22:09:35 +01:00
Denis Merigoux	d7e219b0dd	Correct test output for proof mode	2022-09-06 14:10:32 +02:00
Louis Gesbert	d02c02e352	Fix some warnings	2022-08-22 19:28:27 +02:00
Louis Gesbert	2b6ee8dd4b	Leverage the shared AST: big cleanup (part I)	2022-08-22 19:28:21 +02:00
Louis Gesbert	fa3693d813	Formatting: disable deprecated "smart" fun-decl option	2022-05-11 16:22:56 +02:00
Denis Merigoux	e7440e043c	Remove duplicated function	2022-04-12 17:07:00 +02:00
Denis Merigoux	7ca5ef283a	Code builds but bugguy [skip ci]	2022-04-04 08:56:48 +02:00
Denis Merigoux	5bd66142a6	Big reformatting ... ocamlformat 0.19.0 -> 0.20.1 100 -> 80 columns per line Reestablished @emilerolley's smart fun break	2022-03-08 15:03:14 +01:00
Denis Merigoux	a4002fefaf	Finished functorization	2022-01-19 10:17:19 +01:00
Denis Merigoux	bc2742961f	More functors, but still not finished	2022-01-19 10:12:20 +01:00
Denis Merigoux	b11e3329b3	Functorize VC solving IO [skip ci]	2022-01-18 18:51:02 +01:00