11 Commits (b0c31196c349c94b37d66345a412c549309e52d3)

Author SHA1 Message Date
PBerger 87f768ca41 Edited src/parser/read_lab_file.cpp, fixed String tokenization in WIN32 12 years ago
Thomas Heinemann 65763c29f1 Restructured labeling class (map does not directly point to the 12 years ago
Thomas Heinemann 765689c40a Changed name of class "Labelling" to "Labeling". 12 years ago
Thomas Heinemann 8e460897f0 Minor corrections (Memory initialization in AtomicProposition) and 12 years ago
Thomas Heinemann a0e07c2022 Parser for labelling files including new data structure managing 12 years ago
Thomas Heinemann e5048cabb6 Closed memory leaks. 12 years ago
Thomas Heinemann d37b23a5c5 - Additional "wrong header" testcase for the tra parser 12 years ago
Thomas Heinemann 5c7c23f4d6 Some minor changes (especially limiting the range of variables if 12 years ago
PBerger 31d2c70acc Added temporary Find* files for CMake 12 years ago
PBerger 4cd75789ac Updated styleguides 13 years ago