projects / satune.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Get rid of refs to order in graph
2017-08-12 bdemskyGet rid of refs to order in graph
 commit | commitdiff | tree
2017-08-12 bdemskyJust use standard values for hash function
 commit | commitdiff | tree
2017-08-09 bdemskyClean up polarity pass
 commit | commitdiff | tree
2017-08-09 bdemskyInter Order is gone...
 commit | commitdiff | tree
2017-07-21 bdemskyresolve conflict
 commit | commitdiff | tree
2017-07-20 bdemskyFix Leak
 commit | commitdiff | tree
2017-07-18 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2017-07-18 bdemskyInclude encoding for values
 commit | commitdiff | tree
2017-07-17 bdemskyHandle sets of 1
 commit | commitdiff | tree
2017-07-14 bdemskyFix bug in constraint.c
 commit | commitdiff | tree
2017-07-14 bdemskyAdd Const API to frontend
 commit | commitdiff | tree
2017-07-14 bdemskyA little OCD not to split generation setup with initializati...
commit | commitdiff | tree
2017-07-13 bdemskyEncoding Bug Fix
 commit | commitdiff | tree
2017-07-13 bdemskyCheck in bug fix
 commit | commitdiff | tree
2017-07-12 bdemskyFix UNARY Encoding issue to use one less variable
 commit | commitdiff | tree
2017-07-12 bdemskyDon't generate redundant constraints
 commit | commitdiff | tree
2017-07-12 bdemskyAdd paper about KodKod
 commit | commitdiff | tree
2017-07-12 bdemskyAdd Unary Encoding
 commit | commitdiff | tree
2017-07-12 bdemskyAdd OneHot Encoding
 commit | commitdiff | tree
2017-07-12 bdemskyForgot to turn on CIRCUIT Encoding
 commit | commitdiff | tree
2017-07-12 bdemskyAdd CIRCUIT Encoding for Equals
 commit | commitdiff | tree
2017-07-12 bdemskySmall edits
 commit | commitdiff | tree
2017-07-12 bdemskyGet rid of functions returning Edges
 commit | commitdiff | tree
2017-07-12 bdemskyTraverse entire AST, but only assign encodings once...
 commit | commitdiff | tree
2017-07-12 Brian DemskyMake naive encoding follow AST Tree
 commit | commitdiff | tree
2017-07-11 bdemskyUpdating format file
 commit | commitdiff | tree
2017-07-11 bdemskySplit functions into separate file
 commit | commitdiff | tree
2017-07-11 bdemskySplit encoder into more files
 commit | commitdiff | tree
2017-07-11 bdemskyedits
 commit | commitdiff | tree
2017-07-11 bdemskyRewrite function operator code
 commit | commitdiff | tree
2017-07-11 bdemskyAdd support for some other operators
 commit | commitdiff | tree
2017-07-11 bdemskyRenaming
 commit | commitdiff | tree
2017-07-11 bdemskyFix conflict
 commit | commitdiff | tree
2017-07-11 bdemskyRename some functions and cleanup
 commit | commitdiff | tree
2017-07-11 bdemskyMinor formatting issues
 commit | commitdiff | tree
2017-07-11 bdemskyComments for Hamed
 commit | commitdiff | tree
2017-07-11 bdemskyMerge branch 'master' into brian
 commit | commitdiff | tree
2017-07-11 bdemskyBug fix
 commit | commitdiff | tree
2017-07-11 bdemskyedits
 commit | commitdiff | tree
2017-07-11 bdemskyIt compiles
 commit | commitdiff | tree
2017-07-11 bdemskyMerge branch 'hamed' into brian
 commit | commitdiff | tree
2017-07-11 bdemskyFix some of the memory leaks
 commit | commitdiff | tree
2017-07-11 bdemskyFix memory allocation error
 commit | commitdiff | tree
2017-07-11 bdemskyOptimize function for constraint
 commit | commitdiff | tree
2017-07-10 bdemskyAdd print routine for CNFExpr
 commit | commitdiff | tree
2017-07-10 bdemskybug fix
 commit | commitdiff | tree
2017-07-10 bdemskyAnother bug fix
 commit | commitdiff | tree
2017-07-10 Brian DemskyFix leak
 commit | commitdiff | tree
