Project

General

Profile

Revision:

Revisions

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

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

Also available in: Atom