1467 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Denis Merigoux	6fbff03690	Merge pull request #197 from CatalaLang/pretty_printing_scalc_lcalc ... Pretty-printing: improve Lcalc, create Scalc	2022-02-14 18:29:51 +01:00
Denis Merigoux	21c73edfc9	Link to modules in the docs	2022-02-14 18:27:29 +01:00
Denis Merigoux	1cec4b0721	Pretty-printer for scalc	2022-02-14 18:22:26 +01:00
Denis Merigoux	b25f64c3ae	Improve printing	2022-02-14 17:01:34 +01:00
Denis Merigoux	8e1a1ccb63	Merge pull request #196 from CatalaLang/fixup-cmdliner ... fix nix build by manually upgrading cmdliner	2022-02-14 11:37:30 +01:00
Alain	9970b48308	fix nix build by manually upgrading cmdliner	2022-02-14 11:26:59 +01:00
Denis Merigoux	4812830a25	Merge pull request #189 from CatalaLang/io-qualifiers-112-part-2 ... Implementation of scope variable visibility qualifiers	2022-02-14 10:40:02 +01:00
Denis Merigoux	a9f5495cf1	More comments for I/O	2022-02-14 10:29:17 +01:00
Denis Merigoux	a56d9f674a	visibility -> io	2022-02-14 10:17:41 +01:00
Denis Merigoux	d704998f81	Update READMEs	2022-02-13 23:40:23 +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	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	a140614069	Bring IO down in Scopelang AST	2022-02-10 10:09:58 +01:00
Denis Merigoux	d401b3424c	Fixed verification conditions generation	2022-02-10 10:05:14 +01:00
Denis Merigoux	2a3e622750	Tutorial on context variables	2022-02-09 18:54:58 +01:00
Denis Merigoux	9bb858b79b	Added input/output/internal description in tutorial	2022-02-09 18:06:03 +01:00
Denis Merigoux	bddf077b05	Syntax cheat sheet	2022-02-09 17:33:58 +01:00
Denis Merigoux	e4be116ded	Add negative tests	2022-02-09 17:22:04 +01:00
Denis Merigoux	36bc25a3ce	Update assets	2022-02-09 16:09:28 +01:00
Denis Merigoux	a8733e6a61	Fix tests [skip ci]	2022-02-09 15:56:57 +01:00
Denis Merigoux	cb04ef3f9d	OnlyInput variables nore more thunked	2022-02-09 15:34:13 +01:00
Denis Merigoux	f3928dee9d	Better printing [skip ci]	2022-02-09 15:06:21 +01:00
Denis Merigoux	30061b8c86	Better encoding of inputs [skip ci]	2022-02-09 11:37:52 +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	1c4a0bdd5d	Updated all examples with input/output decorations [skip ci]	2022-02-07 18:18:23 +01:00
Denis Merigoux	2263dd7dab	Update syntax highlighting and test suite [skip ci]	2022-02-07 12:04:48 +01:00
Denis Merigoux	e3b5d2d0b6	Finer control over input IO (distinction only_input/reentrant) [skip ci]	2022-02-07 10:30:36 +01:00
Denis Merigoux	f4200bb638	Dcalc encoding good, missing error messages for bad cases	2022-02-06 18:52:18 +01:00
Denis Merigoux	72274057cd	Better Dcalc printing	2022-02-06 18:25:37 +01:00
Denis Merigoux	6601585b77	First test passing, awaiting rest of features ... (subscopes, etc.)	2022-02-05 00:04:19 +01:00
Denis Merigoux	45fe92be62	Update syntax highlighting	2022-02-04 23:10:29 +01:00
Denis Merigoux	5962b23f93	Restore CI	2022-02-04 15:45:27 +01:00
Denis Merigoux	11d4a34783	Better printing, tests, fix parser ommission	2022-02-04 15:10:47 +01:00
Denis Merigoux	36777a06f5	All dependencies in Ubuntu build	2022-02-04 14:46:33 +01:00
Denis Merigoux	d8c120bf97	Propagate visibility down, missing handling in scope_to_dcalc	2022-02-04 14:41:22 +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