Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends 05f85b44 almost 6 years Guillaume DAVY Ada: Start cleaning Ada to prepare for why beckend
  checks f4cba4b8 almost 6 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
  features 95944ba1 about 6 years Pierre-Loïc Garoche Cleaning up stuff in normalization. Mainly repl...
  parsers 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
  plugins 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
  tools d5ec9f63 almost 6 years Pierre-Loïc Garoche Minor modif on seal
  utils f4cba4b8 almost 6 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
.merlin 3 Bytes ae7d913d over 6 years Pierre-Loïc Garoche Merlin files
Makefile-lustresf.in 758 Bytes 3b4b7a2e about 7 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 1.58 KB 325f07c0 almost 6 years Christophe Garion doc: use SVG format instead of PNG for dependen...
_tags.in 1.92 KB d5ec9f63 almost 6 years Pierre-Loïc Garoche Minor modif on seal
annotations.ml 1.16 KB 8446bf03 almost 7 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
arrow.ml 834 Bytes f4cba4b8 almost 6 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
arrow.mli 102 Bytes 2863281f almost 7 years Pierre-Loïc Garoche Further restructuring: - arrow.ml* to define ba...
automata.ml 14.8 KB f4cba4b8 almost 6 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
basic_library.ml 6.57 KB ea8f51ae almost 7 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
causality.ml 25.5 KB 861f327f almost 6 years Pierre-Loïc Garoche Resolved sort order of nodes
clock_calculus.ml 27.1 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
clock_predef.ml 1.76 KB ec433d69 almost 10 years Xavier Thirioux Major revision due to severe limitations and bu...
clocks.ml 13.9 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
compiler_common.ml 14.4 KB 4034b51c almost 6 years Pierre-Loïc Garoche more explanation in case of failure. Still dirty
compiler_stages.ml 12.1 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
corelang.ml 44.5 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
corelang.mli 7.99 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
delay.ml 2.97 KB ea8f51ae almost 7 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
delay_predef.ml 1.28 KB ea8f51ae almost 7 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
dimension.ml 10.9 KB 333e3a25 about 7 years Pierre-Loïc Garoche [general] Refactor get_node_eqs to produce (eqs...
error.ml 1.77 KB f4cba4b8 almost 6 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
expand.ml 10.8 KB ea8f51ae almost 7 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
global.ml 596 Bytes 2d27eedd over 6 years Pierre-Loïc Garoche - Global type env and clock env now availble as...
init_predef.ml 2.29 KB ea8f51ae almost 7 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
inliner.ml 20.1 KB f4cba4b8 almost 6 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
location.ml 3.44 KB ea8f51ae almost 7 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
log.ml 1.01 KB 61df3cb9 almost 6 years Pierre-Loïc Garoche Reformating plugin signatures. Better report ma...
lusic.ml 3.53 KB 19a1e66b about 6 years Pierre-Loïc Garoche Added include directive that directly inject a ...
lustre_types.ml 7.09 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
lustrec.odocl 1.05 KB aa85bd44 almost 6 years Guillaume DAVY Doc: update rule and remove old module in odocl
machine_code.ml 16.4 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
machine_code.mli 135 Bytes f4cba4b8 almost 6 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
machine_code_common.ml 11.7 KB 867276c9 almost 6 years Guillaume DAVY Machine_code: Make a correction in the arrow ma...
machine_code_common.mli 1.84 KB 70be4acf almost 6 years Pierre-Loïc Garoche Serious refactoring of scopes plug-in: - now pr...
machine_code_types.ml 1.72 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
main_lustre_compiler.ml 4.76 KB 61df3cb9 almost 6 years Pierre-Loïc Garoche Reformating plugin signatures. Better report ma...
main_lustre_testgen.ml 6.97 KB 217837e2 about 6 years Pierre-Loïc Garoche Unified compilation of lusi and lus files Diffe...
main_lustre_verifier.ml 5.15 KB 217837e2 about 6 years Pierre-Loïc Garoche Unified compilation of lusi and lus files Diffe...
mmap.ml 10.7 KB 40d33d55 almost 8 years Xavier Thirioux first version (doesn't even compile) of mutatio...
modules.ml 11.1 KB de671495 almost 6 years Pierre-Loïc Garoche Merging branches, disabling the specification p...
modules.mli 878 Bytes 5fccce23 about 6 years Pierre-Loïc Garoche - Dep type with a tuple has been replaced by a ...
mutation.ml 26.8 KB 4c3c6658 over 6 years Pierre-Loïc Garoche mutation bug solved: improper access to an elem...
normalization.ml 32.1 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
normalization.mli 319 Bytes 95944ba1 about 6 years Pierre-Loïc Garoche Cleaning up stuff in normalization. Mainly repl...
ocaml_utils.ml.in 31 Bytes c80e92d1 over 7 years Pierre-Loïc Garoche Solving a warning with ocaml 4.04 and uppercase...
optimize_machine.ml 26.3 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
optimize_prog.ml 4.43 KB d0b1ec56 over 10 years Xavier Thirioux - changed the basic optimization scheme (option...
options.ml 1.93 KB 3cd040e3 almost 7 years Pierre-Loïc Garoche Issues with typing pp_basic_lib_fun
options_management.ml 8.42 KB 61df3cb9 almost 6 years Pierre-Loïc Garoche Reformating plugin signatures. Better report ma...
pathConditions.ml 11.5 KB c95a441d over 6 years Pierre-Loïc Garoche Bug solved in MCDC generation: Some annotations...
pluginList.ml.in 77 Bytes ad4774b0 almost 7 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...
pluginType.ml 852 Bytes 61df3cb9 almost 6 years Pierre-Loïc Garoche Reformating plugin signatures. Better report ma...
plugins.ml 1.72 KB 61df3cb9 almost 6 years Pierre-Loïc Garoche Reformating plugin signatures. Better report ma...
printers.ml 19.3 KB 1fd3d002 almost 6 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
scheduling.ml 9.52 KB f4cba4b8 almost 6 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
scheduling_type.ml 557 Bytes a703ed0c over 6 years Pierre-Loïc Garoche Preprocess the selected node in seaL BACKEND: f...
sortProg.ml 2.24 KB 861f327f almost 6 years Pierre-Loïc Garoche Resolved sort order of nodes
spec.ml 524 Bytes 8446bf03 almost 7 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
splitting.ml 3.18 KB 8446bf03 almost 7 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
type_predef.ml 3.2 KB ea8f51ae almost 7 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
types.ml 16.5 KB ea8f51ae almost 7 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
typing.ml 39.6 KB 4034b51c almost 6 years Pierre-Loïc Garoche more explanation in case of failure. Still dirty
verifierList.ml.in 83 Bytes ad4774b0 almost 7 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...
verifierType.ml 495 Bytes 2fb97ad4 almost 7 years Pierre-Loïc Garoche Merge conflict solved
verifiers.ml 1.22 KB 2fb97ad4 almost 7 years Pierre-Loïc Garoche Merge conflict solved
version.ml.in 155 Bytes a86bae77 almost 8 years Pierre-Loïc Garoche - Adding new Makefile target for regression tes...

Latest revisions

# Date Author Comment
05f85b44 04/29/2019 01:53 PM Guillaume DAVY

Ada: Start cleaning Ada to prepare for why beckend

c1f565cd 04/19/2019 12:55 PM Guillaume DAVY

Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada

173a2a8f 04/19/2019 12:47 PM Guillaume DAVY

Ada: Lot of specification is exported in Ada. We use ghost code to store all states,
we generate the transition pridicate but also the invariant. But two problems, occured.
The first one is a visibility problem for the record which is private but must be
public for ghost variable which have to be public for specifaction. The second...

325f07c0 04/11/2019 03:16 PM Christophe Garion

doc: use SVG format instead of PNG for dependency graph

aa85bd44 04/11/2019 03:09 PM Guillaume DAVY

Doc: update rule and remove old module in odocl

b5b745fb 04/05/2019 04:37 PM Guillaume DAVY

Ada: First support for transition predicate generation.

867276c9 04/05/2019 04:36 PM Guillaume DAVY

Machine_code: Make a correction in the arrow machine creation :
use the same polymorphic type in variables and values.

2477d634 04/04/2019 04:11 PM Guillaume DAVY

Ada: Correct some errors in printing

230b168e 04/04/2019 02:14 PM Guillaume DAVY

Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
more simple.

2eee868b 03/22/2019 01:51 PM Guillaume DAVY

Merge branch 'lustrec-seal' into ada

View revisions

Also available in: Atom