Project

General

Profile

Download (2.04 KB) Statistics
| Branch: | Tag: | Revision:

lustrec/src/_tags.in @ 75c459f4

# Date Author Comment
b43b8eb5 01/26/2021 10:11 AM Pierre-Loic Garoche

add thread dependency required by z3 lib
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
ab26e196 03/18/2019 04:52 PM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' into ada
d5ec9f63 03/18/2019 04:31 PM Pierre-Loïc Garoche

Minor modif on seal
c3b0a8c9 03/16/2019 03:28 PM Pierre-Loïc Garoche

Merge branch 'salsa' into lustrec-seal
406818e7 03/12/2019 03:17 PM Pierre-Loïc Garoche

Merge branch 'unstable' into salsa
663e3554 03/12/2019 02:26 PM Pierre-Loïc Garoche

num as a package
e4b630c5 02/21/2019 02:26 PM Guillaume DAVY

Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into ada
f20d8ac7 02/11/2019 03:05 PM Christophe Garion

Ada: skeletons for Ada compiler
7f2309bc 11/20/2018 07:02 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal
e491c34a 11/17/2018 01:56 AM Pierre-Loïc Garoche

Issues with linking Z3 on OSX
673bf87c 11/16/2018 07:56 PM Pierre-Loïc Garoche

Num module for mli
ce0f282d 11/16/2018 07:54 PM Pierre-Loïc Garoche

Num is a package in recent ocaml
82906771 11/08/2018 03:58 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal
1c9625b4 11/08/2018 03:46 PM Pierre-Loïc Garoche

Merge branch 'cocospec_to_be_merged' into unstable
Mainly adapting to new cocospec syntax for contracts
99cb0623 10/19/2018 12:32 AM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal
778c80fd 10/05/2018 07:54 PM Pierre-Loïc Garoche

Some refactoring
Adapted the parser/types/constructors for cocospec syntax
3b5419a8 09/14/2018 10:36 AM Christophe Garion

finishing solving strange conflicts for merge...
17e1d0f4 09/13/2018 03:14 PM Pierre-Loïc Garoche

- Removed the kind2 file (parser/lexer/types)
- Cleaned a little bit our parser: removal of old prelude constructs
bc9fd714 07/12/2018 07:35 PM Pierre-Loïc Garoche

Temporily disabling Mehnir as a parser.
b0c381d0 07/12/2018 04:04 PM Pierre-Loïc Garoche

Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
57d61d67 06/22/2018 11:24 AM Pierre-Loïc Garoche

New option to select github version of Z3
Added Yojson dependency in lustrev
Some progress on Cex generation
090baab6 06/01/2018 10:02 AM Pierre-Loïc Garoche

Compiling - while doing nothing :)
2bb5ab71 05/17/2018 04:57 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal
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
5778dd5e 04/06/2018 11:19 PM Pierre-Loïc Garoche

Some progress on zustre2
ad4774b0 03/15/2018 12:07 AM Pierre-Loïc Garoche

- Normalization parameters (alias and unfold_array) are now provided as parameter
- program type renamed as program_t
- Initiating the lustrev tool with dependencies to z3 and seal.
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