Project

General

Profile

Revision:

Revisions

# Date Author Comment
3e039a34 07/02/2020 03:32 PM Pierre-Loïc Garoche

Tiny: solved issue with a change in the Location.dummy signature

af49e9a4 03/12/2020 11:26 AM Xavier Thirioux

forgotten to uodate log.ml

574c671b 03/12/2020 11:21 AM Xavier Thirioux

1) log messages are now flushed. 2) very long computation times due to naive code to check for unused variables are now much shorter

dbe19cd9 02/12/2020 12:34 AM Khanh Trinh

disable lustret and tiny error

b2ffde68 01/30/2020 09:40 PM Hamza Bourbouh

Merge branch 'lustrec-seal' into cocosim_master

f0195e96 01/28/2020 05:26 AM Pierre-Loïc Garoche

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

2120af73 01/27/2020 07:00 PM Pierre-Loïc Garoche

[bug cavale 93] solved: issue when resetting a stateless node. Now generating a warning and forcing the stateful status. Could be improved to remove the reset statement. (TODO)

a0c92fa8 01/27/2020 04:24 PM Pierre-Loïc Garoche

printing nodes + more progress on seal export

d49c60c5 01/17/2020 08:36 PM hbourbou

disable lustrev and lustresf

8d164031 12/09/2019 04:43 PM Pierre-Loïc Garoche

[MPFR] add more functions and better treatment of print output variables in main.c

4e9ba094 12/09/2019 04:42 PM Pierre-Loïc Garoche

temporary changed in the expression printer

c4521397 12/09/2019 09:53 AM Pierre-Loïc Garoche

preserving types/clocks when possible

f3574a72 11/21/2019 03:49 AM Pierre-Loïc Garoche

Moved some code

04a188ec 11/21/2019 03:45 AM Pierre-Loïc Garoche

- Refactored Error exception and messages
- Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

ea758c12 11/20/2019 08:57 PM Pierre-Loïc Garoche

Commenting out unused variables

1147e80a 11/20/2019 08:57 PM Pierre-Loïc Garoche

Array access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equations

c2db420f 11/20/2019 05:09 PM Pierre-Loïc Garoche

comment some code to avoid warning at compile time

9b2c037f 11/20/2019 04:42 PM Pierre-Loïc Garoche

solved bug 91 on cavale: spurious commas in emf backend

490f1952 11/20/2019 04:38 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

94a9e2c3 11/20/2019 04:10 PM Pierre-Loïc Garoche

better location error

60fbbbd9 11/19/2019 06:32 AM Pierre-Loïc Garoche

Optimize_machine
- Constants were improperly unfolded
- Do not unfold clock definition

b309c9b7 11/18/2019 05:25 PM Pierre-Loïc Garoche

big: missing case with substituting expressions

e8f55c25 11/15/2019 12:34 AM Pierre-Loïc Garoche

- tag_true and tag_false moved to lustre_types
- real constants are hidden in Real.ml{i} module

efc2cd2f 11/15/2019 12:34 AM Pierre-Loïc Garoche

[seal] more progress on seal extract

720c7244 11/15/2019 12:33 AM Pierre-Loïc Garoche

sort of slicing for machine code

7075d9fc 11/15/2019 12:32 AM Pierre-Loïc Garoche

kind2 option for printing expressions

8df40160 11/15/2019 12:27 AM Pierre-Loïc Garoche

Reactivated Unfold constant

2d2d89d7 11/15/2019 12:25 AM Pierre-Loïc Garoche

partial evaluation for basic lib

de8e9811 11/15/2019 12:02 AM Pierre-Loïc Garoche

Module to manipulate real constants. For the moment we Num

3066247f 11/14/2019 05:56 PM Pierre-Loïc Garoche

cleaning debug logs

e47138b8 11/14/2019 05:56 PM Pierre-Loïc Garoche

reactivating the unfolding of constants

2db953dd 11/14/2019 05:55 PM Pierre-Loïc Garoche

flatten dependencies in schedule to make sure all required equations are used

8a11dc80 11/14/2019 05:54 PM Pierre-Loïc Garoche

cleaning debug logs

ab8388cf 11/06/2019 10:19 AM Pierre-Loïc Garoche

[emf] added the names of the cocospec properties in the output json

e6b644f4 11/06/2019 07:53 AM Pierre-Loïc Garoche

better negation of constants

51aef490 11/05/2019 12:11 AM Pierre-Loïc Garoche

Better treatment of arrays in EMF backend. Be careful it may have changed the way enum types are declared

0323b9e6 07/18/2019 09:38 PM Pierre-Loïc Garoche

More kind2 outputs: clocked fun call + clocked and restart fun call

73a4995a 07/18/2019 09:02 AM Pierre-Loïc Garoche

seal: now deals with enum

ff61a638 07/18/2019 07:52 AM Pierre-Loïc Garoche

when condition in kind2 printer

3b007718 07/18/2019 07:39 AM Pierre-Loïc Garoche

EMF backend issue

72a93147 07/17/2019 11:12 PM Pierre-Loïc Garoche

seal: stateless systems

1d3f2f66 07/17/2019 07:40 PM Pierre-Loïc Garoche

every in kind2 syntax

ae08b9fc 07/17/2019 07:30 PM Pierre-Loïc Garoche

[seal] delt with Merge and when
[printer] more kind2 syntax

629392e1 07/17/2019 02:16 AM Pierre-Loïc Garoche

