CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity
Programming language for literate programming law specification
20 Commits 40 Branches 8 Tags 60 MiB
OCaml 93.7%
Python 2.1%
JavaScript 1%
Makefile 0.8%
Vim script 0.7%
Other 1.6%
ddc44d27fd
Go to file
Denis Merigoux ddc44d27fd More parsing
2020-03-08 05:27:46 +01:00
allocations_familiales Successfully weaved all text 2020-03-07 18:30:37 -08:00
src More parsing 2020-03-08 05:27:46 +01:00
test More parsing 2020-03-08 05:27:46 +01:00
.gitignore Removed merlin files 2019-09-19 16:37:16 +02:00
.ocamlformat Weaving to LaTeX 2020-03-07 18:20:04 -08:00
dune-project Improved architecture 2020-03-07 16:52:31 -08:00
lawspec.opam Improved architecture 2020-03-07 16:52:31 -08:00
LICENSE.txt Code reorg 2019-09-04 10:32:33 +02:00
Makefile Successfully weaved all text 2020-03-07 18:30:37 -08:00
README.md More precision on installation 2019-09-04 11:02:49 +02:00

README.md

Verifisc

Verifisc is a low-level intermediate representation designed to be a common target for languages and DSL describing legal specifications. The goal is to run different passes of abstract interpretation and symbolic execution on Verifisc, or to translate it directly to Z3 in order to gain insight on the legislation that the code describes.

Usage

The project is distributed as a Dune artifact. Use standard dune commands to build and install the library. In particular, if you want to install the library as an opam package, use the following command at the root of the repository:

opam install ./

License

The library is released under the Apache license (version 2).