patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity
312 Commits 2 Branches 8 Tags
f24491cd5a3d9c491587f2564a050db9914300dd
Commit Graph
65 Commits
Author SHA1 Message Date
patrick 37af6d5127 Made AxiomRule a proper class. 2016-05-22 15:00:54 +02:00
patrick 21237ecac7 Made Operator a proper class. 2016-05-22 14:35:53 +02:00
patrick 90dfa302a9 Made Goal a proper class. 2016-05-22 14:04:58 +02:00
patrick beef3aca60 Made InitialState a proper class. 2016-05-22 13:58:05 +02:00
patrick c7c7a93eba Outsourced SAS value parsing. 2016-05-21 17:09:55 +02:00
patrick 273e310c60 Made Value a proper class. 2016-05-21 16:22:40 +02:00
patrick 5e016d2d79 Made Variable a proper class. 2016-05-21 15:54:03 +02:00
patrick e714060112 Added tests for parsing the operator predicates. 2016-05-21 02:06:35 +02:00
patrick 0e4233cc65 Added tests for parsing value signs. 2016-05-21 01:20:27 +02:00
patrick fa19c0e848 Fixed Google Test version to release 1.7.0. 2016-05-21 00:35:44 +02:00
patrick e0c510a95f Added Google Test as a submodule to avoid potential linking issues. 2016-05-20 21:59:44 +02:00
patrick 38c8a96d99 Added missing REQUIRED flag in CMake file for tests. 2016-05-20 21:37:30 +02:00
patrick 5096161de9 Added custom target for executing the tests. 2016-05-20 20:00:03 +02:00
patrick ffda7b5e27 Minor formatting. 2016-05-20 19:50:11 +02:00
patrick 16b8b4c833 Added tests for SAS parser. 2016-05-20 18:46:37 +02:00