CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity
1,401 Commits 41 Branches 8 Tags 60 MiB
05a0bfc9b7
Commit Graph

1401 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Denis Merigoux
05a0bfc9b7
Added parsing support for #112, missing all later compilation steps 2022-01-27 18:03:47 +01:00
Denis Merigoux
597e3c3e52
Add links to README 2022-01-27 17:16:58 +01:00
Denis Merigoux
7f972ea5f8
Merge pull request #184 from CatalaLang/provide_z3_seed 
Restore CI by disabling counterexamples printing
 2022-01-27 16:45:52 +01:00
Denis Merigoux
e2f4fb34b8
Fix nix 2022-01-26 18:09:39 +01:00
Denis Merigoux
228330d0cf
Fix 2022-01-26 17:15:06 +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
c51ea49962
Tutorial corrections as suggested by @rmonat 2022-01-26 15:25:58 +01:00
Denis Merigoux
f7f010a902
Update asset and fix missing link in doc 2022-01-21 20:16:07 +01:00
Denis Merigoux
5f34fcb192
Merge pull request #175 from CatalaLang/proof_platform 
Catala as a proof platform
 2022-01-21 10:28:18 +01:00
Denis Merigoux
42d79e5169
Merge branch 'master' into proof_platform 2022-01-21 09:55:34 +01:00
Denis Merigoux
45e18db68c
Merge pull request #178 from AltGr/ci-cache 
An attempt to simplify deps install and CI
 2022-01-21 09:53:21 +01:00
Denis Merigoux
4f0309ccbb
Merge pull request #173 from CatalaLang/complete_tutorial 
Revamping the tutorial
 2022-01-21 09:53:07 +01:00
Alain
422482ce37 ci run 2022-01-20 18:15:13 +01:00
Alain
8e5c6e3e29 ci run 2022-01-20 18:06:01 +01:00
Denis Merigoux
3e9a8521e3
Significative improvement of the tutorial 2022-01-19 18:11:22 +01:00
Denis Merigoux
757c3eddb6
Remove mathematical symbols replacement 2022-01-19 14:43:42 +01:00
Denis Merigoux
987c3204bc
Kickstarting tutorial changes 2022-01-19 14:30:33 +01:00
Denis Merigoux
54c090289b
Revamped CLI doc 2022-01-19 11:20:25 +01:00
Denis Merigoux
d2977b48ce
Documentation pass 2022-01-19 10:54:16 +01:00
Denis Merigoux
a4002fefaf
Finished functorization 2022-01-19 10:17:19 +01:00
Denis Merigoux
bc2742961f
More functors, but still not finished 2022-01-19 10:12:20 +01:00
Denis Merigoux
2f7059c1ac
More functorization 2022-01-19 09:47:08 +01:00
Denis Merigoux
4852891e6c
Added interfaces 2022-01-18 18:59:05 +01:00
Denis Merigoux
b11e3329b3
Functorize VC solving IO [skip ci] 2022-01-18 18:51:02 +01:00
Denis Merigoux
2e1dc4740a
Restore build [skip ci] 2022-01-18 17:59:15 +01:00
Denis Merigoux
777f194178
.mlis and ocamldoc [skip-ci] 2022-01-18 15:13:16 +01:00
Aymeric Fromherz
661b30f638 Add bad tests for date_get_year 2022-01-17 15:05:06 +01:00
Aymeric Fromherz
c7fd00702a Fix good get year test + reset [skip ci] 2022-01-17 15:04:05 +01:00
Aymeric Fromherz
400a777891 Support common case for getYear: Comparison against a literal [skip ci] 2022-01-17 15:02:56 +01:00
Aymeric Fromherz
cf63e4f3d3 Restore pretty-printing of enum model [skip ci] 2022-01-14 21:10:34 +01:00
Aymeric Fromherz
2548b4ad5e Pretty-print structs, temporarily disable pretty-printing of enum model during refactoring [skip ci] 2022-01-14 21:02:34 +01:00
Aymeric Fromherz
271d20dcaf todo outputs for bad struct tests [skip ci] 2022-01-14 20:42:06 +01:00
Aymeric Fromherz
ede73501d6 Add bad struct tests [skip ci] 2022-01-14 20:41:03 +01:00
Aymeric Fromherz
8b1c2d0891 reset test [skip ci] 2022-01-14 20:38:11 +01:00
Aymeric Fromherz
0b011a5e3a Support TTuple type [skip ci] 2022-01-14 20:37:45 +01:00
Aymeric Fromherz
7fa271b9f4 Construct Z3 sort corresponding to a struct [skip ci] 2022-01-14 20:35:22 +01:00
Aymeric Fromherz
89e41b3a33 Encode ETupleAccess node [skip ci] 2022-01-14 20:17:27 +01:00
Aymeric Fromherz
850718be17 Add support for structs in the Z3 encoding context [skip ci] 2022-01-14 20:08:42 +01:00
Aymeric Fromherz
9684e14b1b reset tests [skip ci] 2022-01-14 19:24:20 +01:00
Aymeric Fromherz
6c749fdbfe Pretty-print enums in Z3 model [skip ci] 2022-01-14 19:23:26 +01:00
Aymeric Fromherz
a128a188ee reset [skip ci] 2022-01-14 19:05:58 +01:00
Aymeric Fromherz
9727acc788 more tests [skip ci] 2022-01-14 19:04:23 +01:00
Aymeric Fromherz
38b4912161 Reset test [skip ci] 2022-01-14 19:02:59 +01:00
Aymeric Fromherz
06b845316d Allow match bodies in VCs to refer to the value corresponding to the destructed enum [skip ci] 2022-01-14 19:01:54 +01:00
Aymeric Fromherz
867fc46515 Add more complex enum test [skip ci] 2022-01-14 19:01:23 +01:00
Aymeric Fromherz
cc026e35b3 Add negative tests for enums 2022-01-14 18:37:32 +01:00
Aymeric Fromherz
d7563c229e Reset test [skip ci] 2022-01-14 18:34:58 +01:00
Aymeric Fromherz
3c21182dea Finish encoding arms of EMatch in VCs [skip ci] 2022-01-14 18:33:56 +01:00
Aymeric Fromherz
a7abe630e7 More progress towards encoding arms of EMatch in VCs [skip ci] 2022-01-14 18:24:32 +01:00
Aymeric Fromherz
ffee0d815d Wrap up the find_or_create_enum function [skip ci] 2022-01-14 17:42:12 +01:00