- Committer: Bogi Napoleon Wennerström
- Date: 2020-11-02 13:35:33 UTC
- Revision ID: bogi.wennerstrom@gmail.com-20201102133533-hbiaj5dl2wnxnloc
* Applied changes from Peter
* Corrected spelling
* Renamed variables
* Extracted methods
* Other misc. refactorings
* Corrected spelling
* Renamed variables
* Extracted methods
* Other misc. refactorings
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
Documentation
|
47 | 10 years ago | Jiri Srba | updated documentation for rule B (missing conditio |
|
||
|
include
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
Scripts
|
44.2.40 | 10 years ago | Jiri Srba | Added TAPAAL initialization script of the competit |
|
||
|
src
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
test_models
|
213.1.141 | 3 years ago | Peter G. Jensen | added simple test-script and test models |
|
||
|
Tests
|
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github |
|
||
.bzrignore |
213.1.40 | 4 years ago | Peter G. Jensen | more fixes to cmake | 222 bytes |
|
|
|
CMakeLists.txt |
227 | 3 years ago | srba.jiri at gmail | fixed compilation with static libraries for mac | 4.2 KB |
|
|
|
glpk-warning.patch |
213.1.118 | 3 years ago | Peter G. Jensen | added patch to supress glpk warning | 321 bytes |
|
|
|
LICENSE |
196 | 6 years ago | Jiri Srba | updated the license file | 33.4 KB |
|
|
|
output.txt |
228 | 3 years ago | Bogi Napoleon Wennerström | * Applied changes from Peter * Corrected spelling | 32.8 KB |
|
|
|
pg-output.txt |
228 | 3 years ago | Bogi Napoleon Wennerström | * Applied changes from Peter * Corrected spelling | 32.8 KB |
|
|
|
README.md |
213.1.151 | 3 years ago | srba.jiri at gmail | updated README with compilation instructions for m | 1.8 KB |
|
|
run_integrity_tests.sh |
228 | 3 years ago | Bogi Napoleon Wennerström | * Applied changes from Peter * Corrected spelling | 159 bytes |
|
|
|
run_tests.sh |
213.1.141 | 3 years ago | Peter G. Jensen | added simple test-script and test models | 621 bytes |
|
|
|
toolchain-x86_64-w64-mingw32.cmake |
213.1.40 | 4 years ago | Peter G. Jensen | more fixes to cmake | 643 bytes |
|
|