Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends 57c96fb7 11 months Lélio Brun setup tests for dune
  checks ca7e8027 12 months Lélio Brun fix almost all warnings
  features ca7e8027 12 months Lélio Brun fix almost all warnings
  parsers 57c96fb7 11 months Lélio Brun setup tests for dune
  plugins ca7e8027 12 months Lélio Brun fix almost all warnings
  tools ca7e8027 12 months Lélio Brun fix almost all warnings
  utils 57c96fb7 11 months Lélio Brun setup tests for dune
Makefile-lustresf.in 758 Bytes 3b4b7a2e about 4 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 1.58 KB 325f07c0 almost 3 years Christophe Garion doc: use SVG format instead of PNG for dependen...
_tags.in 2.04 KB b43b8eb5 12 months Pierre-Loic Garoche add thread dependency required by z3 lib
annotations.ml 1.16 KB 8446bf03 almost 4 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
arrow.ml 837 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
arrow.mli 110 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
automata.ml 14.8 KB 57c96fb7 11 months Lélio Brun setup tests for dune
basic_library.ml 11.2 KB ca7e8027 12 months Lélio Brun fix almost all warnings
causality.ml 25.5 KB ca7e8027 12 months Lélio Brun fix almost all warnings
clock_calculus.ml 27.1 KB ca7e8027 12 months Lélio Brun fix almost all warnings
clock_predef.ml 1.76 KB ec433d69 almost 7 years Xavier Thirioux Major revision due to severe limitations and bu...
clocks.ml 14 KB ca7e8027 12 months Lélio Brun fix almost all warnings
compiler_common.ml 14.4 KB ca7e8027 12 months Lélio Brun fix almost all warnings
compiler_stages.ml 12.6 KB 57c96fb7 11 months Lélio Brun setup tests for dune
corelang.ml 48 KB ca7e8027 12 months Lélio Brun fix almost all warnings
corelang.mli 8.05 KB ca7e8027 12 months Lélio Brun fix almost all warnings
delay.ml 2.97 KB ca7e8027 12 months Lélio Brun fix almost all warnings
delay_predef.ml 1.28 KB ea8f51ae almost 4 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
dune 3.32 KB 57c96fb7 11 months Lélio Brun setup tests for dune
error.ml 1.82 KB 04a188ec about 2 years Pierre-Loïc Garoche - Refactored Error exception and messages - Bug...
expand.ml 10.8 KB ea8f51ae almost 4 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
global.ml 651 Bytes 04a188ec about 2 years Pierre-Loïc Garoche - Refactored Error exception and messages - Bug...
init_predef.ml 2.29 KB ea8f51ae almost 4 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
inliner.ml 20 KB ca7e8027 12 months Lélio Brun fix almost all warnings
log.ml 1.01 KB 61df3cb9 almost 3 years Pierre-Loïc Garoche Reformating plugin signatures. Better report ma...
lusic.ml 3.6 KB 57c96fb7 11 months Lélio Brun setup tests for dune
lustre_types.ml 7.08 KB 04a188ec about 2 years Pierre-Loïc Garoche - Refactored Error exception and messages - Bug...
lustre_utils.ml 3.99 KB b8dfc744 over 2 years Pierre-Loïc Garoche valid _verif node for seal-export lustre
lustrec.odocl 1.05 KB aa85bd44 almost 3 years Guillaume DAVY Doc: update rule and remove old module in odocl
machine_code.ml 16.6 KB ca7e8027 12 months Lélio Brun fix almost all warnings
machine_code.mli 135 Bytes f4cba4b8 almost 3 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
machine_code_common.ml 11.6 KB ca7e8027 12 months Lélio Brun fix almost all warnings
machine_code_common.mli 1.91 KB f0195e96 almost 2 years Pierre-Loïc Garoche - Primitive Tiny backend - Renamed Mpfr to lust...
machine_code_types.ml 1.72 KB 1fd3d002 almost 3 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
main_lustre_compiler.ml 4.93 KB ca7e8027 12 months Lélio Brun fix almost all warnings
main_lustre_testgen.ml 7.19 KB 57c96fb7 11 months Lélio Brun setup tests for dune
main_lustre_verifier.ml 5.45 KB ca7e8027 12 months Lélio Brun fix almost all warnings
mmap.ml 10.7 KB ca7e8027 12 months Lélio Brun fix almost all warnings
modules.ml 12.1 KB ca7e8027 12 months Lélio Brun fix almost all warnings
modules.mli 867 Bytes ca7e8027 12 months Lélio Brun fix almost all warnings
mutation.ml 26.8 KB ca7e8027 12 months Lélio Brun fix almost all warnings
normalization.ml 32.8 KB ca7e8027 12 months Lélio Brun fix almost all warnings
normalization.mli 319 Bytes 95944ba1 about 3 years Pierre-Loïc Garoche Cleaning up stuff in normalization. Mainly repl...
optimize_machine.ml 31.6 KB ca7e8027 12 months Lélio Brun fix almost all warnings
optimize_prog.ml 4.56 KB e47138b8 about 2 years Pierre-Loïc Garoche reactivating the unfolding of constants
options.ml 2.11 KB a0c92fa8 almost 2 years Pierre-Loïc Garoche printing nodes + more progress on seal export
options_management.ml 8.55 KB 57c96fb7 11 months Lélio Brun setup tests for dune
pathConditions.ml 11.7 KB ca7e8027 12 months Lélio Brun fix almost all warnings
printers.ml 22.8 KB ca7e8027 12 months Lélio Brun fix almost all warnings
real.ml 1.44 KB ca7e8027 12 months Lélio Brun fix almost all warnings
real.mli 619 Bytes ca7e8027 12 months Lélio Brun fix almost all warnings
scheduling.ml 10.2 KB ca7e8027 12 months Lélio Brun fix almost all warnings
scheduling_type.ml 557 Bytes a703ed0c about 3 years Pierre-Loïc Garoche Preprocess the selected node in seaL BACKEND: f...
sortProg.ml 2.23 KB ca7e8027 12 months Lélio Brun fix almost all warnings
spec.ml 524 Bytes 8446bf03 almost 4 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
splitting.ml 3.16 KB ca7e8027 12 months Lélio Brun fix almost all warnings
type_predef.ml 3.2 KB ea8f51ae almost 4 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
types.ml 16.6 KB ca7e8027 12 months Lélio Brun fix almost all warnings
typing.ml 39.5 KB ca7e8027 12 months Lélio Brun fix almost all warnings
verifierList.ml 176 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
verifierType.ml 504 Bytes 7a4fd94d over 2 years Pierre-Loïc Garoche Output folder for seal-extract
verifiers.ml 1.26 KB ca7e8027 12 months Lélio Brun fix almost all warnings
version.ml 222 Bytes 57c96fb7 11 months Lélio Brun setup tests for dune

Latest revisions

# Date Author Comment
57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune

ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings

3dfb5cd8 02/05/2021 02:36 PM Lélio Brun

rewrite a bit the menhir parser

719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

b43b8eb5 01/26/2021 10:11 AM Pierre-Loic Garoche

add thread dependency required by z3 lib

ef598ac3 11/17/2020 04:38 PM Pierre-Loïc Garoche

moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract

58fd528a 07/09/2020 03:27 PM Pierre-Loïc Garoche

Added some missing locations in tiny plugin

f0195e96 01/28/2020 05:26 AM Pierre-Loïc Garoche

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

2120af73 01/27/2020 07:00 PM Pierre-Loïc Garoche

[bug cavale 93] solved: issue when resetting a stateless node. Now generating a warning and forcing the stateful status. Could be improved to remove the reset statement. (TODO)

a0c92fa8 01/27/2020 04:24 PM Pierre-Loïc Garoche

printing nodes + more progress on seal export

View revisions

Also available in: Atom