Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
![]() |
|||||||
![]() |
152.1.1 | 7 years ago | Lasse S. J. | Sequential CTL Engine Added |
![]() |
||
![]() |
47 | 10 years ago | Jiri Srba | updated documentation for rule B (missing conditio |
![]() |
||
![]() |
35 | 10 years ago | Jonas Finnemann Jensen | Support for osx32 and osx64 bit builds, we now hav |
![]() |
||
![]() |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
![]() |
||
![]() |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
![]() |
||
![]() |
44.2.40 | 10 years ago | Jiri Srba | Added TAPAAL initialization script of the competit |
![]() |
||
![]() |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
![]() |
||
![]() |
217 | 6 years ago | Andreas Klostergaard | Added CMake support. | 138 bytes |
![]() |
![]() |
![]() |
217 | 6 years ago | Andreas Klostergaard | Added CMake support. | 1.2 KB |
![]() |
![]() |
![]() |
196 | 6 years ago | Jiri Srba | updated the license file | 33.4 KB |
![]() |
![]() |
![]() |
152.34.1 | 6 years ago | Jiri Srba | merged in branch lp:~verifypn-stub/verifypn/inhib_ | 26 bytes |
![]() |
![]() |
![]() |
152.32.35 | 6 years ago | Peter G. Jensen | fixed linux32 compilation | 704 bytes |
![]() |
![]() |
![]() |
190.5.1 | 6 years ago | Peter G. Jensen | compiles, untested | 700 bytes |
![]() |
![]() |
![]() |
152.32.40 | 6 years ago | Peter G. Jensen | osx 32bit | 775 bytes |
![]() |
![]() |
![]() |
78 | 8 years ago | Peter Gjøl Jensen | makefiles, still needs work | 750 bytes |
![]() |
![]() |
![]() |
152.32.36 | 6 years ago | Peter G. Jensen | removed flag not supported by gcc6 | 828 bytes |
![]() |
![]() |
![]() |
152.32.36 | 6 years ago | Peter G. Jensen | removed flag not supported by gcc6 | 830 bytes |
![]() |
![]() |
![]() |
44.2.47 | 10 years ago | Jiri Srba | updated README | 2.2 KB |
![]() |
![]() |
![]() |
249 | 6 years ago | Peter G. Jensen | fixed compiler flag | 2.2 KB |
![]() |
![]() |
![]() |
247 | 6 years ago | Peter G. Jensen | fixed missing check for reachability | 45.2 KB |
![]() |
![]() |