511 Commits

Author	SHA1	Message	Date
Denis Merigoux	080e60c25d	Fixes money cents parsing	2022-05-05 16:50:33 +02:00
Denis Merigoux	823c223ea8	Restore debug info	2022-05-05 16:28:17 +02:00
Denis Merigoux	025382a85d	Restore debug info	2022-05-05 14:34:29 +02:00
Denis Merigoux	a72944a3ec	Merge branch 'master' into allocations_logement	2022-05-05 14:27:48 +02:00
Denis Merigoux	c7b84ca2d0	Merge pull request #244 from CatalaLang/c_backend ... Bringing structure to the Lcalc AST	2022-05-05 14:22:26 +02:00
Denis Merigoux	8a0d5d7916	Factoring, nitpicks and updates	2022-05-05 14:01:30 +02:00
Denis Merigoux	dd8956ea01	Use pandoc for HTML	2022-05-05 14:01:09 +02:00
Romain PRIMET	8b53445f8c	update generated catala import instruction	2022-05-05 14:01:09 +02:00
Denis Merigoux	d9da198740	Prettify family benefits	2022-05-05 14:00:44 +02:00
Denis Merigoux	e3e2e6c4e2	Better PDF	2022-05-04 14:01:24 +02:00
Denis Merigoux	1b439a09bd	Better LaTeX beginning [skip ci]	2022-05-02 16:20:39 +02:00
Denis Merigoux	5670546cc8	Fix lines too long	2022-05-02 16:20:39 +02:00
Romain PRIMET	75c67525d3	Merge remote-tracking branch 'upstream/master' into extract_py_runtime	2022-05-02 11:31:43 +02:00
Emile Rolley	ce2c7081b0	refactor(latex): print warning for too long lines + add instruction to compilation	2022-05-01 21:02:36 +02:00
Denis Merigoux	ad7fe6a21a	Use pandoc to prettify a lot the LaTeX document with tables	2022-04-29 23:47:02 +02:00
Denis Merigoux	2254527598	Corrige problème lexing arrondi en français	2022-04-29 21:41:52 +02:00
Denis Merigoux	d08dfb17d2	Corrige problème lexing arrondi en français	2022-04-29 21:41:20 +02:00
Denis Merigoux	aaa6a5d3a6	Merge branch 'master' into allocations_logement	2022-04-29 21:29:07 +02:00
Denis Merigoux	78e8275d5e	Adds a decimal rounding operator	2022-04-29 21:18:15 +02:00
Denis Merigoux	1bf4404bb3	Big refactoring of the APL code	2022-04-29 20:18:01 +02:00
Denis Merigoux	91cfcd9b56	Better PDFs	2022-04-29 12:55:09 +02:00
Denis Merigoux	741d151128	Correct indentation and sectionning + BMAF 2022-2023 [skip ci]	2022-04-29 10:50:46 +02:00
Denis Merigoux	6ec2938581	Subsubsubsections in LaTeX output	2022-04-29 10:25:46 +02:00
Denis Merigoux	3f3563cfeb	Print TOC in PDF	2022-04-28 13:32:35 +02:00
Denis Merigoux	d79e6c974d	Fix last bugs	2022-04-26 16:22:47 +02:00
Denis Merigoux	764edb6ef0	Refactoring finished	2022-04-26 16:06:36 +02:00
Denis Merigoux	6ea73a4291	Progress on refactoring [skip ci]	2022-04-26 12:07:39 +02:00
Denis Merigoux	40480fc4b0	Fix compile_with_exceptions [skip ci]	2022-04-25 18:00:08 +02:00
Denis Merigoux	3ded0c7399	Better error messages	2022-04-25 15:28:16 +02:00
Denis Merigoux	c1c2953131	Fixing more errors [skip ci]	2022-04-25 10:19:04 +02:00
Denis Merigoux	dca6a6c3d4	Merge branch 'master' into allocations_logement	2022-04-22 15:20:48 +02:00
Denis Merigoux	1c86c8298b	Fix decimal parsing	2022-04-22 14:26:28 +02:00
Denis Merigoux	d889397425	Write first computation test with @Lilyaslm!	2022-04-21 17:20:40 +02:00
Romain PRIMET	5397de576c	update generated catala import instruction	2022-04-21 09:57:18 +02:00
Denis Merigoux	8ce81fedaa	Start to refactor Lcalc AST (WIP) [skip ci]	2022-04-15 12:16:44 +02:00
Denis Merigoux	88a522d120	Changed maps and folds for Dcalc	2022-04-15 12:16:22 +02:00
Denis Merigoux	4cd6d5519d	Fix doc generation	2022-04-14 11:18:26 +02:00
Denis Merigoux	6e03b512d9	Merge branch 'master' into allocations_logement	2022-04-13 15:28:54 +02:00
Denis Merigoux	8be3d1cfc9	Made more functions generic in Dcalc.Ast	2022-04-12 17:54:00 +02:00
Denis Merigoux	e7440e043c	Remove duplicated function	2022-04-12 17:07:00 +02:00
Denis Merigoux	33ff03a356	Map visitor for Dcalc	2022-04-12 11:51:33 +02:00
Denis Merigoux	b24dbc8360	Remove logging calls for vc generation	2022-04-12 11:14:39 +02:00
Denis Merigoux	48dda14dcd	Merge branch 'master' into c_backend	2022-04-12 10:53:46 +02:00
Denis Merigoux	a43f89a0f4	Parametrize Dcalc.scope_expr	2022-04-12 10:53:07 +02:00
Denis Merigoux	6f223d2519	Restore web build	2022-04-11 10:59:40 +02:00
Romain PRIMET	eafab30809	fix typo	2022-04-07 22:43:05 +02:00
Denis Merigoux	f2d1fab263	Refactoring to clean some Dcalc passes	2022-04-06 09:48:34 +02:00
Denis Merigoux	f6047a43ea	Added boxed constructors for Dcalc	2022-04-06 09:35:07 +02:00
Denis Merigoux	48b324c165	More comments	2022-04-04 18:12:19 +02:00
Denis Merigoux	cbd975d53a	Remove unused stub	2022-04-04 18:07:47 +02:00
Denis Merigoux	f6c8e7fbd9	Crediting author of moved code	2022-04-04 18:06:40 +02:00
Denis Merigoux	3f49824150	Merge branch 'master' into c_backend	2022-04-04 18:02:33 +02:00
Denis Merigoux	31e8f37a43	Sort VCs by alphabetical order	2022-04-04 17:51:41 +02:00
Denis Merigoux	e68fe42856	Put closure conversion prototype under a flag	2022-04-04 17:43:30 +02:00
Denis Merigoux	9d05dad3fb	Passing all tests!	2022-04-04 15:56:45 +02:00
Denis Merigoux	84144c0a56	Tests now passing except for a few position and printing issues [skip ci]	2022-04-04 12:25:00 +02:00
Denis Merigoux	7ca5ef283a	Code builds but bugguy [skip ci]	2022-04-04 08:56:48 +02:00
Denis Merigoux	2652b9c406	Continuing to adapt code to new binded representation [skip ci]	2022-04-02 14:51:11 +02:00
Denis Merigoux	8f39b65bb6	Started replacement of Ast by Binded_representation in Dcalc [skip-ci]	2022-04-02 12:29:43 +02:00
Denis Merigoux	be26fa2474	Implement app but lots of rtefactoring to do [skip ci]	2022-03-31 14:21:13 +02:00
Denis Merigoux	c7c774a1a1	Closure conversion: case of EAbs implemented	2022-03-31 12:19:31 +02:00
Denis Merigoux	6fb924b7d4	Merge pull request #236 from CatalaLang/afromher_z3 ... [Z3 encoding] Add support for durations	2022-03-28 19:08:11 +02:00
Denis Merigoux	158d49fe86	Removed unnecessary extra runtime function	2022-03-28 18:59:53 +02:00
Aymeric Fromherz	2b0206a5a8	Restrict duration z3 encoding to days only	2022-03-28 18:47:13 +02:00
Denis Merigoux	5d36af01e3	Restore the trace parameter functionality in the web interpreter	2022-03-28 15:16:03 +02:00
Denis Merigoux	ce7e756af1	Nice error messages for empty structs and enums	2022-03-28 14:43:38 +02:00
Aymeric Fromherz	2c247128d1	[Z3encoding] Add support for duration literals	2022-03-24 17:22:31 +01:00
Aymeric Fromherz	e2963bd7f3	Add a duration_to_nb_days function to runtime	2022-03-24 17:22:16 +01:00
Aymeric Fromherz	8d2348d1d9	[Z3 encoding] Add support for Duration type and operators	2022-03-24 17:15:22 +01:00
Denis Merigoux	be191de566	Some closures closed but buggy overall [skip ci]	2022-03-23 17:50:53 +01:00
Denis Merigoux	a660987df0	Starting to implement closure conversion [skip ci]	2022-03-21 17:26:23 +01:00
Denis Merigoux	25977de151	Prettify Scalc	2022-03-21 14:58:54 +01:00
Denis Merigoux	01bbf1230e	Merge branch 'master' into allocations_logement	2022-03-17 17:55:47 +01:00
Denis Merigoux	6722cf9647	Fix bug	2022-03-17 17:52:26 +01:00
Denis Merigoux	a7bdc0a114	Add condition for focusing the proof mode on a single scope	2022-03-17 17:44:24 +01:00
Denis Merigoux	7872e8dac3	Typo in lexer	2022-03-17 13:23:07 +01:00
Denis Merigoux	bb33d05c4a	Typo in lexer	2022-03-17 13:22:07 +01:00
Denis Merigoux	8f68e2b262	Merge branch 'master' into allocations_logement	2022-03-17 13:15:24 +01:00
Denis Merigoux	a3e9dfa534	Fix wrong round definitions in runtime	2022-03-17 13:09:57 +01:00
Denis Merigoux	cdac6de9fe	Implement the round money builtin	2022-03-17 12:30:14 +01:00
Denis Merigoux	66244946c5	Merge branch 'master' into allocations_logement	2022-03-17 11:43:20 +01:00
Denis Merigoux	9b35cfcf7d	Merge branch 'master' into afromher_z3_2	2022-03-16 12:18:01 +01:00
Denis Merigoux	c47ce263b5	Merge pull request #228 from CatalaLang/afromher_z3 ... [Z3encoding] Basic support for arrays	2022-03-16 12:17:31 +01:00
Aymeric Fromherz	97c0211bdc	[Z3encoding] Support for unit literal	2022-03-16 12:01:21 +01:00
Denis Merigoux	bba5e3afea	Only print logging in Scopelang if debug	2022-03-16 12:00:36 +01:00
Aymeric Fromherz	b00d270df7	[Z3backend] Add support for EInj nodes	2022-03-16 12:00:19 +01:00
Denis Merigoux	c59451751b	Fix logging operator location for default justifications	2022-03-16 11:44:34 +01:00
Aymeric Fromherz	e3f3704be9	comment typo	2022-03-16 11:35:13 +01:00
Aymeric Fromherz	148afda523	Counterexamples generation for arrays	2022-03-16 11:28:03 +01:00
Aymeric Fromherz	fb6c18763f	Fix encoding of hypotheses into Z3	2022-03-16 11:20:20 +01:00
Denis Merigoux	c936e7b6ed	Reshuffle code, make it work, correct a few yes/no inversion bugs	2022-03-15 19:47:41 +01:00
Aymeric Fromherz	f6ad6bbd2f	Encode that an array length is always positive	2022-03-15 18:52:02 +01:00
Denis Merigoux	3780af59f5	Merge branch 'master' into allocations_logement	2022-03-15 18:44:49 +01:00
Aymeric Fromherz	fb924c50e5	Encode the length of arrays into Z3	2022-03-15 18:43:11 +01:00
Aymeric Fromherz	4b1ace2739	[Z3Backend] Support GetYear equality comparison	2022-03-15 18:09:56 +01:00
Aymeric Fromherz	d760d883a6	[Z3encoding] Print variable name when encoding is not supported	2022-03-15 18:09:33 +01:00
Denis Merigoux	169432c9f2	Pair programming @Lilyaslm	2022-03-14 11:55:32 +01:00
Denis Merigoux	88bf577db6	Merge branch 'master' into allocations_logement	2022-03-14 10:46:57 +01:00
Denis Merigoux	6227097de4	Merge pull request #223 from AltGr/optional-z3 ... Make Z3 an optional dependency	2022-03-09 17:22:06 +01:00
Denis Merigoux	41cf1ec0e6	Merge pull request #222 from CatalaLang/refactor-catala_backend_option-functions ... Refactor: group common functions related to backend_option in the Cli module	2022-03-09 11:12:01 +01:00