Project

General

Profile

Revision:

Revisions

# Date Author Comment
9b0432bc 08/31/2020 02:56 PM Corentin Lauverjat

Using deriving_ppx to derive show_ functions for the main types defined in lib/
Applying the same procedure of operator specialization taken from the C backend to Tiny
Lustrev has now a functional Tiny plugin : * -unrolling option has been renamed -duration because from an outside observer it is the length in steps of the abstract simulation...

9e88590e 08/20/2020 03:38 PM Corentin Lauverjat

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

507da95d 08/20/2020 03:37 PM Corentin Lauverjat

Mise à jour README.md

fca87593 08/20/2020 03:05 PM Pierre-Loïc Garoche

adding lusic building of libraries when installing includes

a89ad528 08/20/2020 02:53 PM Corentin Lauverjat

Cleaning up configure.ac by removing now useless informations

a2b101d3 08/19/2020 03:31 PM Pierre-Loïc Garoche

Zustre/Z3 dependency: switched from -R to -rpath to solve compatibility issues with Linux/Gcc vs OSX/Clang

a5484aa2 08/19/2020 03:09 PM Pierre-Loïc Garoche

reactivating all plugins

8658035f 08/19/2020 02:47 PM Pierre-Loïc Garoche

restricting opam to core install

e40fd0dd 08/19/2020 02:46 PM Pierre-Loïc Garoche

restricting opam to core install

943dbab3 08/19/2020 02:46 PM Pierre-Loïc Garoche

fixed some code in salsa plugin migration

bd4cb9d6 07/30/2020 04:54 PM Corentin Lauverjat

Opam not generated by dune

b6a913e1 07/30/2020 04:52 PM Corentin Lauverjat

Explanation about the Makefile

491aa732 07/30/2020 04:50 PM Corentin Lauverjat

Add explanation for mlmpfr and mpfr version pinning

9c4cc944 07/30/2020 04:35 PM Corentin Lauverjat

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md

91b83eb8 07/27/2020 02:08 PM Xavier Thirioux

...

fc36d0a0 07/27/2020 01:44 PM Xavier Thirioux

added some cleaning about hash-tables used for typing, clocking, etc.

f7c73c82 07/23/2020 03:34 PM Corentin Lauverjat

Correctif

3769b712 07/23/2020 03:12 PM Corentin Lauverjat

Passage à dune v2

589ccf9f 07/23/2020 03:05 PM Corentin Lauverjat

Passage à dune

dbc69edc 07/16/2020 03:38 PM Corentin Lauverjat

Passage à dune

e1f49bdb 07/16/2020 10:09 AM Xavier Thirioux

work in progress for ACSL support

8c36178f 07/09/2020 03:33 PM Pierre-Loïc Garoche

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

58fd528a 07/09/2020 03:27 PM Pierre-Loïc Garoche

Added some missing locations in tiny plugin

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

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

Also available in: Atom