removing true nodes from the OrderGraph
[satune.git] / src /
2017-08-24 Hamedremoving true nodes from the OrderGraph
2017-08-22 HamedFixin memory bug
2017-08-22 HamedAdding support for Integer Encoding ...
2017-08-22 HamedAdding circuit-based encoding for LT and GT
2017-08-22 HamedAfter merging with master branch ...
2017-08-23 bdemskyFix memory bugs
2017-08-23 bdemskyImplement Partial->Total Conversion
2017-08-23 bdemskyGet rid of redundant code
2017-08-22 bdemskyedits
2017-08-22 bdemskyAdd option to optimize edges in final encoding
2017-08-22 HamedAdd printings ...
2017-08-22 HamedTestcase for ordergraph
2017-08-22 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-22 bdemskyAdd calls into tuner framework
2017-08-22 HamedFixin some bugs ..
2017-08-21 bdemskyedit
2017-08-21 bdemskyedits
2017-08-21 bdemskyBug fix for pseudoPos edges
2017-08-21 bdemskyedit
2017-08-21 bdemskyStarting tuner framework
2017-08-18 bdemskyFix bug where we assumed sccNum could be used even...
2017-08-18 bdemskyedits
2017-08-18 bdemskyfix logic
2017-08-18 bdemskyedits
2017-08-17 bdemskyTowards a bug fix
2017-08-17 bdemskyMove constraints to set
2017-08-17 bdemskyFix bug and add support for computing transitive closur...
2017-08-17 bdemskyMerge branch 'hamed'
2017-08-17 bdemskyFinish order decompose function
2017-08-17 bdemskyBig Tabbing Change
2017-08-17 bdemskyAdd rewriting support
2017-08-16 bdemskyExtend Must Analysis
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 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
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-31 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
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 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
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
next