Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ bc3139b0

Name Size Revision Age Author Comment
  backends c35de73b 10 months Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
  checks 0d54d8a8 10 months Pierre-Loïc Garoche Removed Contract contruct: imported node should...
  features 8446bf03 over 1 year Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
  parsers 2d27eedd 12 months Pierre-Loïc Garoche - Global type env and clock env now availble as...
  plugins c35de73b 10 months Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
  tools 8446bf03 over 1 year Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
  utils 778c80fd 12 months Pierre-Loïc Garoche Some refactoring Adapted the parser/types/const...
Makefile-lustresf.in 758 Bytes 3b4b7a2e almost 2 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 1.22 KB 3b4b7a2e almost 2 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
_tags.in 1.53 KB 778c80fd 12 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 10 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 12 months Pierre-Loïc Garoche - Global type env and clock env now availble as...
compiler_stages.ml 10.7 KB 2d27eedd 12 months Pierre-Loïc Garoche - Global type env and clock env now availble as...
corelang.ml 41.3 KB c35de73b 10 months Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
corelang.mli 7.22 KB c35de73b 10 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 almost 2 years 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 12 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 12 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 10 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 10 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 10 months Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
machine_code_common.mli 1.66 KB c35de73b 10 months Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
machine_code_types.ml 1.61 KB c35de73b 10 months Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...
main_lustre_compiler.ml 5.4 KB 2d27eedd 12 months Pierre-Loïc Garoche - Global type env and clock env now availble as...
main_lustre_testgen.ml 6.83 KB 2d27eedd 12 months Pierre-Loïc Garoche - Global type env and clock env now availble as...
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.4 KB 0d54d8a8 10 months Pierre-Loïc Garoche Removed Contract contruct: imported node should...
normalization.ml 26.1 KB c35de73b 10 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 10 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 ff6ba54e over 1 year Pierre-Loïc Garoche Produce condition coverage for basic boolean ex...
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.5 KB bc3139b0 10 months Pierre-Loïc Garoche Print the spec within the node
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 10 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
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

73ccaf2f 11/08/2018 03:29 PM Pierre-Loïc Garoche

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

2d27eedd 10/08/2018 04:52 PM Pierre-Loïc Garoche

- Global type env and clock env now availble as a global reference (Global module)
- Adapted the parsing of specification with a cocospec compatible one
- The data structure of contracts is now almost cocospec compatible
- Lustrec-test has been updated to use the newest syntax

View revisions

Also available in: Atom