Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ 5c3b45a0

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

Latest revisions

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

307c32f5 11/14/2018 06:13 PM Pierre-Loïc Garoche

MPFR bug solved: typing of function argument was not properly building tuples of types.

0d54d8a8 11/13/2018 02:01 AM Pierre-Loïc Garoche

Removed Contract contruct: imported node should be enough. Solved some warning at compile time

34d3f022 11/12/2018 11:43 PM Pierre-Loïc Garoche

Further processing of contract in the typing. More to go

1cc047f9 11/10/2018 02:07 PM Pierre-Loïc Garoche

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

1c9625b4 11/08/2018 03:46 PM Pierre-Loïc Garoche

Merge branch 'cocospec_to_be_merged' into unstable
Mainly adapting to new cocospec syntax for contracts

View revisions

Also available in: Atom