satune.git
2017-08-16 bdemskyGive vector more specific type
2017-08-16 bdemskyGet rid of last bits of nodeinfo
2017-08-16 bdemskyJust push status enum into the node...
2017-08-16 bdemskyMore graph analysis
2017-08-15 bdemskybase version
2017-08-15 bdemskyGet rid of OrderEncoder Structure
2017-08-15 bdemskyBuild graph
2017-08-14 bdemskymore edits
2017-08-12 bdemskyGet rid of refs to order in graph
2017-08-12 bdemskyJust use standard values for hash function
2017-08-09 HamedComputing SCC ...
2017-08-09 HamedBuilding a graph for each order
2017-08-09 HamedBuilding the OrderGraph ...
2017-08-09 Hamedadding new hash functions ...
2017-08-09 bdemskyClean up polarity pass
2017-08-09 bdemskyInter Order is gone...
2017-08-09 HamedAdding new API for defining an order constraint on...
2017-08-08 HamedJust start working on OrderGraph + memory bug fix for...
2017-08-07 HamedAssigning Polarity and BooleanValue to All the Boolean...
2017-08-05 HamedFixing some bugs ...
2017-07-25 HamedAdding a new testcase for circuit-based equals + bug...
2017-07-25 HamedFixing bugs for Unary encoding ...
2017-07-24 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-24 HamedFixing bugs with the table-based predicates
2017-07-24 HamedTesting one-hot encoding + fixing bugs ...
2017-07-21 bdemskyresolve conflict
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 edge cases and fixing leaks
2017-07-20 bdemskyFix Leak
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
2017-07-20 HamedUsing hashset for tableEntries + adding handlers for...
2017-07-19 HamedFixing memory leaks ...
2017-07-19 HamedAdding a logicOp test case + fixing bugs
2017-07-18 HamedAdding a boolean for undefinedStatus
2017-07-18 HamedAdding UndefinedBehavior + TablePredicate to client...
2017-07-18 HamedAdding a elemconst testcase + its bug fixe
2017-07-18 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-18 Hamedbug fix for the order test case ...
2017-07-18 HamedFixing memory leaks
2017-07-18 HamedModify order test case ...
2017-07-18 HamedModify API to work for partial order as well + adding...
2017-07-18 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-07-18 bdemskyInclude encoding for values
2017-07-18 Hamedtest file name convention ...
2017-07-18 HamedTranslating one-item sets by using number of vars
2017-07-18 HamedAdding an API for translating the value of an BooleanOrder
2017-07-17 HamedTranslating back the set with one item (iff and ite...
2017-07-17 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-17 HamedAdd some printings for debugging ...
2017-07-17 bdemskyHandle sets of 1
2017-07-14 bdemskyFix bug in constraint.c
2017-07-14 bdemskyAdd Const API to frontend
2017-07-14 bdemskyA little OCD not to split generation setup with initial...
2017-07-14 HamedGetting some bugs fixed ...
2017-07-14 HamedFixing the test case's bug
2017-07-14 HamedAdding a new test case
2017-07-14 Hamed2 testcases are added + their bugs are fixed ...
2017-07-13 Hamedresolving conflict ...
2017-07-13 bdemskyEncoding Bug Fix
2017-07-13 Hamedchanging printfs to model_prints
2017-07-13 HamedFixing the testcase bug
2017-07-13 bdemskyCheck in bug fix
2017-07-12 bdemskyFix UNARY Encoding issue to use one less variable
2017-07-12 bdemskyDon't generate redundant constraints
2017-07-12 HamedAdding sat solution translator for binary value encoding
2017-07-12 HamedBinary value encoding ...
2017-07-12 HamedAdding unary encoding in sat solution translator ...
2017-07-12 HamedOne-hot encoding sat solution translator
2017-07-12 bdemskyAdd paper about KodKod
2017-07-12 bdemskyAdd Unary Encoding
2017-07-12 bdemskyAdd OneHot Encoding
2017-07-12 bdemskyForgot to turn on CIRCUIT Encoding
2017-07-12 bdemskyAdd CIRCUIT Encoding for Equals
2017-07-12 bdemskySmall edits
2017-07-12 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-12 HamedAdding SAT translator
2017-07-12 bdemskyGet rid of functions returning Edges
2017-07-12 bdemskyTraverse entire AST, but only assign encodings once...
2017-07-12 Brian DemskyMake naive encoding follow AST Tree
2017-07-11 bdemskyUpdating format file
2017-07-11 bdemskySplit functions into separate file
2017-07-11 bdemskySplit encoder into more files
2017-07-11 bdemskyedits
2017-07-11 bdemskyRewrite function operator code
2017-07-11 bdemskyAdd support for some other operators
2017-07-11 HamedFixing bugs + renaming ...
2017-07-11 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-11 HamedAdding a general function for encoding elements
2017-07-11 bdemskyRenaming
2017-07-11 bdemskyFix conflict
2017-07-11 bdemskyRename some functions and cleanup
2017-07-11 bdemskyMinor formatting issues
2017-07-11 HamedFixing bugs + resolving conflicts
2017-07-11 HamedFixing more bugs in generating constraint and getting...
next