1394 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Denis Merigoux	f7f010a902	Update asset and fix missing link in doc	2022-01-21 20:16:07 +01:00
Denis Merigoux	5f34fcb192	Merge pull request #175 from CatalaLang/proof_platform ... Catala as a proof platform	2022-01-21 10:28:18 +01:00
Denis Merigoux	42d79e5169	Merge branch 'master' into proof_platform	2022-01-21 09:55:34 +01:00
Denis Merigoux	45e18db68c	Merge pull request #178 from AltGr/ci-cache ... An attempt to simplify deps install and CI	2022-01-21 09:53:21 +01:00
Denis Merigoux	4f0309ccbb	Merge pull request #173 from CatalaLang/complete_tutorial ... Revamping the tutorial	2022-01-21 09:53:07 +01:00
Alain	422482ce37	ci run	2022-01-20 18:15:13 +01:00
Alain	8e5c6e3e29	ci run	2022-01-20 18:06:01 +01:00
Denis Merigoux	3e9a8521e3	Significative improvement of the tutorial	2022-01-19 18:11:22 +01:00
Denis Merigoux	757c3eddb6	Remove mathematical symbols replacement	2022-01-19 14:43:42 +01:00
Denis Merigoux	987c3204bc	Kickstarting tutorial changes	2022-01-19 14:30:33 +01:00
Denis Merigoux	54c090289b	Revamped CLI doc	2022-01-19 11:20:25 +01:00
Denis Merigoux	d2977b48ce	Documentation pass	2022-01-19 10:54:16 +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	2f7059c1ac	More functorization	2022-01-19 09:47:08 +01:00
Denis Merigoux	4852891e6c	Added interfaces	2022-01-18 18:59:05 +01:00
Denis Merigoux	b11e3329b3	Functorize VC solving IO [skip ci]	2022-01-18 18:51:02 +01:00
Denis Merigoux	2e1dc4740a	Restore build [skip ci]	2022-01-18 17:59:15 +01:00
Denis Merigoux	777f194178	.mlis and ocamldoc [skip-ci]	2022-01-18 15:13:16 +01:00
Aymeric Fromherz	661b30f638	Add bad tests for date_get_year	2022-01-17 15:05:06 +01:00
Aymeric Fromherz	c7fd00702a	Fix good get year test + reset [skip ci]	2022-01-17 15:04:05 +01:00
Aymeric Fromherz	400a777891	Support common case for getYear: Comparison against a literal [skip ci]	2022-01-17 15:02:56 +01:00
Aymeric Fromherz	cf63e4f3d3	Restore pretty-printing of enum model [skip ci]	2022-01-14 21:10:34 +01:00
Aymeric Fromherz	2548b4ad5e	Pretty-print structs, temporarily disable pretty-printing of enum model during refactoring [skip ci]	2022-01-14 21:02:34 +01:00
Aymeric Fromherz	271d20dcaf	todo outputs for bad struct tests [skip ci]	2022-01-14 20:42:06 +01:00
Aymeric Fromherz	ede73501d6	Add bad struct tests [skip ci]	2022-01-14 20:41:03 +01:00
Aymeric Fromherz	8b1c2d0891	reset test [skip ci]	2022-01-14 20:38:11 +01:00
Aymeric Fromherz	0b011a5e3a	Support TTuple type [skip ci]	2022-01-14 20:37:45 +01:00
Aymeric Fromherz	7fa271b9f4	Construct Z3 sort corresponding to a struct [skip ci]	2022-01-14 20:35:22 +01:00
Aymeric Fromherz	89e41b3a33	Encode ETupleAccess node [skip ci]	2022-01-14 20:17:27 +01:00
Aymeric Fromherz	850718be17	Add support for structs in the Z3 encoding context [skip ci]	2022-01-14 20:08:42 +01:00
Aymeric Fromherz	9684e14b1b	reset tests [skip ci]	2022-01-14 19:24:20 +01:00
Aymeric Fromherz	6c749fdbfe	Pretty-print enums in Z3 model [skip ci]	2022-01-14 19:23:26 +01:00
Aymeric Fromherz	a128a188ee	reset [skip ci]	2022-01-14 19:05:58 +01:00
Aymeric Fromherz	9727acc788	more tests [skip ci]	2022-01-14 19:04:23 +01:00
Aymeric Fromherz	38b4912161	Reset test [skip ci]	2022-01-14 19:02:59 +01:00
Aymeric Fromherz	06b845316d	Allow match bodies in VCs to refer to the value corresponding to the destructed enum [skip ci]	2022-01-14 19:01:54 +01:00
Aymeric Fromherz	867fc46515	Add more complex enum test [skip ci]	2022-01-14 19:01:23 +01:00
Aymeric Fromherz	cc026e35b3	Add negative tests for enums	2022-01-14 18:37:32 +01:00
Aymeric Fromherz	d7563c229e	Reset test [skip ci]	2022-01-14 18:34:58 +01:00
Aymeric Fromherz	3c21182dea	Finish encoding arms of EMatch in VCs [skip ci]	2022-01-14 18:33:56 +01:00
Aymeric Fromherz	a7abe630e7	More progress towards encoding arms of EMatch in VCs [skip ci]	2022-01-14 18:24:32 +01:00
Aymeric Fromherz	ffee0d815d	Wrap up the find_or_create_enum function [skip ci]	2022-01-14 17:42:12 +01:00
Aymeric Fromherz	7c1e808880	Translate the type TEnum to Z3	2022-01-14 17:42:12 +01:00
Aymeric Fromherz	a1e12a22b1	Create or retrieve Z3 enum types [skip ci]	2022-01-14 17:42:12 +01:00
Aymeric Fromherz	ae0935f035	Z3 encoding: Add a map from enumnames to Z3 sorts to the context [skip ci]	2022-01-14 17:42:12 +01:00
Denis Merigoux	08591fd178	Add link to demo	2022-01-14 16:52:30 +01:00
Aymeric Fromherz	1932277c80	Fix printing of negative money amounts [skip ci]	2022-01-14 11:45:47 +01:00
Aymeric Fromherz	abba635047	Add build_dev Makefile target to avoid reformatting during development cycles [skip ci]	2022-01-14 11:25:37 +01:00
Aymeric Fromherz	7ca0ca4012	Reset bad dates examples with expected outputs [skip ci]	2022-01-14 02:09:20 +01:00