Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Horn / horn_backend_traces.ml @ e4edf171

History | View | Annotate | Download (6.62 KB)

# Date Author Comment
089f94be 03/30/2018 10:43 PM Pierre-Loïc Garoche

MLI for normalization and machine_code.
Structs defining machines are now in machine_code_types

8446bf03 03/30/2018 05:54 PM Pierre-Loïc Garoche

- Makefile: solved dependency problem when compiling include lusi
- Renamed type declarations as lustre_types and machine_code_types

397d5ae3 06/27/2017 06:36 PM Pierre-Loïc Garoche

Copied Printers.pp_expr functions to Horn backend to escape < and > in XML traces output

92ff8f1b 02/01/2017 12:21 AM Teme Kahsai

fix tracebility

d7e04983 01/13/2017 01:17 PM Pierre-Loïc Garoche

[Horn] Updated traceability of Horn backend to deal with fby (arrow machines)

dcafc99b 01/11/2017 12:28 AM Pierre-Loïc Garoche

Merge branch 'github_master' into integ_github_jan10
Intregrate all modifs by Teme et al

9f77bff7 01/06/2017 08:11 AM Teme Kahsai

adding math.smt2

85a6f473 09/30/2016 06:41 PM Teme Kahsai

adding onera automata version

fea041c5 08/09/2016 09:25 PM Xavier Thirioux

new branch for merging mpfr and horn