Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / lib @ 9b0432bc

Name Size Revision Age Author Comment
  checks 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
  features 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
  parsers 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  utils 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
annotations.ml 1.16 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
arrow.ml 834 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
arrow.mli 102 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
automata.ml 14.8 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
backends.ml 1.26 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
basic_library.ml 11.2 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
causality.ml 25.5 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
clock_calculus.ml 27.1 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
clock_predef.ml 1.76 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
clocks.ml 14 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
compiler_common.ml 14.4 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
config.ml 221 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
corelang.ml 48.1 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
corelang.mli 8.04 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
delay.ml 2.99 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
delay_predef.ml 1.28 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
dimension.ml 10.9 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
dune 219 Bytes 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
error.ml 1.82 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
global.ml 651 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
location.ml 4.54 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
log.ml 1.01 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
lustre_types.ml 7.54 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
lustre_utils.ml 3.99 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
machine_code.ml 16.6 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
machine_code.mli 135 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
machine_code_common.ml 11.6 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
machine_code_common.mli 1.91 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
machine_code_types.ml 1.81 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
normalization.ml 32.9 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
normalization.mli 319 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
options.ml 2.17 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
options_management.ml 8.63 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
pluginType.ml 852 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
pluginType.mli 887 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
printers.ml 22.8 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
real.ml 1.53 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
real.mli 572 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
scheduling.ml 10.3 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
scheduling_type.ml 557 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
splitting.ml 3.18 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
type_predef.ml 3.2 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
types.ml 16.7 KB 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
typing.ml 39.6 KB 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
verifierType.ml 504 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
verifierType.mli 433 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
version.ml.in 73 Bytes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...

Latest revisions

# Date Author Comment
9b0432bc 08/31/2020 02:56 PM Corentin Lauverjat

Using deriving_ppx to derive show_ functions for the main types defined in lib/
Applying the same procedure of operator specialization taken from the C backend to Tiny
Lustrev has now a functional Tiny plugin : * -unrolling option has been renamed -duration because from an outside observer it is the length in steps of the abstract simulation...

9c4cc944 07/30/2020 04:35 PM Corentin Lauverjat

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

View revisions

Also available in: Atom