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:

src/verifierList.ml.in
1
let verifiers =
2
  [
3
    @LUSTREV_SEAL@
4
    @LUSTREV_ZUSTRE@
5
    @LUSTREV_TINY@
6
  ]
1
(* @configure_input@ *)
2

  
3
let verifiers = [
4
  @LUSTREV_SEAL@
5
  @LUSTREV_ZUSTRE@
6
  @LUSTREV_TINY@
7
]

Also available in: Unified diff