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
Emile Rolley
da6ed6b044
docs(clerk): add documentation about clerk and the Ninja_utils module
2022-02-24 14:05:05 +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
Alain
73fe2f876c
Revert "Merge pull request #196 from CatalaLang/fixup-cmdliner"
...
fix cmdliner to 1.0.4
This reverts commit 8e1a1ccb634812830a25
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
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
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
Denis Merigoux
b25f64c3ae
Improve printing
2022-02-14 17:01:34 +01:00
Denis Merigoux
ccd90bcbf6
Display nice finish message when ending
2022-02-14 14:43:38 +01:00
Emile Rolley
9f9b12578b
refactor(clerk): print a result message when tests succeed
2022-02-14 14:00:40 +01:00
Denis Merigoux
f2dd642041
Restore Dcalc backend for clerk as it does not seem to produce bugs anymore?
2022-02-14 12:03:35 +01:00
Denis Merigoux
cf8557a7aa
Merge branch 'master' into emile_ninja
2022-02-14 11:56:34 +01:00
Emile Rolley
4fe85a6b05
refactor(clerk): add support to reset output with ninja
...
- removes unit testing setup for Ninja_utils as
it's not useful right now.
2022-02-14 11:49:48 +01:00
Emile Rolley
5417a64556
fix(clerk): add the Catala command to the build output name
2022-02-11 16:24:32 +01:00
Denis Merigoux
b6d9d7cf5f
Update Cmdliner with breaking changes
2022-02-10 22:57:07 +01:00
Emile Rolley
760930942c
docs(clerk): add comments to ninja_utils.ml
2022-02-10 12:24:35 +01:00
Emile Rolley
d9d8987160
refactor(clerk): add support to some Catala backends through ninja
...
+ supported backends: Interpret, Scopelang, Dcalc, Proof, Typecheck
+ some minor refactoring of clerk.ml
2022-02-10 12:05:20 +01:00
Emile Rolley
8d0c8a4e86
fix(clerk): add error redirection to the command of the test_scope rule
2022-02-08 16:11:54 +01:00
Emile Rolley
7b5035173f
refactor(clerk): add support for directories with the ninja backend
...
- there is some issue with 'bad' tests
2022-02-08 15:45:20 +01:00
Emile Rolley
f5b9cd9794
refactor(clerk): add test_file_* build to factorize all scope tests for one given file
2022-02-08 14:29:12 +01:00
Emile Rolley
1c1b3f0ec2
docs(clerk): add a readme for the build_system folder
2022-02-08 12:56:04 +01:00
Emile Rolley
f79c652f82
test(clerk): add minimal unit testing structure
2022-02-08 12:45:52 +01:00
Emile Rolley
c640a3eeab
fix(clerk): unpath the build outputs to avoid writing corresponding files
2022-02-08 12:22:48 +01:00
Emile Rolley
22e5e4d1b0
feat(clerk): ninja backend for single test file
...
+ ninja_utils.ml: implement helper functions for basic ninja rules and builds.
+ clerk.ml: for single test files, clerk now generates the wanted ninja.build file
before executing ninja.
2022-02-05 21:08:25 +01:00
Emile Rolley
9888756503
feat(clerk): add basic ninja rule construction for test_scope
2022-02-05 20:50:42 +01:00
Denis Merigoux
edeba14692
Just typechecking for compiler
2022-01-31 15:28:19 +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
006f5f6c2a
Fix authorship
2022-01-11 16:36:38 +01:00
Denis Merigoux
83bdd0b632
Test base for verification conditions encoding
2022-01-11 16:13:34 +01:00
Denis Merigoux
d705334d9e
Merge branch 'master' into proof_platform
2022-01-11 15:43:33 +01:00
Denis Merigoux
b2a5551961
Test folders, nice doc and messages
2022-01-11 12:51:34 +01:00
Denis Merigoux
7fc37f9af8
Added controls for Dcalc and Scopelang
2022-01-11 11:25:41 +01:00
Denis Merigoux
a963a01f60
Unit tests for examples now use clerk
2022-01-11 10:42:12 +01:00
Denis Merigoux
0f54f1d2ac
Ability to reset tests
2022-01-10 18:35:41 +01:00
Denis Merigoux
2b6e7c8b98
Working prototype of clerk, the new build system for Catala
2022-01-10 17:57:58 +01:00
