Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test @ 9f77bff7

Name Size Revision Age Author Comment
Makefile 266 Bytes bad9b6b2 over 3 years Teme Kahsai Updated to onera_git commit version 9421e24
horn_regression.list 165 Bytes e41592cf over 4 years Teme Kahsai Bug fixed (454), more on travis
regression.sh 1.86 KB a9b02b02 over 4 years Teme Kahsai return value
test-compile.sh 7.31 KB 9f77bff7 almost 3 years Teme Kahsai adding math.smt2
test-compile.sh.in 7.29 KB 3b2bd83d almost 3 years Teme Kahsai updating to onera version 30f766a:2016-12-04
tests_ok.list 52.2 KB bad9b6b2 over 3 years Teme Kahsai Updated to onera_git commit version 9421e24
tests_ok_dev.list 1.11 KB 3b2bd83d almost 3 years Teme Kahsai updating to onera version 30f766a:2016-12-04

Latest revisions

# Date Author Comment
9f77bff7 01/06/2017 08:11 AM Teme Kahsai

adding math.smt2

323c5b19 12/08/2016 05:46 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

3b2bd83d 12/08/2016 05:37 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

bad9b6b2 02/23/2016 10:49 PM Teme Kahsai

Updated to onera_git commit version 9421e24

a1daa793 02/23/2016 10:47 PM Teme Kahsai

Updated to onera_git commit version 9421e24

a9b02b02 05/06/2015 12:11 AM Teme Kahsai

return value

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