Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / _tags.in @ 0bd19a92

History | View | Annotate | Download (1.49 KB)

# Date Author Comment
eccb3f63 05/17/2018 03:49 PM Pierre-Loïc Garoche

Provide back the previous behavior concerning parsing spec.

2ae3ef3f 05/16/2018 05:19 PM Pierre-Loïc Garoche

Tentative to rely on Kind parser for contracts

66359a5e 01/31/2018 07:27 AM Pierre-Loïc Garoche

[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program

f50110e7 12/12/2017 03:16 PM Christophe Garion

[lustresf] use Unix package

2511454c 10/10/2017 05:30 PM Christophe Garion

json-parser: prepare tests in Makefiles and _tags.in

30fef623 10/10/2017 05:29 PM Christophe Garion

json-parser: clean packages and _tags.in

921230e6 10/06/2017 02:33 PM Christophe Garion

json-parser: clean files names and directories

5a71ed25 10/06/2017 02:21 PM Christophe Garion

json-parser: use Logs and Cmdliner librairies

efb6eb15 10/05/2017 05:48 PM Christophe Garion

clean _tags.in for YoJSON package

18acb6fc 09/25/2017 11:20 AM Christophe Garion

minor changes in _tags.in

bad7b67a 09/22/2017 05:20 PM Christophe Garion

parser-json: first steps to integrate JSON parser

93119c3f 09/21/2017 01:48 PM Pierre-Loïc Garoche

Moved stateflow tool in src/tool
Updated the makefile to compile lustresf
Not working yet

b7258fa5 06/21/2017 08:42 PM Pierre-Loïc Garoche

Merge branch 'unstable' into seahorn_a6df3
a6df3 is the initial commit of branch seahorn

1954d776 04/27/2017 01:38 PM Pierre-Loïc Garoche

Cleaner configure autoconf script