projects / satune.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Turning on the ENCODINGGRAPH optimization for ORDERINTEGERENCODING
[satune.git] / src /
2019-11-20 Hamed GorjiaraTurning on the ENCODINGGRAPH optimization for ORDERINTE... tree | commitdiff
2019-11-19 Hamed GorjiaraTimeout for running benchmarks tree | commitdiff
2019-11-19 Hamed Gorjiarausing vartunable instead of tunable tree | commitdiff
2019-11-19 Hamed GorjiaraTuner bug fix: Setting default for 2 used tuners tree | commitdiff
2019-11-18 Hamed GorjiaraGenerating SMT tables tree | commitdiff
2019-11-13 Hamed GorjiaraMerge branch 'incremental' of ssh://plrg.ics.uci.edu... tree | commitdiff
2019-11-13 Hamed GorjiaraBug fix for return value in runbench script tree | commitdiff
2019-11-13 Hamed GorjiaraDecreasing the memory limit. Problem still exists in... tree | commitdiff
2019-11-13 Hamed GorjiaraOnly run learningset test cases tree | commitdiff
2019-11-13 Hamed GorjiaraLimit on memory not data tree | commitdiff
2019-11-13 Hamed GorjiaraAdding memory limit for the learning process tree | commitdiff
2019-11-07 bdemskyDon't reencode expressions that are already encoded tree | commitdiff
2019-10-31 Hamed GorjiaraMerge branch 'incremental' of ssh://plrg.ics.uci.edu... tree | commitdiff
2019-10-31 Hamed GorjiaraAdding API for AtMostOneConstraint + bugfix for turning... tree | commitdiff
2019-10-22 Hamed GorjiaraBUGFIX: change runbench script when the SAT Solver... tree | commitdiff
2019-10-22 Hamed GorjiaraBUGFIX: when ONE or TWO tuner cannot solve a problem tree | commitdiff
2019-10-22 Hamed GorjiaraBUGFIX: When 2 selected tuners cannot solve the problem tree | commitdiff
2019-10-18 Hamed Gorjiaratwo best tuner instead of three tree | commitdiff
2019-10-18 Hamed GorjiaraFixing runbench script tree | commitdiff
2019-10-17 Hamed GorjiaraLimiting satune timeout tree | commitdiff
2019-10-16 Hamed GorjiaraFixing silent bug for not finding the tuner tree | commitdiff
2019-10-15 Hamed GorjiaraAdding support for VAR constraints in Dirk tree | commitdiff
2019-10-15 Hamed Gorjiarafixing return value for passing test cases tree | commitdiff
2019-10-15 Hamed Gorjiarastoring results in /rscratch instead of home dir tree | commitdiff
2019-10-15 Hamed GorjiaraBUG FIX:Timeout getting stuck bug tree | commitdiff
2019-09-29 Hamed GorjiaraDump Inceremental SMT + Using Real logic instead of Int tree | commitdiff
2019-09-24 Hamed GorjiaraSMT dump and support for true variable tree | commitdiff
2019-09-05 Hamed GorjiaraMerging + fixing memory bugs tree | commitdiff
2019-08-28 bdemskyAdd file to read in constraints from Dirk tree | commitdiff
2019-08-26 bdemskyfix tabbing tree | commitdiff
2019-08-26 bdemskybug fix tree | commitdiff
2019-07-04 Hamed GorjiaraAdd a configuration for disabling the optimizations tree | commitdiff
2019-07-03 Hamed GorjiaraScripts needed for automation of learning process ... tree | commitdiff
2019-07-01 Hamed GorjiaraFreezing bug fix - Incremental SATTune works for Sypet tree | commitdiff
2019-07-01 Hamed GorjiaraAdding stack trace procedure tree | commitdiff
2019-06-27 Hamed GorjiaraInfering the number of runs tree | commitdiff
2019-06-14 Hamed GorjiaraAdding incremental to Java, C, and python APIs tree | commitdiff
2019-06-14 Hamed GorjiaraIncremental solver works and the test case passes tree | commitdiff
2019-06-13 Hamed GorjiaraBug fixes for Java API + Exactly one constraints +... tree | commitdiff
2019-05-06 Hamed GorjiaraCompatibility for SATCheck tree | commitdiff
2019-03-29 Hamed GorjiaraAdding settings to usedsettings when tuner hits timeout tree | commitdiff
2019-03-29 Hamed GorjiaraBUG FIX when there is no usedSettings tree | commitdiff
2019-03-28 bdemskyUnary encoding of predicates tree | commitdiff
2019-03-26 bdemskytabbing more tuners tree | commitdiff
2019-03-26 bdemskyMerge branch 'sparseOrderOpt' of ssh://plrg.eecs.uci... tree | commitdiff
2019-03-26 bdemskyAdd order benchmark. tree | commitdiff
2019-03-26 Hamed GorjiaraBug fix for long array tree | commitdiff
2019-03-24 Hamed GorjiaraAdding timeout for SATTune tree | commitdiff
2019-03-21 Hamed GorjiaraMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2019-03-21 Hamed Gorjiaracommit after merge tree | commitdiff
2019-03-21 Hamed GorjiaraUpdating Java API tree | commitdiff
2019-03-21 Hamed GorjiaraBug Fix: when a tuner cannot solve any problems ... tree | commitdiff
2019-03-21 bdemskysparse or decompose tree | commitdiff
2019-03-20 bdemskybug fix tree | commitdiff
2019-03-19 bdemskySupport for pruning unused order elements tree | commitdiff
2019-03-19 bdemskyencapsulate order fields tree | commitdiff
2019-03-19 bdemskyFix tabbing tree | commitdiff
2019-03-19 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... tree | commitdiff
2019-03-19 Hamed GorjiaraJava API for SATUNE tree | commitdiff
2019-03-19 Hamed GorjiaraAdding checks to avoid further processing on UNSAT... tree | commitdiff
2019-03-19 Hamed GorjiaraAdding more functions to C API tree | commitdiff
2019-03-18 bdemskybug fix tree | commitdiff
2019-03-04 Hamed GorjiaraJava API for SATune ... tree | commitdiff
2019-02-25 Hamed GorjiaraRun script for interpreters tree | commitdiff
2019-02-25 Hamed GorjiaraSetting timeout for SMT test tree | commitdiff
2019-02-23 Hamed Gorjiarabug fixes tree | commitdiff
2019-02-22 Hamed GorjiaraMerging with Tuner branch tree | commitdiff
2019-02-21 Hamed GorjiaraAdding SMTRat and MathSAT interpreters tree | commitdiff
2019-02-21 Hamed GorjiaraAdding SMT Interpreters tree | commitdiff
2019-02-19 Hamed Gorjiararenaming alloyenc to alloy interpreter tree | commitdiff
2019-02-19 Hamed GorjiaraInterpreter abstraction and memory bug fixes tree | commitdiff
2019-02-11 Hamed GorjiaraAdding timeout for Alloy interpreter tree | commitdiff
2019-02-07 Hamed GorjiaraCalling alloy first when deserializing tree | commitdiff
2019-02-07 Hamed Gorjiaraturning of the optimizations when using alloy ... tree | commitdiff
2019-02-07 Hamed Gorjiara1)core dump in regex for big strings 2) Boolean Var... tree | commitdiff
2019-01-29 Hamed Gorjiarafixing alloy performance bugs tree | commitdiff
2019-01-25 Hamed GorjiaraAdding support for ElementFunction tree | commitdiff
2019-01-23 Hamed GorjiaraAdding Support for BooleanVar tree | commitdiff
2019-01-23 Hamed GorjiaraBug Fix: defining the scope of integer for Alloy tree | commitdiff
2019-01-22 Hamed GorjiaraInitializing the ElementSig Value tree | commitdiff
2019-01-22 Hamed GorjiaraAlloy interpreter tree | commitdiff
2019-01-04 Hamed GorjiaraAdding Simulated Annealing Tuner ... tree | commitdiff
2018-12-20 Hamed GorjiaraBreaking Multituner into comptuner and kmeanstuner tree | commitdiff
2018-12-19 Hamed GorjiaraChanging the design by adding basic tuner tree | commitdiff
2018-12-17 Hamed GorjiaraAutomating log reporter system tree | commitdiff
2018-12-17 Hamed GorjiaraEnriching the report description tree | commitdiff
2018-12-17 Hamed GorjiaraEdit tree | commitdiff
2018-12-17 Hamed GorjiaraPreprocess bug fix tree | commitdiff
2018-12-14 Hamed GorjiaraResolving conflicts tree | commitdiff
2018-12-14 Hamed Gorjiararemoving duplicates tree | commitdiff
2018-12-12 Hamed GorjiaraRandom Tuner tree | commitdiff
2018-12-07 Hamed GorjiaraBug fix ... tree | commitdiff
2018-12-07 Hamed GorjiaraBug fix ... tree | commitdiff
2018-12-06 <hamed@DESKTOP... Report from analyzing the tuner tree | commitdiff
2018-12-06 <hamed@DESKTOP... Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... tree | commitdiff
2018-12-06 <hamed@DESKTOP... Edit tree | commitdiff
2018-12-06 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... tree | commitdiff
2018-12-06 Hamed GorjiaraPreprocessing check tree | commitdiff
2018-12-06 <hamed@DESKTOP... Geometric mean line tree | commitdiff
2018-12-04 bdemskyFix knob to only ask it we will actually use knob tree | commitdiff
next
SATune Repository