Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / plugins @ 8d164031

Name Size Revision Age Author Comment
  mpfr 8d164031 8 months Pierre-Loïc Garoche [MPFR] add more functions and better treatment ...
  salsa e8f55c25 9 months Pierre-Loïc Garoche - tag_true and tag_false moved to lustre_types...
  scopes dc732cf2 over 1 year Pierre-Loïc Garoche Solved scopes print order
.merlin 3 Bytes ae7d913d over 1 year Pierre-Loïc Garoche Merlin files

Latest revisions

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

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

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

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

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

Solved scopes print order

1fd3d002 03/21/2019 05:20 PM Pierre-Loïc Garoche

Cocospec: parsing, normalizing and processing machines for contracts.

c3b0a8c9 03/16/2019 03:28 PM Pierre-Loïc Garoche

Merge branch 'salsa' into lustrec-seal

61df3cb9 03/16/2019 06:23 AM Pierre-Loïc Garoche

Reformating plugin signatures. Better report management

f0a067e9 03/15/2019 10:14 PM Pierre-Loïc Garoche

Better production of trace files.
By default traces are not produced. Requires the option -t to produce them

70be4acf 03/15/2019 12:40 AM Pierre-Loïc Garoche

Serious refactoring of scopes plug-in:
- now properly records the scopes
- only register requested ones

57bf28d9 03/13/2019 05:23 PM Pierre-Loïc Garoche

Merge branch 'unstable' into salsa

View revisions

Also available in: Atom