CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity
Programming language for literate programming law specification
8 Commits 43 Branches 8 Tags 62 MiB
OCaml 93.2%
C 2.4%
Python 2%
Makefile 0.7%
Vim script 0.7%
Other 0.8%
0ccae5d73b
Go to file
Denis Merigoux 0ccae5d73b Removed merlin files
2019-09-19 16:37:16 +02:00
src Removed merlin files 2019-09-19 16:37:16 +02:00
.gitignore Removed merlin files 2019-09-19 16:37:16 +02:00
dune-project Code reorg 2019-09-04 10:32:33 +02:00
LICENSE.txt Code reorg 2019-09-04 10:32:33 +02:00
README.md More precision on installation 2019-09-04 11:02:49 +02:00
verifisc.opam Code reorg 2019-09-04 10:32:33 +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).