Project

General

Profile

Revision:

Revisions

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

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

Also available in: Atom