Denis Merigoux
|
d48f0e4421
|
Merge pull request #177 from CatalaLang/clerk
Clerk, a build system for Catala
|
2022-01-11 13:13:47 +01:00 |
|
Denis Merigoux
|
fa8803e297
|
Bad quoting for catala compiler options
|
2022-01-11 13:05:04 +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
|
7a00d166f9
|
Update documentation for unit tests
|
2022-01-10 18:45:02 +01:00 |
|
Denis Merigoux
|
56e4adb3f7
|
Merge branch 'master' into clerk
|
2022-01-10 18:36:49 +01:00 |
|
Denis Merigoux
|
f8dc1494f0
|
Autoformatting
|
2022-01-10 18:36:14 +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 |
|
Denis Merigoux
|
fcde859d46
|
Merge pull request #176 from AltGr/fix-color-fmt
Fix console formatting with colors
|
2022-01-10 17:46:56 +01:00 |
|
Louis Gesbert
|
8d059b420e
|
Fix console formatting with colors
closes #174
|
2022-01-10 15:56:55 +01:00 |
|
Denis Merigoux
|
43c15177ad
|
Better language stats
|
2022-01-10 10:13:25 +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
|
0c17837770
|
Merge pull request #171 from CatalaLang/implement_170
Allow exceptions to a group of rules
|
2022-01-05 16:13:39 +01:00 |
|
Denis Merigoux
|
909e539cdc
|
Fixed all bugs
|
2022-01-05 15:57:18 +01:00 |
|
Denis Merigoux
|
82c09ee455
|
Fixed a bug [skip ci]
|
2022-01-05 15:37:34 +01:00 |
|
Denis Merigoux
|
3752328671
|
Code working but needs debugging [skip ci]
|
2022-01-05 10:42:46 +01:00 |
|
Denis Merigoux
|
9733f39653
|
Refactoring done except Desugared_to_scope.def_map_to_tree [skip ci]
|
2022-01-05 09:14:43 +01:00 |
|
Denis Merigoux
|
f6825668dd
|
Propagate labels in desugaring, not building desugared/ yet [skip-ci]
|
2022-01-04 18:19:15 +01:00 |
|
Denis Merigoux
|
e9d54e120d
|
Changed label scoping from scope to scope definition key [skip ci]
|
2022-01-03 18:39:59 +01:00 |
|
Denis Merigoux
|
3f41156282
|
Motivaing example [skip-ci]
|
2022-01-03 11:18:35 +01:00 |
|
Denis Merigoux
|
cacf605a64
|
Merge pull request #169 from EmileRolley/fix-odoc-gen
Fix(build/doc): remove warnings due to .ml* files
|
2022-01-02 17:26:24 +01:00 |
|
Emile Rolley
|
397b0e1d7c
|
fix(build/doc): remove warnings due to .ml* files
|
2022-01-02 14:53:51 +01:00 |
|
Denis Merigoux
|
84b9e06352
|
Merge pull request #168 from EmileRolley/fix-pdf-build
Fix: escape special LaTex characters
|
2022-01-01 17:40:55 +01:00 |
|
Emile Rolley
|
16f796ea19
|
doc(examples): add link to the website and a remark about pygmentize
|
2021-12-31 21:12:27 +01:00 |
|
Emile Rolley
|
7a62147283
|
fix(latex): render properly the '^' and fix the french babel usage
|
2021-12-31 20:50:03 +01:00 |
|
Emile Rolley
|
5a06d33d2d
|
fix(latex): escape '#' inside latex outputs + refactor pre_latexify
|
2021-12-31 19:47:55 +01:00 |
|
alain
|
98e5a9c2e2
|
Merge pull request #164 from CatalaLang/more_structure_in_dcalc
Bring more structure to Dcalc
|
2021-12-13 14:27:29 +01:00 |
|
Denis Merigoux
|
9f0929b86d
|
Fix the final bug!
|
2021-12-10 17:55:24 +01:00 |
|
Denis Merigoux
|
f16ebf8b8b
|
Removed optimizations, just one weird bug missing [skip ci]
|
2021-12-10 17:23:14 +01:00 |
|
Denis Merigoux
|
e8a95db9ed
|
Trying to box everything but optimizations complaining
|
2021-12-10 16:54:51 +01:00 |
|
Denis Merigoux
|
00a998462a
|
Implementation OK, now on to debugging Bindlib [skip ci]
|
2021-12-10 16:30:36 +01:00 |
|
Denis Merigoux
|
50400c445d
|
Few progress
|
2021-12-09 23:29:49 +01:00 |
|
Denis Merigoux
|
c456a62cb3
|
Builds but with empty stubs [skip ci]
|
2021-12-09 22:59:39 +01:00 |
|
Denis Merigoux
|
3a21bec4b1
|
Scopelang to dcalc done [skip ci]
|
2021-12-09 18:42:36 +01:00 |
|
Denis Merigoux
|
fcf7c31279
|
Progress on Scopelang -> Dcalc [skip ci]
|
2021-12-09 13:54:10 +01:00 |
|
Denis Merigoux
|
d9f21e9e66
|
Progress
|
2021-12-09 11:58:42 +01:00 |
|
Denis Merigoux
|
6099d1e4ad
|
Beginning to bring more structure to Dcalc
|
2021-12-08 23:56:03 +01:00 |
|
Denis Merigoux
|
2732a87ca1
|
Fix CLI doc
|
2021-12-02 09:19:35 +01:00 |
|
Denis Merigoux
|
520ef75626
|
Merge pull request #160 from jakeisnt/add-menhirLib-dep
add menhirLib to Nix dependencies
|
2021-11-29 14:03:13 +01:00 |
|
Denis Merigoux
|
38a0c1a5c2
|
Merge pull request #163 from EmileRolley/docs-readme-refont
Docs: comestic changes for the README
|
2021-11-29 14:02:14 +01:00 |
|
EmileRolley
|
e34cec592f
|
docs(README): comestic changes
|
2021-11-29 12:33:56 +01:00 |
|
Alain
|
2fb80a6f8a
|
add CI check to nix-unstable
rename check build-nix to build-nix-21.05
|
2021-11-29 11:38:01 +01:00 |
|
Alain
|
e09db29aa4
|
add a check to whenever menhirLib exists
If it does, it add menhirLib as a dependency. Else, ignore it.
|
2021-11-29 11:24:03 +01:00 |
|
Denis Merigoux
|
82865c48da
|
Fix #162
|
2021-11-29 10:36:33 +01:00 |
|
Denis Merigoux
|
095198f5ac
|
Fix #161
|
2021-11-29 10:33:43 +01:00 |
|
Jacob Chvatal
|
d65bf985d9
|
add menhirlib to dependencies
|
2021-11-28 12:39:33 -05:00 |
|
Denis Merigoux
|
dde455c560
|
Merge branch 'master' into grouped_exceptions
|
2021-11-28 13:19:00 +01:00 |
|