A bug fix for the case IGNOREBEHAVIOR in table-base predicate
[satune.git] / src / Backend / satfunctableencoder.c
2017-07-21 HamedA bug fix for the case IGNOREBEHAVIOR in table-base...
2017-07-21 HamedTest case for table-based predicate + fixing bugs
2017-07-20 HamedAdding edge cases for table-based predicate/function
2017-07-20 HamedAdding a new test case for testing FLAGIFFUNDEFINED...
2017-07-20 HamedFixing bugs + adding descriptions to test cases
2017-07-20 Hamedadding different handlers for predicatetable
2017-07-20 HamedFixing spell of entries
2017-07-20 Hamedbreaking functionencoding to different files