Project

General

Profile

Revision:

Revisions

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

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

Also available in: Atom