Project

General

Profile

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

Latest revisions

# Date Author Comment
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

c419ca44 02/13/2019 02:47 PM Guillaume DAVY

Ada: Changed type name for states and normalized variable name to match ada requirements.

3d85297f 02/12/2019 08:00 PM Guillaume DAVY

Ada: Add prototype of the four procedure in the adb generation

c06b3b47 02/12/2019 06:46 PM Guillaume DAVY

Ada: Add the state variable in the ads, type definition and as parameter of all procedure

b12a91e0 02/12/2019 03:22 PM Guillaume DAVY

Ada: Move some functions from ada_backend_ads.ml to ada_backend_common.ml

81e2ad2f 02/12/2019 03:21 PM Guillaume DAVY

Ada: Remove useless comment

bdc471f3 02/12/2019 02:57 PM Guillaume DAVY

3 main modifications :
- Create a new file : ada_backend_common.ml which contains all the function common to adb and ads.
- Add comment to function
- Generate the procedure prototype in the ads

48a6309c 02/12/2019 11:15 AM Guillaume DAVY

Basic structure for Ada backend

f20d8ac7 02/11/2019 03:05 PM Christophe Garion

Ada: skeletons for Ada compiler

View revisions

Also available in: Atom