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
12 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%
833a4d4edf
Go to file
Denis Merigoux 833a4d4edf Replace old code by dual lexer prototype
2020-03-07 15:21:55 -08:00
allocations_familiales Better syntax highlightingx 2020-03-07 11:15:32 -08:00
src Replace old code by dual lexer prototype 2020-03-07 15:21:55 -08:00
test Replace old code by dual lexer prototype 2020-03-07 15:21:55 -08:00
.gitignore Removed merlin files 2019-09-19 16:37:16 +02:00
dune-project Replace old code by dual lexer prototype 2020-03-07 15:21:55 -08:00
lawspec.opam Replace old code by dual lexer prototype 2020-03-07 15:21:55 -08: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

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).