1421 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Denis Merigoux	b71e23d9e6	Merge pull request #187 from CatalaLang/self-hosted-ci ... Self-host CI at Inria	2022-02-03 16:23:37 +01:00
Denis Merigoux	f3c926a7ff	Better	2022-02-03 16:17:02 +01:00
Denis Merigoux	838177f974	Finer control over when checks are done	2022-02-03 16:12:04 +01:00
Denis Merigoux	d5a84ae09f	Make	2022-02-03 16:00:46 +01:00
Denis Merigoux	d4664208b7	Fix CI file	2022-02-03 15:42:39 +01:00
Denis Merigoux	bc42cfc8db	Don't clean	2022-02-03 15:41:34 +01:00
Denis Merigoux	81cf395a84	Removed step to make pygments	2022-02-03 14:48:54 +01:00
Denis Merigoux	1bedf87672	Checkout before building	2022-02-03 14:47:34 +01:00
Denis Merigoux	c6a76df631	Reduce iteration number	2022-02-03 14:40:44 +01:00
Denis Merigoux	08a9699949	Run make all on self-hosted CI	2022-02-02 18:14:25 +01:00
Denis Merigoux	2081ac006e	Merge pull request #185 from CatalaLang/io-qualifiers-112 ... Cleaning up scopelang encoding and adding some default optimizations (beginning of #112)	2022-02-02 17:38:19 +01:00
Denis Merigoux	b46641b549	Updated install lists	2022-02-02 11:37:45 +01:00
Denis Merigoux	0d90dcea00	Better optimizations with values instead of literals	2022-02-02 10:30:39 +01:00
Denis Merigoux	6cf1b768d2	Fix bug in Python backend producing unreachable code	2022-02-01 15:41:53 +01:00
Denis Merigoux	8ad752eba5	Type refactoring in scope_to_dcalc	2022-01-31 18:09:14 +01:00
Denis Merigoux	edeba14692	Just typechecking for compiler	2022-01-31 15:28:19 +01:00
Denis Merigoux	effc2b24e4	Optimizations for defaults in Dcalc	2022-01-31 15:27:58 +01:00
Denis Merigoux	73ce2f142f	Fixed last bug around rule refactoring	2022-01-31 13:55:25 +01:00
Denis Merigoux	13b476d0a1	[skip ci] reorganized desugared to scope encoding, broke some invariants ... WIP: fixed some bugs and provided documentations but one thing missing	2022-01-28 17:31:31 +01:00
Denis Merigoux	0a9e6db5f4	Fix UTF8 lexing. ... By what magic did it work until now?	2022-01-28 11:09:44 +01:00
Denis Merigoux	05a0bfc9b7	Added parsing support for #112, missing all later compilation steps	2022-01-27 18:03:47 +01:00
Denis Merigoux	597e3c3e52	Add links to README	2022-01-27 17:16:58 +01:00
Denis Merigoux	7f972ea5f8	Merge pull request #184 from CatalaLang/provide_z3_seed ... Restore CI by disabling counterexamples printing	2022-01-27 16:45:52 +01:00
Denis Merigoux	e2f4fb34b8	Fix nix	2022-01-26 18:09:39 +01:00
Denis Merigoux	228330d0cf	Fix	2022-01-26 17:15:06 +01:00
Denis Merigoux	5e253ba321	Disabling exact counterexamples values from CI testing because of randomness	2022-01-26 16:24:09 +01:00
Denis Merigoux	c51ea49962	Tutorial corrections as suggested by @rmonat	2022-01-26 15:25:58 +01:00
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