2017-07-10 bdemskyedit
 commit | commitdiff | tree
2017-07-10 bdemskyRevent erroneous bug fix
 commit | commitdiff | tree
2017-07-10 bdemskyedits
 commit | commitdiff | tree
2017-07-10 bdemskybug fixes
 commit | commitdiff | tree
2017-07-10 bdemskyedits
 commit | commitdiff | tree
2017-07-10 bdemskyUpdate license to relevant files.
 commit | commitdiff | tree
2017-07-10 bdemskyExtend test case to call solver
 commit | commitdiff | tree
2017-07-10 bdemskyStart CNF Test Case
 commit | commitdiff | tree
2017-07-10 bdemskyCaught another bug
 commit | commitdiff | tree
2017-07-09 bdemskyedits
 commit | commitdiff | tree
2017-07-09 bdemskyAdd support for outputting CNF
 commit | commitdiff | tree
2017-07-09 bdemskymore edits
 commit | commitdiff | tree
2017-07-09 bdemskyAdd papers
 commit | commitdiff | tree
2017-07-09 bdemskymerge
 commit | commitdiff | tree
2017-07-09 bdemskyedits
 commit | commitdiff | tree
2017-07-09 bdemskymore edits
 commit | commitdiff | tree
2017-07-08 bdemskymore edits
 commit | commitdiff | tree
2017-07-08 bdemskyedits
 commit | commitdiff | tree
2017-07-08 bdemskymore edits
 commit | commitdiff | tree
2017-07-06 bdemskyMerge branch 'hamed' into brian
 commit | commitdiff | tree
2017-07-05 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2017-07-05 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2017-07-05 bdemskymore edits
 commit | commitdiff | tree
2017-07-05 bdemskymore code
 commit | commitdiff | tree
2017-07-03 bdemskymore bug fixes, think this should work
 commit | commitdiff | tree
2017-07-03 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2017-07-03 bdemskysome bug fixes
 commit | commitdiff | tree
2017-07-02 bdemskyfinish normalization
 commit | commitdiff | tree
2017-07-01 bdemskymore code
 commit | commitdiff | tree
2017-07-01 bdemskymods
 commit | commitdiff | tree
2017-07-01 bdemskyAdd nodeedge files
 commit | commitdiff | tree
2017-06-30 bdemskyGet rid of annoying errors and fix crazy hash function
 commit | commitdiff | tree
2017-06-29 bdemskyAdd some comments for Hamed
 commit | commitdiff | tree
2017-06-29 bdemskyFix encoding bug and fix misconception of how memory...
commit | commitdiff | tree
2017-06-27 bdemskyAdd comments to code of things Hamed should fix (in...
commit | commitdiff | tree
2017-06-24 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2017-06-24 Brian DemskyAdd Order Encoding
 commit | commitdiff | tree
2017-06-24 bdemskyFix double free bug in function encoding
 commit | commitdiff | tree
2017-06-23 bdemskyTest email notification
 commit | commitdiff | tree
2017-06-22 Brian DemskyAdd initialization of TableEntry vector
 commit | commitdiff | tree
2017-06-22 Brian DemskyFix memory bug
 commit | commitdiff | tree
2017-06-22 Brian Demskyedits
 commit | commitdiff | tree
2017-06-22 bdemskyFix memory errors detected by valgrind and inline functions
 commit | commitdiff | tree
2017-06-22 bdemskyRemove extra files
 commit | commitdiff | tree
2017-06-22 bdemskyAdd test case plus make changes so test case runs
 commit | commitdiff | tree
2017-06-22 bdemskyInline Encoding Structs into appropriate AST Nodes
 commit | commitdiff | tree
2017-06-22 bdemskyAdd all C files to tabbing file
 commit | commitdiff | tree
2017-06-22 bdemskyAdd array object to standardize arrays
 commit | commitdiff | tree
2017-06-21 bdemskyBe consistent
 commit | commitdiff | tree
2017-06-21 bdemskyget rid of warnings
 commit | commitdiff | tree
2017-06-21 bdemskyedit
 commit | commitdiff | tree
2017-06-21 bdemskyedits
 commit | commitdiff | tree
next
SATune Repository