projects / satune.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update license to relevant files.
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 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
2017-06-21 bdemskyCheck in missing file
 commit | commitdiff | tree
2017-06-21 bdemskyedits
 commit | commitdiff | tree
2017-06-20 bdemskyMake vectors work well inline
 commit | commitdiff | tree
2017-06-20 bdemskyAdd support for deleting vectors that are inlined into...
commit | commitdiff | tree
2017-06-20 bdemskyadd notes
 commit | commitdiff | tree
2017-06-20 bdemskyFix tabbing
 commit | commitdiff | tree
2017-06-20 bdemskyEdits
 commit | commitdiff | tree
2017-06-20 bdemskyake
 commit | commitdiff | tree
2017-06-20 bdemskyClean up Predicates
 commit | commitdiff | tree
2017-06-20 bdemskyRemove COMPARE from backend in anticipation of AST...
commit | commitdiff | tree
2017-06-20 bdemskyMore SAT Encoder
 commit | commitdiff | tree
2017-06-20 bdemskyFix delete function
 commit | commitdiff | tree
2017-06-20 bdemskyFix warnings, merge, and check my code in
 commit | commitdiff | tree
2017-06-20 bdemskyedits
 commit | commitdiff | tree
2017-06-19 bdemskyEdits
 commit | commitdiff | tree
2017-06-19 bdemskyChanges
 commit | commitdiff | tree
2017-06-19 bdemskyAdd some notes
 commit | commitdiff | tree
2017-06-19 bdemskyedits
 commit | commitdiff | tree
2017-06-19 bdemskyStart work on Naive Encoders
 commit | commitdiff | tree
2017-06-17 bdemskyFix some things that C++ doesn't like so we don't lose...
commit | commitdiff | tree
2017-06-17 bdemskyImplement CPython strategy
 commit | commitdiff | tree
2017-06-17 bdemskyUse union in Boolean to save space
 commit | commitdiff | tree
2017-06-17 bdemskyFix Warnings
 commit | commitdiff | tree
2017-06-16 bdemskyedits
 commit | commitdiff | tree
2017-06-16 bdemskyedits
 commit | commitdiff | tree
2017-06-16 bdemskyrename
 commit | commitdiff | tree
2017-06-16 bdemskyFix final makefile target
 commit | commitdiff | tree
2017-06-16 bdemskyFix tabbing on everything
 commit | commitdiff | tree
2017-06-16 bdemskyFix freelist management
 commit | commitdiff | tree
2017-06-16 bdemskyFix warnings
 commit | commitdiff | tree
2017-06-16 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2017-06-16 bdemskyFix functionencoder to have correct pointers...
 commit | commitdiff | tree
2017-06-16 bdemskyAdd Encoder changes
 commit | commitdiff | tree
2017-06-16 bdemskyAdd placeholders for encoders
 commit | commitdiff | tree
2017-06-16 bdemskyAdd Some Papers
 commit | commitdiff | tree
2017-06-16 bdemskyConfigure Doxygen Better for C
 commit | commitdiff | tree
2017-06-16 bdemskyReorg code
 commit | commitdiff | tree
2017-06-15 bdemskyAdd Set AST Constructor
 commit | commitdiff | tree
2017-06-15 bdemskychange tabbing
 commit | commitdiff | tree
2017-06-15 bdemskyfix makefile
 commit | commitdiff | tree
2017-06-15 bdemskyClean up code and make delete the convention for functions...
commit | commitdiff | tree
2017-06-15 bdemskyConvert constraint.c to C
 commit | commitdiff | tree
2017-06-15 bdemskyChanges
 commit | commitdiff | tree
2017-06-15 bdemskyFinish rewriting Set/Table/Vector
 commit | commitdiff | tree
2017-06-15 bdemskyConvert HashSet
 commit | commitdiff | tree
2017-06-15 bdemskyConvert Hashtable
 commit | commitdiff | tree
2017-06-14 bdemskyswitch to C
 commit | commitdiff | tree
2017-06-14 bdemskySwitch to C for Zach
 commit | commitdiff | tree
2017-06-14 bdemskymend
 commit | commitdiff | tree
2017-06-14 bdemskySplit Boolean into separate file
 commit | commitdiff | tree
2017-06-14 bdemskyedits
 commit | commitdiff | tree
2017-06-14 bdemskyfix tabbing
 commit | commitdiff | tree
2017-06-14 bdemskyInitial Skeletons
 commit | commitdiff | tree
2017-05-27 bdemskyBase Commit
 commit | commitdiff | tree
SATune Repository