Root/
| File | Age | Message | Size | |
|---|---|---|---|---|
 |
.gitignore | 1 year 4 months | Lorenz Moesenlechner: Added gitignore files | 7 bytes |
 |
3rdparty | |||
|
CMakeLists.txt | 11 months 29 days | Lorenz Moesenlechner: Increasing version number to prepare for next release | 815 bytes |
|
Makefile | 1 year 9 months | Lorenz Mösenlechner: Renamed cram to cram_pl | 47 bytes |
|
TODO.org | 9.57 kB | ||
|
cram_designators | |||
|
cram_execution_trace | |||
|
cram_language | |||
|
cram_math | |||
|
cram_process_modules | |||
|
cram_projection | |||
|
cram_reasoning | |||
|
cram_test_utilities | |||
|
cram_utilities | |||
|
rosdep.yaml | 1 month 27 days | Lorenz Moesenlechner: Got rid of dependency on swi-prolog since liswip is gone. | 52 bytes |
|
stack.xml | 1 year 7 months | Lorenz Moesenlechner: Updated stack.xml files | 453 bytes |
Download this version or git clone http://code.in.tum.de/git/cram-pl.git 