Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Horn @ e41592cf

Name Size Revision Age Author Comment
horn_backend.ml 25 KB e41592cf over 4 years Teme Kahsai Bug fixed (454), more on travis

Latest revisions

# Date Author Comment
e41592cf 05/05/2015 09:38 PM Teme Kahsai

Bug fixed (454), more on travis

e2068500 05/05/2015 01:54 AM Teme Kahsai

first commit

View revisions

Also available in: Atom