Project

General

Profile

Revision:

Revisions

# Date Author Comment
05f85b44 04/29/2019 01:53 PM Guillaume DAVY

Ada: Start cleaning Ada to prepare for why beckend

c1f565cd 04/19/2019 12:55 PM Guillaume DAVY

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

173a2a8f 04/19/2019 12:47 PM Guillaume DAVY

Ada: Lot of specification is exported in Ada. We use ghost code to store all states,
we generate the transition pridicate but also the invariant. But two problems, occured.
The first one is a visibility problem for the record which is private but must be
public for ghost variable which have to be public for specifaction. The second...

6f3a65e2 04/17/2019 02:27 AM hbourbou

No need for open lustrec_math inside simulink_math_fcn. It creates an error when they are both imported in the same lustre file.

1d95f425 04/11/2019 03:57 PM Pierre-Loïc Garoche

Debug en cours sur les calculs Salsa

325f07c0 04/11/2019 03:16 PM Christophe Garion

doc: use SVG format instead of PNG for dependency graph

aa85bd44 04/11/2019 03:09 PM Guillaume DAVY

Doc: update rule and remove old module in odocl

b5b745fb 04/05/2019 04:37 PM Guillaume DAVY

Ada: First support for transition predicate generation.

867276c9 04/05/2019 04:36 PM Guillaume DAVY

Machine_code: Make a correction in the arrow machine creation :
use the same polymorphic type in variables and values.

2477d634 04/04/2019 04:11 PM Guillaume DAVY

Ada: Correct some errors in printing

230b168e 04/04/2019 02:14 PM Guillaume DAVY

Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
more simple.

2eee868b 03/22/2019 01:51 PM Guillaume DAVY

Merge branch 'lustrec-seal' into ada

826063db 03/22/2019 01:50 PM Guillaume DAVY

Ada: Correct ada main to handle statelles top level node

9fb1ab37 03/22/2019 02:16 AM Garoche

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

75a7b65b 03/22/2019 02:15 AM Garoche

install notes

a4c3d888 03/22/2019 02:05 AM Pierre-Loïc Garoche

rev machines in emf

1f868027 03/22/2019 01:02 AM Pierre-Loïc Garoche

JSON EMF

08788a01 03/21/2019 09:42 PM Pierre-Loïc Garoche

Merge branch 'ada' into lustrec-seal

4034b51c 03/21/2019 09:42 PM Pierre-Loïc Garoche

more explanation in case of failure. Still dirty

f5769e61 03/21/2019 07:55 PM Pierre-Loïc Garoche

Better JSON for EMF backend

861f327f 03/21/2019 07:41 PM Pierre-Loïc Garoche

Resolved sort order of nodes

61e0c3c4 03/21/2019 07:23 PM Guillaume DAVY

Ada:
- Correct the merge with lustrec-seal
- Improve support for builtin function(still work to do)
- Add generation of a gpr file for lib(without main).
- Add var initialisation in the reset, still work to do.

1fd3d002 03/21/2019 05:20 PM Pierre-Loïc Garoche

Cocospec: parsing, normalizing and processing machines for contracts.

42f91c0b 03/21/2019 05:19 PM Pierre-Loïc Garoche

Better EMF output, solved some invalid JSON produced

71999483 03/21/2019 05:18 PM Pierre-Loïc Garoche

Cleaning C backend - removing unused functiions
Preparing for coming ACSL

(51-75/1423) Per page: 25, 50, 100

Also available in: Atom