projects / satune.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Bug fix: consider the cases when the tuner gets timeout
2019-11-22 Hamed GorjiaraBug fix: consider the cases when the tuner gets timeout
 commit | commitdiff | tree
2019-11-20 Hamed GorjiaraTurning on the ENCODINGGRAPH optimization for ORDERINTEGEREN...
commit | commitdiff | tree
2019-11-19 Hamed GorjiaraTimeout for running benchmarks
 commit | commitdiff | tree
2019-11-19 Hamed Gorjiarausing vartunable instead of tunable
 commit | commitdiff | tree
2019-11-19 Hamed GorjiaraTuner bug fix: Setting default for 2 used tuners
 commit | commitdiff | tree
2019-11-18 Hamed GorjiaraGenerating SMT tables
 commit | commitdiff | tree
2019-11-13 Hamed GorjiaraMerge branch 'incremental' of ssh://plrg.ics.uci.edu...
commit | commitdiff | tree
2019-11-13 Hamed GorjiaraBug fix for return value in runbench script
 commit | commitdiff | tree
2019-11-13 Hamed GorjiaraDecreasing the memory limit. Problem still exists in...
commit | commitdiff | tree
2019-11-13 Hamed GorjiaraOnly run learningset test cases
 commit | commitdiff | tree
2019-11-13 Hamed GorjiaraLimit on memory not data
 commit | commitdiff | tree
2019-11-13 Hamed GorjiaraAdding memory limit for the learning process
 commit | commitdiff | tree
2019-10-31 Hamed GorjiaraMerge branch 'incremental' of ssh://plrg.ics.uci.edu...
commit | commitdiff | tree
2019-10-31 Hamed GorjiaraAdding API for AtMostOneConstraint + bugfix for turning...
commit | commitdiff | tree
2019-10-22 Hamed GorjiaraBUGFIX: change runbench script when the SAT Solver...
commit | commitdiff | tree
2019-10-22 Hamed GorjiaraBUGFIX: when ONE or TWO tuner cannot solve a problem
 commit | commitdiff | tree
2019-10-22 Hamed GorjiaraBUGFIX: When 2 selected tuners cannot solve the problem
 commit | commitdiff | tree
2019-10-18 Hamed Gorjiaratwo best tuner instead of three
 commit | commitdiff | tree
2019-10-18 Hamed GorjiaraFixing runbench script
 commit | commitdiff | tree
2019-10-17 Hamed GorjiaraLimiting satune timeout
 commit | commitdiff | tree
2019-10-16 Hamed GorjiaraFixing silent bug for not finding the tuner
 commit | commitdiff | tree
2019-10-15 Hamed GorjiaraAdding support for VAR constraints in Dirk
 commit | commitdiff | tree
2019-10-15 Hamed Gorjiarafixing return value for passing test cases
 commit | commitdiff | tree
2019-10-15 Hamed Gorjiarastoring results in /rscratch instead of home dir
 commit | commitdiff | tree
2019-10-15 Hamed GorjiaraBUG FIX:Timeout getting stuck bug
 commit | commitdiff | tree
2019-09-29 Hamed GorjiaraDump Inceremental SMT + Using Real logic instead of Int
 commit | commitdiff | tree
2019-09-24 Hamed GorjiaraSMT dump and support for true variable
 commit | commitdiff | tree
2019-09-05 Hamed GorjiaraMerging + fixing memory bugs
 commit | commitdiff | tree
2019-07-04 Hamed GorjiaraAdd a configuration for disabling the optimizations
 commit | commitdiff | tree
2019-07-03 Hamed GorjiaraScripts needed for automation of learning process ...
commit | commitdiff | tree
2019-07-01 Hamed GorjiaraFreezing bug fix - Incremental SATTune works for Sypet
 commit | commitdiff | tree
2019-07-01 Hamed GorjiaraAdding stack trace procedure
 commit | commitdiff | tree
2019-06-27 Hamed GorjiaraInfering the number of runs
 commit | commitdiff | tree
2019-06-14 Hamed GorjiaraAdding incremental to Java, C, and python APIs
 commit | commitdiff | tree
2019-06-14 Hamed GorjiaraIncremental solver works and the test case passes
 commit | commitdiff | tree
2019-06-13 Hamed GorjiaraBug fixes for Java API + Exactly one constraints +...
commit | commitdiff | tree
2019-05-06 Hamed GorjiaraCompatibility for SATCheck
 commit | commitdiff | tree
2019-03-29 Hamed GorjiaraAdding settings to usedsettings when tuner hits timeout
 commit | commitdiff | tree
2019-03-29 Hamed GorjiaraBUG FIX when there is no usedSettings
 commit | commitdiff | tree
2019-03-26 Hamed GorjiaraBug fix for long array
 commit | commitdiff | tree
2019-03-24 Hamed GorjiaraAdding timeout for SATTune
 commit | commitdiff | tree
2019-03-21 Hamed GorjiaraMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2019-03-21 Hamed Gorjiaracommit after merge
 commit | commitdiff | tree
2019-03-21 Hamed GorjiaraUpdating Java API
 commit | commitdiff | tree
2019-03-21 Hamed GorjiaraBug Fix: when a tuner cannot solve any problems ...
 commit | commitdiff | tree
2019-03-19 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
commit | commitdiff | tree
2019-03-19 Hamed GorjiaraJava API for SATUNE
 commit | commitdiff | tree
