Project

General

Profile

« Previous | Next » 

Revision 9c4cc944

Added by Corentin Lauverjat over 1 year ago

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md

View differences:

.gitignore
1 1
*~
2
/src/_build/
3
/setup.data
4
/setup.log
5
/src/version.ml
6
/src/pluginList.ml
7
/myocamlbuild.ml
8
*.cmt
9
*.log
2
/_build/
3
/test
10 4
Makefile
11 5
/configure
12
/src/_tags
13
/bin
14
*cache/
15
/config.status
6
/config.log
7
/config.status
8
/*cache/
9
*.merlin
10
/Makefile
11
/src/dune
12
/plugins/zustre/dune
13
/src/pluginList.ml
14
/src/verifierList.ml
15
/lib/version.ml
16
/include/z3librc
17
/share/FindLustre.cmake
18
/deps.png

Also available in: Unified diff