No more when suffix in clocked variables with kind2 option

0697ff5b 07/16/2019 11:17 PM Pierre-Loïc Garoche

Produce true/false statements as constants

2200179c 07/16/2019 07:43 PM Pierre-Loïc Garoche

removed reload of external modules when checking algebraic loop.

25320f03 07/16/2019 06:54 PM Pierre-Loïc Garoche

scheduling now report unused vars and remove their definition instead of stopping processing.

c6c8786b 07/16/2019 06:53 PM Pierre-Loïc Garoche

kind2 output for printer. global option available

03c767b1 07/16/2019 03:38 AM Pierre-Loïc Garoche

Seal: solved issue with guards merging

3e07a17b 07/15/2019 08:19 PM Pierre-Loïc Garoche

Sorting expressions: less bugs

b8dfc744 07/12/2019 11:24 PM Pierre-Loïc Garoche

valid _verif node for seal-export lustre

fbcd3ad1 07/12/2019 10:32 PM Pierre-Loïc Garoche

No space in comments

518951ed 07/12/2019 10:24 PM Pierre-Loïc Garoche

Seal export lustre

faf2b835 07/12/2019 10:24 PM Pierre-Loïc Garoche

Work in progress: higher level constructs for lustre elements

5b4c0069 07/12/2019 03:05 AM Pierre-Loïc Garoche

Contract printer cocospec

1561a5bb 07/11/2019 11:25 PM Pierre-Loïc Garoche

No space before contract kwd

096f48d5 07/11/2019 11:23 PM Pierre-Loïc Garoche

Printing trailing zeros in real constants

0292f958 07/11/2019 11:12 PM Pierre-Loïc Garoche

Export cocospec contract

3209838a 07/11/2019 09:14 PM Pierre-Loïc Garoche

configure.ac

3bd83542 07/11/2019 09:10 PM Pierre-Loïc Garoche

Remove dep

0980686c 07/11/2019 09:09 PM Pierre-Loïc Garoche

Seal deps + Z3 pin opam

7a4fd94d 07/11/2019 08:59 PM Pierre-Loïc Garoche

Output folder for seal-extract

3fd36dc9 07/11/2019 08:39 PM Pierre-Loïc Garoche

Seal-export to a new file

d75eb6f1 07/11/2019 07:43 AM Pierre-Loïc Garoche

seal-export: produce the output as well. Could be simpler

81229f63 07/11/2019 06:39 AM Pierre-Loïc Garoche

Seal-extract: first serious version. Guards are gathered as a single expression

3b7f916b 07/10/2019 09:16 PM Pierre-Loïc Garoche

Updated version seal-extract

47851ec2 07/09/2019 03:02 AM Pierre-Loïc Garoche

Working version of seal-extract. Heavy load on z3.
TODO: improvement through memoization

7659bbb1 07/09/2019 03:02 AM Pierre-Loïc Garoche

Corelang function: push_negations that propagate negations in leafs of the expression

7aaacbc9 07/07/2019 03:24 AM Pierre-Loïc Garoche

Better extraction in lustrev-seal

58301109 07/07/2019 03:24 AM Pierre-Loïc Garoche

Zustre: Bug solved in const injection for reals

2104c80a 07/06/2019 12:49 AM Pierre-Loïc Garoche

Addressed a TODO in MCDC Pathconditions: simpler condition for single expression

df94cd73 07/06/2019 12:04 AM Pierre-Loïc Garoche

- More systematic translation for mutation
- copy_var_decl now keeps the generated type

e998fc16 07/05/2019 11:15 PM Pierre-Loïc Garoche

Mutation translates now ids in cocospec import

67ef9395 07/04/2019 05:35 PM Pierre-Loïc Garoche

minor bugs solved in printer: guarantee vs guarantees in cocospec. Imported node shall not be printed as regular code since it is not part of the grammar yet. Kept them as comment.

3050ca8f 07/04/2019 05:34 PM Pierre-Loïc Garoche

keep the open top declaration when loading a module. It may be useful later when producing a lustre file

653b62e0 07/04/2019 05:33 PM Pierre-Loïc Garoche

lustret: do not reload opened modules when generating the mcdc output

8c934ccd 07/04/2019 06:35 AM Pierre-Loïc Garoche

lustrev seal: ongoing work on extraction as dynamical system. Still not working yet

6c3f2837 07/04/2019 06:33 AM Pierre-Loïc Garoche

lustrev: removed the check of no dependencies

49d364b8 07/04/2019 06:32 AM Pierre-Loïc Garoche

comestic changes, removing useless logs

7b424fe6 07/04/2019 06:31 AM Pierre-Loïc Garoche

z3 as an optional pacage in configure

dc6e8512 07/04/2019 01:01 AM Pierre-Loïc Garoche

Merge branch 'ada' into lustrec-seal

e5d77428 05/09/2019 10:19 AM Pierre-Loïc Garoche

Solved issue btw mpfr and conv functions (int_to_real was not handled)

722a2cb6 05/06/2019 05:06 PM Arnaud Dieumegard

Merge lustrec-salsa

fbe52313 05/03/2019 11:54 AM Claude Sodokin

Correction d'import

9213bd21 04/30/2019 02:09 PM Arnaud Dieumegard

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

dc732cf2 04/29/2019 10:29 PM Pierre-Loïc Garoche

Solved scopes print order

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

(1-100/1459) Per page: 25, 50, 100

Also available in: Atom