patrick
/
plasp
Archived
1
0
Fork 0
Commit Graph

23 Commits

Author SHA1 Message Date
Patrick Lühne c4e19dddae
Refactoring to use cleaner output implementation. 2016-11-29 06:03:05 +01:00
Patrick Lühne d4faaf428c Switched from Google Test to Catch. 2016-10-08 16:03:14 +02:00
Patrick Lühne b4f7e4f102 Added test case covering unexpected whitespaces in SAS file. 2016-08-30 18:48:24 +02:00
Patrick Lühne 76f8df13fc Fixed parsing issue with unexpected whitespaces in SAS files. 2016-08-30 13:01:22 +02:00
Patrick Lühne 342a346fce Started implementing colored output. 2016-06-14 12:47:39 +02:00
Patrick Lühne d26ff2df77 Implemented computation of derived requirements. 2016-05-30 15:44:13 +02:00
Patrick Lühne d9a40af3f0 Using unsigned constants in tests to avoid warnings with Google Test. 2016-05-26 00:17:55 +02:00
Patrick Lühne 9b2ed2e03e Added test covering the parsing of action costs and conditional effects. 2016-05-24 02:13:21 +02:00
Patrick Lühne 430bedc2cc Added test covering SAS feature requirements. 2016-05-24 02:03:13 +02:00
Patrick Lühne d118788142 Parsing <none of those> values in SAS files. 2016-05-23 01:27:28 +02:00
Patrick Lühne 081b604c40 Added test for removal of trailing parantheses with 0-ary predicates. 2016-05-23 00:47:30 +02:00
Patrick Lühne 1e47173d17 Made Predicate a proper class. 2016-05-22 16:00:58 +02:00
Patrick Lühne 6677ded33e Made Effect a proper class. 2016-05-22 15:46:41 +02:00
Patrick Lühne 37af6d5127 Made AxiomRule a proper class. 2016-05-22 15:00:54 +02:00
Patrick Lühne 21237ecac7 Made Operator a proper class. 2016-05-22 14:35:53 +02:00
Patrick Lühne 90dfa302a9 Made Goal a proper class. 2016-05-22 14:04:58 +02:00
Patrick Lühne beef3aca60 Made InitialState a proper class. 2016-05-22 13:58:05 +02:00
Patrick Lühne c7c7a93eba Outsourced SAS value parsing. 2016-05-21 17:09:55 +02:00
Patrick Lühne 273e310c60 Made Value a proper class. 2016-05-21 16:22:40 +02:00
Patrick Lühne 5e016d2d79 Made Variable a proper class. 2016-05-21 15:54:03 +02:00
Patrick Lühne e714060112 Added tests for parsing the operator predicates. 2016-05-21 02:06:35 +02:00
Patrick Lühne 0e4233cc65 Added tests for parsing value signs. 2016-05-21 01:20:27 +02:00
Patrick Lühne 16b8b4c833 Added tests for SAS parser. 2016-05-20 18:46:37 +02:00