- Committer: tpede16 at aau
- Date: 2020-12-18 13:50:02 UTC
- Revision ID: tpede16@student.aau.dk-20201218135002-ylbdhl8iirw48bvw
Adjust model and query output to work with gui
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
Documentation
|
47 | 10 years ago | Jiri Srba | updated documentation for rule B (missing conditio |
|
||
|
include
|
230 | 3 years ago | tpede16 at aau | Merge with trunk |
|
||
|
Scripts
|
44.2.40 | 10 years ago | Jiri Srba | Added TAPAAL initialization script of the competit |
|
||
|
src
|
230 | 3 years ago | tpede16 at aau | Merge with trunk |
|
||
|
test_models
|
230 | 3 years ago | tpede16 at aau | Merge with trunk |
|
||
|
Tests
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
.bzrignore |
230 | 3 years ago | tpede16 at aau | Merge with trunk | 222 bytes |
|
|
|
CMakeLists.txt |
230 | 3 years ago | tpede16 at aau | Merge with trunk | 4.2 KB |
|
|
|
glpk-warning.patch |
230 | 3 years ago | tpede16 at aau | Merge with trunk | 321 bytes |
|
|
|
LICENSE |
196 | 6 years ago | Jiri Srba | updated the license file | 33.4 KB |
|
|
|
README.md |
230 | 3 years ago | tpede16 at aau | Merge with trunk | 1.8 KB |
|
|
run_tests.sh |
230 | 3 years ago | tpede16 at aau | Merge with trunk | 621 bytes |
|
|
|
toolchain-x86_64-w64-mingw32.cmake |
230 | 3 years ago | tpede16 at aau | Merge with trunk | 643 bytes |
|
|