- Committer: Asger Gitz-Johansen
- Date: 2019-10-29 13:46:02 UTC
- Revision ID: agj@hmk-t570-048-20191029134602-3fixkrz5vks9mrtt
Fixed the last few problems (I hope) with the LTL parsing.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
.idea
|
245 | 4 years ago | Asger Gitz-Johansen | Added the IDEA folder stuff. Technically this is a |
|
||
|
dependencies
|
266 | 4 years ago | Asger Gitz-Johansen | Renamed Src to src and Dependencies to dependencie |
|
||
|
Documentation
|
47 | 10 years ago | Jiri Srba | updated documentation for rule B (missing conditio |
|
||
|
Scripts
|
44.2.40 | 10 years ago | Jiri Srba | Added TAPAAL initialization script of the competit |
|
||
|
src
|
266 | 4 years ago | Asger Gitz-Johansen | Renamed Src to src and Dependencies to dependencie |
|
||
|
Tests
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
.bzrignore |
269 | 4 years ago | Asger Gitz-Johansen | More IDEA ignoring | 1.5 KB |
|
|
|
CMakeLists.txt |
296 | 4 years ago | Asger Gitz-Johansen | Fixed a minor linking issue with spot. Turns out w | 2.9 KB |
|
|
|
LICENSE |
196 | 6 years ago | Jiri Srba | updated the license file | 33.4 KB |
|
|
|
makefile |
152.34.1 | 6 years ago | Jiri Srba | merged in branch lp:~verifypn-stub/verifypn/inhib_ | 26 bytes |
|
|
|
makefile.linux64 |
232 | 5 years ago | Peter G. Jensen | Merge with lp-bounds | 700 bytes |
|
|
|
makefile.osx64 |
212.2.20 | 5 years ago | Peter G. Jensen | updated makefiles | 750 bytes |
|
|
|
makefile.win64 |
152.32.36 | 6 years ago | Peter G. Jensen | removed flag not supported by gcc6 | 830 bytes |
|
|
|
README.mkd |
44.2.47 | 10 years ago | Jiri Srba | updated README | 2.2 KB |
|
|
|
ResolveDependency-lpsolve.cmake |
259 | 4 years ago | Asger Gitz-Johansen | WIP on getting a better lpsolve dependency resolve | 1.9 KB |
|
|
|
ResolveDependency-spot.cmake |
296 | 4 years ago | Asger Gitz-Johansen | Fixed a minor linking issue with spot. Turns out w | 1.8 KB |
|
|
|
rules.mk |
212.2.12 | 5 years ago | Peter G. Jensen | fixed issue with gen. rule J | 2.2 KB |
|
|