Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ 903317e7

Name Size Revision Age Author Comment
  backends 903317e7 over 2 years Guillaume DAVY Ada: Remove generation of init and clear and so...
  checks ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
  features ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
  parsers ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
  plugins 1a05d45a over 2 years Pierre-Loïc Garoche Cleaning warning in mpfr
  tools ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
  utils ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
.merlin 3 Bytes ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
Makefile-lustresf.in 758 Bytes 3b4b7a2e over 3 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 1.22 KB 3b4b7a2e over 3 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
_tags.in 1.58 KB f20d8ac7 over 2 years Christophe Garion Ada: skeletons for Ada compiler
annotations.ml 1.16 KB 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
arrow.ml 806 Bytes 2863281f about 3 years Pierre-Loïc Garoche Further restructuring: - arrow.ml* to define ba...
arrow.mli 102 Bytes 2863281f about 3 years Pierre-Loïc Garoche Further restructuring: - arrow.ml* to define ba...
automata.ml 14.7 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
basic_library.ml 6.57 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
causality.ml 24.5 KB 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
clock_calculus.ml 26.7 KB 0d54d8a8 over 2 years Pierre-Loïc Garoche Removed Contract contruct: imported node should...
clock_predef.ml 1.76 KB ec433d69 about 6 years Xavier Thirioux Major revision due to severe limitations and bu...
clocks.ml 14.2 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
compiler_common.ml 10.1 KB 2d27eedd over 2 years Pierre-Loïc Garoche - Global type env and clock env now availble as...
compiler_stages.ml 10.9 KB c419ca44 over 2 years Guillaume DAVY Ada: Changed type name for states and normalize...
corelang.ml 41.3 KB c35de73b over 2 years Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
corelang.mli 7.22 KB c35de73b over 2 years Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
delay.ml 2.97 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
delay_predef.ml 1.28 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
dimension.ml 10.9 KB 333e3a25 over 3 years Pierre-Loïc Garoche [general] Refactor get_node_eqs to produce (eqs...
error.ml 1.65 KB 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
expand.ml 10.8 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
global.ml 596 Bytes 2d27eedd over 2 years Pierre-Loïc Garoche - Global type env and clock env now availble as...
init_predef.ml 2.29 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
inliner.ml 19.9 KB 2d27eedd over 2 years Pierre-Loïc Garoche - Global type env and clock env now availble as...
location.ml 3.44 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
log.ml 1015 Bytes 521e2a6b about 4 years Pierre-Loïc Garoche trying to improving pretty printing. Not so per...
lusic.ml 3.52 KB 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
lustre_types.ml 6.85 KB 0d54d8a8 over 2 years Pierre-Loïc Garoche Removed Contract contruct: imported node should...
lustrec.odocl 1.06 KB 53472c83 about 3 years Pierre-Loïc Garoche Updated TODO Changed selection of files in odocl
machine_code.ml 14.7 KB c35de73b over 2 years Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
machine_code.mli 122 Bytes 2863281f about 3 years Pierre-Loïc Garoche Further restructuring: - arrow.ml* to define ba...
machine_code_common.ml 10.9 KB c35de73b over 2 years Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
machine_code_common.mli 1.66 KB c35de73b over 2 years Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
machine_code_types.ml 1.61 KB c35de73b over 2 years Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
main_lustre_compiler.ml 5.4 KB 2d27eedd over 2 years Pierre-Loïc Garoche - Global type env and clock env now availble as...
main_lustre_testgen.ml 6.84 KB 5c3b45a0 over 2 years Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
mmap.ml 10.7 KB 40d33d55 about 4 years Xavier Thirioux first version (doesn't even compile) of mutatio...
modules.ml 7.85 KB 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
mutation.ml 26.8 KB 4c3c6658 over 2 years Pierre-Loïc Garoche mutation bug solved: improper access to an elem...
normalization.ml 26.1 KB c35de73b over 2 years Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
normalization.mli 288 Bytes 089f94be about 3 years Pierre-Loïc Garoche MLI for normalization and machine_code. Structs...
ocaml_utils.ml.in 31 Bytes c80e92d1 over 3 years Pierre-Loïc Garoche Solving a warning with ocaml 4.04 and uppercase...
optimize_machine.ml 26 KB c35de73b over 2 years Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
optimize_prog.ml 4.43 KB d0b1ec56 over 6 years Xavier Thirioux - changed the basic optimization scheme (option...
options.ml 1.93 KB 3cd040e3 about 3 years Pierre-Loïc Garoche Issues with typing pp_basic_lib_fun
options_management.ml 7.78 KB f20d8ac7 over 2 years Christophe Garion Ada: skeletons for Ada compiler
pathConditions.ml 11.5 KB c95a441d over 2 years Pierre-Loïc Garoche Bug solved in MCDC generation: Some annotations...
pluginList.ml.in 86 Bytes 1954d776 about 4 years Pierre-Loïc Garoche Cleaner configure autoconf script
pluginType.ml 705 Bytes 089f94be about 3 years Pierre-Loïc Garoche MLI for normalization and machine_code. Structs...
plugins.ml 1.66 KB 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
printers.ml 16.6 KB a879351b over 2 years Pierre-Loïc Garoche Printers bug solved: now properly printing lust...
scheduling.ml 8.86 KB 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
sortProg.ml 2.23 KB 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
spec.ml 524 Bytes 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
splitting.ml 3.18 KB 8446bf03 about 3 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
type_predef.ml 3.2 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
types.ml 16.5 KB ea8f51ae about 3 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
typing.ml 37.2 KB 307c32f5 over 2 years Pierre-Loïc Garoche MPFR bug solved: typing of function argument wa...
version.ml.in 155 Bytes a86bae77 about 4 years Pierre-Loïc Garoche - Adding new Makefile target for regression tes...

Latest revisions

# Date Author Comment
903317e7 02/19/2019 05:40 PM Guillaume DAVY

Ada: Remove generation of init and clear and some refactoring around
prototype.

dc429e2f 02/18/2019 02:29 PM Guillaume DAVY

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

c203d676 02/18/2019 02:29 PM Guillaume DAVY

Ada Change private to limited private for State type package.

768f60f0 02/14/2019 05:11 PM Christophe Garion

Ada: first pretty printing functions for adb

69cd79c6 02/14/2019 05:02 PM Guillaume DAVY

Ada: Temporary change

4ba20be4 02/14/2019 02:47 PM Guillaume DAVY

Ada: Add local variable declaration for step

2ddbde7d 02/14/2019 02:42 PM Guillaume DAVY

Ada: Last correction was incorrect

e6705d79 02/14/2019 02:38 PM Guillaume DAVY

Ada: Correct a bad copy-paste

fd834769 02/14/2019 02:35 PM Guillaume DAVY

Ada: Add the generation of the wrapper file : the main ada file and the project. It is called
only if the main node option is given to lustrec. This feature implied some refactoring. Also
added some OCaml Doc to undocummented functions.

7cbb6d8a 02/13/2019 07:38 PM Guillaume DAVY

Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning

View revisions

Also available in: Atom