Denis Merigoux
5bd66142a6
Big reformatting
...
ocamlformat 0.19.0 -> 0.20.1
100 -> 80 columns per line
Reestablished @emilerolley's smart fun break
2022-03-08 15:03:14 +01:00
Louis Gesbert
12ec65601d
Use format strings directly in debug/error/log functions
...
This avoids many intermediate calls to e.g. `Format.asprintf`; should result in
some cases in "more correct" use of `Format`¹, avoid the computation of unused
debug strings, and make the code more readable.
¹ for `Format` to work as expected, all intermediate calls need to go through
it. Some cases of formatting to an intermediate string then printing through Format
again are still present, but this makes the situation better.
2022-03-08 13:04:27 +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
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
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
