Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / lib @ 9b0432bc

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