Romain PRIMET
7992d5905b
reference runtime package in Makefile and requirements
2022-04-21 12:46:48 +02:00
Romain PRIMET
764bbe9f4b
rename dependencies to requirements (most common name for pip-installable list of deps)
2022-04-21 11:49:26 +02:00
Romain PRIMET
ba2d2f4ef0
invoke venv through its python module name for portability
2022-04-21 11:06:36 +02:00
Romain PRIMET
5c7ca03f60
start drafting runtime package structure
2022-04-20 21:40:20 +02:00
Denis Merigoux
e68fe42856
Put closure conversion prototype under a flag
2022-04-04 17:43:30 +02:00
Denis Merigoux
f40d2a4b8f
Revert asset [skip ci]
2022-04-02 14:53:09 +02:00
Denis Merigoux
25977de151
Prettify Scalc
2022-03-21 14:58:54 +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
Louis Gesbert
729fb7e551
reformat (sync with master)
2022-03-08 16:12:25 +01:00
Louis Gesbert
071ec35234
Command-line: use a record for the options
...
Should make it much easier and less error-prone to add new options. There is
still a bit of boiler-plate, but at least it's contained in the Cli.options
function and doesn't transpire in the interfaces.
2022-03-08 16:11:39 +01:00
Denis Merigoux
95bf732940
Update assets
2022-03-08 14:54:17 +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
Denis Merigoux
09dd02c8a0
Python backend works with exceptions avoided
...
Few bugs in Lcalc->Scalc fixed
2022-02-25 12:30:34 +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
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
Denis Merigoux
33228692b3
Correct assets
2022-02-14 14:23:16 +01:00
Denis Merigoux
e1dc36f1b1
Merge branch 'master' into io-qualifiers-112-part-2
2022-02-10 22:59:37 +01:00
Denis Merigoux
b6d9d7cf5f
Update Cmdliner with breaking changes
2022-02-10 22:57:07 +01:00
Denis Merigoux
36bc25a3ce
Update assets
2022-02-09 16:09:28 +01:00
Denis Merigoux
5c6a43da57
Fixed compilation to examples
...
Had to rename fields of allocations familiales because of a stupid record field confusion in OCaml
2022-02-07 18:38:31 +01:00
Denis Merigoux
c6a76df631
Reduce iteration number
2022-02-03 14:40:44 +01:00
Denis Merigoux
0d90dcea00
Better optimizations with values instead of literals
2022-02-02 10:30:39 +01:00
Denis Merigoux
6cf1b768d2
Fix bug in Python backend producing unreachable code
2022-02-01 15:41:53 +01:00
Denis Merigoux
effc2b24e4
Optimizations for defaults in Dcalc
2022-01-31 15:27:58 +01:00
Denis Merigoux
f7f010a902
Update asset and fix missing link in doc
2022-01-21 20:16:07 +01:00
Denis Merigoux
df4754b10b
Formatted asset
2022-01-10 09:33:58 +01:00
Denis Merigoux
7cac55cc0b
Updating assets and relaxing version constraints in Makefile
2022-01-05 17:38:49 +01:00
Denis Merigoux
82865c48da
Fix #162
2021-11-29 10:36:33 +01:00
Denis Merigoux
485d093b7e
Bump Catala version number
2021-11-07 01:38:17 +01:00
Denis Merigoux
4406ff6690
Update all APIs in various languages
2021-11-07 00:53:14 +01:00
Denis Merigoux
cf31da7ca1
Remove limitation on Zarith since https://github.com/janestreet/zarith_stubs_js/pull/8 is closed
2021-10-18 09:58:47 +02:00
Denis Merigoux
8dbf034efc
Update generated assets
2021-10-11 17:41:20 +02:00
Denis Merigoux
b56299f3d3
Switch ocamlformat to 0.19.0
2021-08-19 11:35:56 +02:00
EmileRolley
6169d19b1e
feat(compiler): add collection concatenation operator
2021-07-08 16:27:46 +02:00
Denis Merigoux
9ef637a161
Print lists better
2021-06-26 18:13:13 +02:00
Denis Merigoux
0d54b39aa9
Logging in Python OK
2021-06-26 18:04:36 +02:00
Denis Merigoux
32c2e84a10
Improve Python library API
2021-06-26 17:12:15 +02:00
Denis Merigoux
61b84ed71b
Typo in README
2021-06-25 15:35:16 +02:00
Denis Merigoux
ae8ef08b81
Added more doc
2021-06-25 10:50:49 +02:00
Denis Merigoux
3d2f3497bc
Switch to benchmark
2021-06-25 00:56:08 +02:00
Denis Merigoux
03b44f5b15
Python backend debugged and tested
2021-06-25 00:47:12 +02:00
Denis Merigoux
e38dc4c728
Various bugfixing and improvements for the Python backend
2021-06-25 00:16:21 +02:00
Denis Merigoux
3f5027e5a5
Translation now typechecks
2021-06-24 22:55:27 +02:00
Denis Merigoux
95b34937a6
Switch to use Python enums as a tag for tagged unions
2021-06-24 21:55:20 +02:00
Denis Merigoux
fbf60b89bf
Fix lenght type mismatch
2021-06-24 21:32:09 +02:00
Denis Merigoux
8b956bf4fa
Missing cd
2021-06-24 18:27:02 +02:00
Denis Merigoux
ccf2bba79f
Executable permission for env setup
2021-06-24 18:21:21 +02:00
Denis Merigoux
0481181f92
Put mypy typing under CI
2021-06-24 18:18:25 +02:00
