Emile Rolley
|
15bb52e37a
|
fix(clerk): change the -o argument to a string instead of a flag
-> catch the Sys_error if the file can't be created.
|
2022-02-25 20:03:58 +01:00 |
|
Emile Rolley
|
f4ab6f5a96
|
build(clerk/opam): add a clerk opam package and a clerk.driver library to test
|
2022-02-25 18:14:07 +01:00 |
|
Emile Rolley
|
73576548c6
|
docs: update authors fields
|
2022-02-25 16:49:22 +01:00 |
|
Emile Rolley
|
bc7160d009
|
feat(clerk): add the output flag
|
2022-02-25 14:31:37 +01:00 |
|
Emile Rolley
|
ee6eb717c1
|
test(clerk): remove irelevant tests
|
2022-02-25 12:42:00 +01:00 |
|
Emile Rolley
|
3a6450b42f
|
Merge branch 'master' into refactor-clerk-w-ninja
|
2022-02-25 12:31:16 +01:00 |
|
Emile Rolley
|
4a83360220
|
refactor(clerk): change to_string to format functions
|
2022-02-25 12:30:29 +01:00 |
|
Denis Merigoux
|
c4a7fe36c1
|
Merge pull request #158 from lIlIlIlIIIIlIIIllIIlIllIIllIII/feat/default-option
feat(compiler): Compiling Dcalc into Lcalc without using ∅ errors
|
2022-02-24 16:56:29 +01:00 |
|
Denis Merigoux
|
ddacc94de2
|
Correct types for make_some and make_none
|
2022-02-24 16:50:01 +01:00 |
|
Denis Merigoux
|
c65c38a2d5
|
Correct flag for enabling optimization
|
2022-02-24 16:46:02 +01:00 |
|
Denis Merigoux
|
756e7cb9b2
|
Merge branch 'master' into alain_default-option
|
2022-02-24 16:41:35 +01:00 |
|
Emile Rolley
|
79c39889bd
|
fix(opam): try to add ninja_utils as a standalone package
|
2022-02-24 14:05:37 +01:00 |
|
Emile Rolley
|
da6ed6b044
|
docs(clerk): add documentation about clerk and the Ninja_utils module
|
2022-02-24 14:05:05 +01:00 |
|
Emile Rolley
|
3c7f2dbaea
|
docs: fix the CI link
|
2022-02-22 19:07:54 +01:00 |
|
Emile Rolley
|
64820a0b20
|
docs(clerk): update the README file
|
2022-02-22 18:59:07 +01:00 |
|
Emile Rolley
|
abeea09d7f
|
feat(clerk): add support for multiple inputs
+ change the Makefile 'tests' rule to call only one time clerk
|
2022-02-22 18:06:12 +01:00 |
|
Aymeric Fromherz
|
908be78d32
|
Merge pull request #205 from CatalaLang/afromher_rationals
Add support for rationals in Z3 encoding
|
2022-02-21 15:44:02 +01:00 |
|
Denis Merigoux
|
b510f34421
|
Merge pull request #206 from CatalaLang/fix/cmdliner
Revert "Merge pull request #196 from CatalaLang/fixup-cmdliner"
|
2022-02-21 15:03:56 +01:00 |
|
Aymeric Fromherz
|
a463ec7db2
|
Use Cli.max_prec_digits
|
2022-02-21 14:54:40 +01:00 |
|
Alain
|
73fe2f876c
|
Revert "Merge pull request #196 from CatalaLang/fixup-cmdliner"
fix cmdliner to 1.0.4
This reverts commit 8e1a1ccb63, reversing
changes made to 4812830a25.
|
2022-02-21 14:53:48 +01:00 |
|
Emile Rolley
|
8214ad2ce6
|
fix(clerk): catch the exception and print a warning msg when a unexistant file is found (e.g. symbolic links)
|
2022-02-21 14:52:03 +01:00 |
|
Alain
|
4ee9b71e00
|
to_lcalc option type printing
|
2022-02-21 11:58:26 +01:00 |
|
Alain
|
f7b70b8f19
|
add typing information to make_none and make_some
|
2022-02-21 11:55:39 +01:00 |
|
Alain
|
6fe75f3486
|
fv --> free_vars_set
free_vars --> free_vars_list
|
2022-02-21 11:51:01 +01:00 |
|
Aymeric Fromherz
|
63704324c1
|
[Z3 Backend] Better error message when function has type TAny
|
2022-02-19 23:28:04 +01:00 |
|
Aymeric Fromherz
|
31c2adf0f1
|
Z3 Backend: Extend arithmetic operations to money
|
2022-02-19 23:18:23 +01:00 |
|
Aymeric Fromherz
|
f5a3a19a09
|
[Z3 encoding]: Add negative tests for rationals
|
2022-02-19 02:02:48 +01:00 |
|
Aymeric Fromherz
|
1dc1d6a3b8
|
Good test for rationals
|
2022-02-19 02:00:46 +01:00 |
|
Aymeric Fromherz
|
25ff8c50fb
|
[Z3 Backend]: Add support for rationals
|
2022-02-19 01:59:34 +01:00 |
|
Alain
|
d7b9aa9492
|
fixing if-then-else bug
|
2022-02-18 16:11:22 +01:00 |
|
Alain
|
5c9996e427
|
more comment
|
2022-02-18 15:59:35 +01:00 |
|
Alain
|
4b1f235e6c
|
util review (bis)
|
2022-02-18 15:56:36 +01:00 |
|
Alain
|
f54b3b317c
|
review lcalc
|
2022-02-18 15:55:37 +01:00 |
|
Alain
|
137fb8c552
|
util review
|
2022-02-18 15:54:40 +01:00 |
|
Alain
|
d512b27e2c
|
fmt
|
2022-02-18 15:49:23 +01:00 |
|
Alain
|
7e1057c541
|
review of lcalc
|
2022-02-18 15:47:54 +01:00 |
|
Alain
|
19bf2d934f
|
dcalc review
|
2022-02-18 15:31:52 +01:00 |
|
Denis Merigoux
|
12b31554d6
|
Merge pull request #202 from CatalaLang/afromher_proof
[Z3Backend] Add support for enumerations containing argument-less constructors
|
2022-02-18 10:57:56 +01:00 |
|
Aymeric Fromherz
|
dd05e4468b
|
[Z3backend]: Do not crash when trying to print function model
|
2022-02-18 00:34:42 +01:00 |
|
Aymeric Fromherz
|
6dec7bfe04
|
Refactor Z3 print_model: get_const_interp is only usable for non-function expressions
|
2022-02-18 00:28:36 +01:00 |
|
Aymeric Fromherz
|
d776a10e5f
|
format
|
2022-02-17 18:44:40 +01:00 |
|
Aymeric Fromherz
|
56e3720699
|
Add unit tests for TUnit
|
2022-02-17 18:42:22 +01:00 |
|
Aymeric Fromherz
|
378ab4697a
|
Encode TUnit in Z3
|
2022-02-17 18:34:30 +01:00 |
|
Emile Rolley
|
351c7346d6
|
refactor(clerk): factorize functions for building ninja rules
+ add "test cases" for Lcalc and Scalc backends.
+ add support for Scalc and Lcalc and sort by alphabetical
order their type declarations.
|
2022-02-17 16:45:49 +01:00 |
|
Emile Rolley
|
7a4ef62ebe
|
refactor(clerk): add Catala backend in the name of the output build
|
2022-02-17 14:56:45 +01:00 |
|
Denis Merigoux
|
d301e0f434
|
Remove markdown in github for Catala files
because it does not work?
|
2022-02-16 14:17:40 +01:00 |
|
Denis Merigoux
|
40542ea012
|
Update .gitattributes
|
2022-02-16 14:16:20 +01:00 |
|
Emile Rolley
|
bbf4b540eb
|
test(clerk): add 'tests' for clerk
|
2022-02-15 20:46:33 +01:00 |
|
Emile Rolley
|
e58c6c52b6
|
Merge branch 'master' into refactor-clerk-w-ninja
|
2022-02-15 20:36:15 +01:00 |
|
Emile Rolley
|
a9f949ffc9
|
refactor(clerk): add ninja support for remaining catala backends
TODO:
* Refactoring
* Manage scope + output backends
|
2022-02-15 20:32:17 +01:00 |
|