1774 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	b20b2f97be	Trying again to fix nix build?	2022-04-11 11:21:10 +02:00
Denis Merigoux	53d7515c3c	Fix nix quirk	2022-04-11 11:11:32 +02:00
Denis Merigoux	62a1903686	Wrong makefile target	2022-04-11 11:01:20 +02:00
Denis Merigoux	6f223d2519	Restore web build	2022-04-11 10:59:40 +02:00
Denis Merigoux	a775f786f6	Merge pull request #242 from rprimet/fix_typo ... fix typo	2022-04-09 15:38:02 +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	c4d031d7ef	Merge pull request #235 from CatalaLang/c_backend ... C backend : preparatory work	2022-04-04 18:16:13 +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	f40d2a4b8f	Revert asset [skip ci]	2022-04-02 14:53:09 +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	5e3274f00a	Restore nix no-web patch	2022-03-28 19:09:00 +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	e28587c3ed	Merge pull request #239 from CatalaLang/fix_237 ... Nice error messages for empty structs and enums	2022-03-28 14:53:00 +02:00
Denis Merigoux	ce7e756af1	Nice error messages for empty structs and enums	2022-03-28 14:43:38 +02:00
Aymeric Fromherz	cca2e00d42	[Z3encoding] Add bad unit tests for duration	2022-03-24 17:27:03 +01:00
Aymeric Fromherz	55dd389819	[Z3encoding] Add good unit tests for duration	2022-03-24 17:23:31 +01: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	f2307b88d3	Merge pull request #234 from CatalaLang/select_scope_proof ... Select a single scope for the proof mode	2022-03-17 17:55:36 +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	52680bdca7	Merge pull request #233 from CatalaLang/rounding_builtin ... Adding a money rounding builtin to Catala	2022-03-17 13:15:01 +01:00
Denis Merigoux	a3e9dfa534	Fix wrong round definitions in runtime	2022-03-17 13:09:57 +01:00