Alain
|
9970b48308
|
fix nix build by manually upgrading cmdliner
|
2022-02-14 11:26:59 +01:00 |
|
Denis Merigoux
|
d704998f81
|
Update READMEs
|
2022-02-13 23:40:23 +01:00 |
|
Denis Merigoux
|
b6d9d7cf5f
|
Update Cmdliner with breaking changes
|
2022-02-10 22:57:07 +01:00 |
|
Denis Merigoux
|
5004929a51
|
Fix #193 -- authored with @R1kM
Moved no model generation flag
Fixed bug for VC generation in the IfThenElse case
|
2022-02-10 16:49:01 +01:00 |
|
Denis Merigoux
|
36777a06f5
|
All dependencies in Ubuntu build
|
2022-02-04 14:46:33 +01:00 |
|
Denis Merigoux
|
e0a52168f4
|
opam yes
|
2022-02-04 14:39:34 +01:00 |
|
Denis Merigoux
|
d7acc3f52e
|
Do not duplicate CI on pull requests
|
2022-02-04 14:37:17 +01:00 |
|
Denis Merigoux
|
2b58dbbc34
|
Cleaned gitatributes
|
2022-02-04 14:10:18 +01:00 |
|
Denis Merigoux
|
0ff633179d
|
Also run CI on pull requests
|
2022-02-04 12:23:34 +01:00 |
|
Denis Merigoux
|
624f5b6588
|
Remove make pygments from harness
|
2022-02-04 08:50:50 +01:00 |
|
Denis Merigoux
|
04bf50e3cf
|
Manual execution of builds
|
2022-02-03 19:47:42 +01:00 |
|
Denis Merigoux
|
1b4ce93eae
|
Added ubuntu long build
|
2022-02-03 19:45:52 +01:00 |
|
Denis Merigoux
|
1dae73b020
|
Merge pull request #188 from CatalaLang/self-hosted-ci-2
Better dispatching of full build CI
|
2022-02-03 16:54:27 +01:00 |
|
Denis Merigoux
|
ba8d3df206
|
Fix yaml
|
2022-02-03 16:49:41 +01:00 |
|
Denis Merigoux
|
3ac0810173
|
Manually dispatch build CI
|
2022-02-03 16:47:09 +01:00 |
|
Denis Merigoux
|
b71e23d9e6
|
Merge pull request #187 from CatalaLang/self-hosted-ci
Self-host CI at Inria
|
2022-02-03 16:23:37 +01:00 |
|
Denis Merigoux
|
f3c926a7ff
|
Better
|
2022-02-03 16:17:02 +01:00 |
|
Denis Merigoux
|
838177f974
|
Finer control over when checks are done
|
2022-02-03 16:12:04 +01:00 |
|
Denis Merigoux
|
d5a84ae09f
|
Make
|
2022-02-03 16:00:46 +01:00 |
|
Denis Merigoux
|
d4664208b7
|
Fix CI file
|
2022-02-03 15:42:39 +01:00 |
|
Denis Merigoux
|
bc42cfc8db
|
Don't clean
|
2022-02-03 15:41:34 +01:00 |
|
Denis Merigoux
|
81cf395a84
|
Removed step to make pygments
|
2022-02-03 14:48:54 +01:00 |
|
Denis Merigoux
|
1bedf87672
|
Checkout before building
|
2022-02-03 14:47:34 +01:00 |
|
Denis Merigoux
|
c6a76df631
|
Reduce iteration number
|
2022-02-03 14:40:44 +01:00 |
|
Denis Merigoux
|
08a9699949
|
Run make all on self-hosted CI
|
2022-02-02 18:14:25 +01:00 |
|
Denis Merigoux
|
2081ac006e
|
Merge pull request #185 from CatalaLang/io-qualifiers-112
Cleaning up scopelang encoding and adding some default optimizations (beginning of #112)
|
2022-02-02 17:38:19 +01:00 |
|
Denis Merigoux
|
b46641b549
|
Updated install lists
|
2022-02-02 11:37:45 +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
|
8ad752eba5
|
Type refactoring in scope_to_dcalc
|
2022-01-31 18:09:14 +01:00 |
|
Denis Merigoux
|
edeba14692
|
Just typechecking for compiler
|
2022-01-31 15:28:19 +01:00 |
|
Denis Merigoux
|
effc2b24e4
|
Optimizations for defaults in Dcalc
|
2022-01-31 15:27:58 +01:00 |
|
Denis Merigoux
|
73ce2f142f
|
Fixed last bug around rule refactoring
|
2022-01-31 13:55:25 +01:00 |
|
Denis Merigoux
|
13b476d0a1
|
[skip ci] reorganized desugared to scope encoding, broke some invariants
WIP: fixed some bugs and provided documentations but one thing missing
|
2022-01-28 17:31:31 +01:00 |
|
Denis Merigoux
|
0a9e6db5f4
|
Fix UTF8 lexing.
By what magic did it work until now?
|
2022-01-28 11:09:44 +01:00 |
|
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 |
|