Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Horn / horn_backend_traces.ml @ 185ddf4d

History | View | Annotate | Download (6.61 KB)

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