Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ d948c0bd

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

Latest revisions

# Date Author Comment
d948c0bd 11/16/2018 04:18 AM Pierre-Loïc Garoche

math fun lib support in MPFR

ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files

45d53dc3 11/16/2018 02:46 AM Pierre-Loïc Garoche

EMF export of local type definition (for simple types)

4c3c6658 11/16/2018 12:46 AM Pierre-Loïc Garoche

mutation bug solved: improper access to an element of an empty list of bindings

a879351b 11/16/2018 12:44 AM Pierre-Loïc Garoche

Printers bug solved: now properly printing lustre file as open/types/other decls

5c3b45a0 11/15/2018 08:23 PM Pierre-Loïc Garoche

Lustre test gen mutation: bug solved. The path to the installation was hardcoded.

c95a441d 11/15/2018 08:22 PM Pierre-Loïc Garoche

Bug solved in MCDC generation: Some annotations generated were producing problems

bc3139b0 11/15/2018 08:21 PM Pierre-Loïc Garoche

Print the spec within the node

c35de73b 11/15/2018 03:18 AM Pierre-Loïc Garoche

Pretty serious update:
- a bug in regressio ntest Simulink/integrator_ext_IC_matrix_test revealed the following (serious issue):
when building the list of instruction (in the machine code) the access to variable were hardcoded to LocalVar or StateVAr depending whether the variables was part of the identified memories....

05ca2715 11/15/2018 03:16 AM Pierre-Loïc Garoche

Moved back mpfr to its folder. Previsouly there was two competing files :(

View revisions

Also available in: Atom