catala/dune-project

(lang dune 2.8)

(name catala)

(version 0.6.0)

(generate_opam_files false)

(formatting)

(source
 (uri git+https://github.com/CatalaLang/catala.git))

(homepage https://github.com/CatalaLang/catala)

(bug_reports https://github.com/CatalaLang/catala/issues)

(authors
 "Denis Merigoux"
 "Nicolas Chataing"
 "Emile Rolley"
 "Louis Gesbert"
 "Aymeric Fromherz"
 "Alain Dela\195\171t-Tixeuil")

(maintainers "contact@catala-lang.org")

(license Apache-2.0)

(using menhir 2.1)
Reorganized public libraries 2021-04-22 12:57:50 +03:00			`(lang dune 2.8)`
Missing JS stubs 2020-12-21 20:15:53 +03:00
Rename to Catala! 2020-04-16 18:47:35 +03:00			`(name catala)`
Reorganized public libraries 2021-04-22 12:57:50 +03:00
Bump version to 0.6.0 Changelog: * Catala as a proof platform (Z3 backend, safety checks) * More expressivity for exceptions * Multiple states for one variable * Build system relying on ninja-build * Better debug printers * Alternative compilation mode without try ... with exceptions 2022-03-07 21:35:56 +03:00			`(version 0.6.0)`
Reorganized public libraries 2021-04-22 12:57:50 +03:00
Disable dune generated opam files They avoid a bit of duplication, but don't support depexts and having to commit the generated opam files means that, often, the wrong file is fixed. 2022-05-09 12:34:15 +03:00			`(generate_opam_files false)`
Reorganized public libraries 2021-04-22 12:57:50 +03:00
Big code reorg with better dune config 2020-11-23 11:22:47 +03:00			`(formatting)`
Code reorg 2019-09-04 11:32:33 +03:00
Reorganized public libraries 2021-04-22 12:57:50 +03:00			`(source`
			`(uri git+https://github.com/CatalaLang/catala.git))`

Fixed new project homepage 2020-04-28 16:08:12 +03:00			`(homepage https://github.com/CatalaLang/catala)`
Reorganized public libraries 2021-04-22 12:57:50 +03:00
Fixed new project homepage 2020-04-28 16:08:12 +03:00			`(bug_reports https://github.com/CatalaLang/catala/issues)`
Reorganized public libraries 2021-04-22 12:57:50 +03:00
docs: update authors fields 2022-02-25 16:59:56 +03:00			`(authors`
Bump version to 0.6.0 Changelog: * Catala as a proof platform (Z3 backend, safety checks) * More expressivity for exceptions * Multiple states for one variable * Build system relying on ninja-build * Better debug printers * Alternative compilation mode without try ... with exceptions 2022-03-07 21:35:56 +03:00			`"Denis Merigoux"`
			`"Nicolas Chataing"`
			`"Emile Rolley"`
			`"Louis Gesbert"`
			`"Aymeric Fromherz"`
			`"Alain Dela\195\171t-Tixeuil")`
Reorganized public libraries 2021-04-22 12:57:50 +03:00
Improved readmes 2020-12-14 12:59:15 +03:00			`(maintainers "contact@catala-lang.org")`
Code reorg 2019-09-04 11:32:33 +03:00
Reorganized public libraries 2021-04-22 12:57:50 +03:00			`(license Apache-2.0)`
Code reorg 2019-09-04 11:32:33 +03:00
Allow approximate merlin 2021-02-01 22:20:33 +03:00			`(using menhir 2.1)`