Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Horn / horn_backend_traces.ml @ 990210f3

History | View | Annotate | Download (6.62 KB)

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