2019-03-19 Hamed GorjiaraAdding checks to avoid further processing on UNSAT...
commit | commitdiff | tree
2019-03-19 Hamed GorjiaraAdding more functions to C API
 commit | commitdiff | tree
2019-03-04 Hamed GorjiaraJava API for SATune ...
 commit | commitdiff | tree
2019-02-25 Hamed GorjiaraRun script for interpreters
 commit | commitdiff | tree
2019-02-25 Hamed GorjiaraSetting timeout for SMT test
 commit | commitdiff | tree
2019-02-23 Hamed Gorjiarabug fixes
 commit | commitdiff | tree
2019-02-22 Hamed GorjiaraMerging with Tuner branch
 commit | commitdiff | tree
2019-02-21 Hamed GorjiaraAdding SMTRat and MathSAT interpreters
 commit | commitdiff | tree
2019-02-21 Hamed GorjiaraAdding SMT Interpreters
 commit | commitdiff | tree
2019-02-19 Hamed Gorjiararenaming alloyenc to alloy interpreter
 commit | commitdiff | tree
2019-02-19 Hamed GorjiaraInterpreter abstraction and memory bug fixes
 commit | commitdiff | tree
2019-02-11 Hamed GorjiaraAdding timeout for Alloy interpreter
 commit | commitdiff | tree
2019-02-07 Hamed GorjiaraCalling alloy first when deserializing
 commit | commitdiff | tree
2019-02-07 Hamed Gorjiaraturning of the optimizations when using alloy ...
 commit | commitdiff | tree
2019-02-07 Hamed Gorjiara1)core dump in regex for big strings 2) Boolean Var...
commit | commitdiff | tree
2019-01-29 Hamed Gorjiarafixing alloy performance bugs
 commit | commitdiff | tree
2019-01-25 Hamed GorjiaraAdding support for ElementFunction
 commit | commitdiff | tree
2019-01-23 Hamed GorjiaraAdding Support for BooleanVar
 commit | commitdiff | tree
2019-01-23 Hamed GorjiaraBug Fix: defining the scope of integer for Alloy
 commit | commitdiff | tree
2019-01-22 Hamed GorjiaraInitializing the ElementSig Value
 commit | commitdiff | tree
2019-01-22 Hamed GorjiaraAlloy interpreter
 commit | commitdiff | tree
2019-01-04 Hamed GorjiaraAdding Simulated Annealing Tuner ...
 commit | commitdiff | tree
2018-12-20 Hamed GorjiaraBreaking Multituner into comptuner and kmeanstuner
 commit | commitdiff | tree
2018-12-19 Hamed GorjiaraChanging the design by adding basic tuner
 commit | commitdiff | tree
2018-12-17 Hamed GorjiaraAutomating log reporter system
 commit | commitdiff | tree
2018-12-17 Hamed GorjiaraEnriching the report description
 commit | commitdiff | tree
2018-12-17 Hamed GorjiaraEdit
 commit | commitdiff | tree
2018-12-17 Hamed GorjiaraPreprocess bug fix
 commit | commitdiff | tree
2018-12-14 Hamed GorjiaraResolving conflicts
 commit | commitdiff | tree
2018-12-14 Hamed Gorjiararemoving duplicates
 commit | commitdiff | tree
2018-12-12 Hamed GorjiaraRandom Tuner
 commit | commitdiff | tree
2018-12-07 Hamed GorjiaraBug fix ...
 commit | commitdiff | tree
2018-12-07 Hamed GorjiaraBug fix ...
 commit | commitdiff | tree
2018-12-06 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
commit | commitdiff | tree
2018-12-06 Hamed GorjiaraPreprocessing check
 commit | commitdiff | tree
2018-12-01 Hamed GorjiaraBug fix:duplicated tuners in explored array
 commit | commitdiff | tree
2018-12-01 Hamed Gorjiaraavoiding repetitive tuner
 commit | commitdiff | tree
2018-11-27 Hamed GorjiaraLog Analyzer ...
 commit | commitdiff | tree
2018-11-15 Hamed GorjiaraAdding print tuner ...
 commit | commitdiff | tree
2018-10-31 Hamed Gorjiaraedit
 commit | commitdiff | tree
2018-10-31 Hamed GorjiaraSerializing circuit encoding
 commit | commitdiff | tree
2018-10-31 Hamed Gorjiaramemory bug fix
 commit | commitdiff | tree
2018-10-30 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
commit | commitdiff | tree
2018-10-30 Hamed GorjiaraEdit
 commit | commitdiff | tree
2018-10-30 Hamed GorjiaraBug fix
 commit | commitdiff | tree
2018-10-29 Hamed GorjiaraAdding warning print in case the tuner cannot be loaded
 commit | commitdiff | tree
2018-10-27 Hamed GorjiaraBug fix: deserializing the tunernumber ...
 commit | commitdiff | tree
2018-10-25 Hamed Gorjiaraserializing the best tuners adding runbench.sh
 commit | commitdiff | tree
2018-10-23 Hamed Gorjiarafixing the heuristic for the BinaryIndex anyvalue constraints
 commit | commitdiff | tree
2018-10-23 Hamed GorjiaraBug fix
 commit | commitdiff | tree
2018-10-23 Hamed GorjiaraAdding the missing bug fix for the merge heuristic ...
 commit | commitdiff | tree
2018-10-22 Hamed GorjiaraBug fix: Droping the log from the anyvalue heuristic...
 commit | commitdiff | tree
2018-10-21 Hamed GorjiaraFixing the anyvalue heuristic for binaryIndex
 commit | commitdiff | tree
next
SATune Repository