projects / satune.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
satune.git
2019-09-24 Hamed GorjiaraSMT dump and support for true variable commit | commitdiff | tree | snapshot
2019-09-05 Hamed GorjiaraMerging + fixing memory bugs commit | commitdiff | tree | snapshot
2019-08-28 bdemskyAdd file to read in constraints from Dirk commit | commitdiff | tree | snapshot
2019-08-26 bdemskyfix tabbing commit | commitdiff | tree | snapshot
2019-08-26 bdemskybug fix commit | commitdiff | tree | snapshot
2019-07-04 Hamed GorjiaraAdd a configuration for disabling the optimizations commit | commitdiff | tree | snapshot
2019-07-03 Hamed GorjiaraScripts needed for automation of learning process ... commit | commitdiff | tree | snapshot
2019-07-01 Hamed GorjiaraFreezing bug fix - Incremental SATTune works for Sypet commit | commitdiff | tree | snapshot
2019-07-01 Hamed GorjiaraAdding stack trace procedure commit | commitdiff | tree | snapshot
2019-06-27 Hamed GorjiaraInfering the number of runs commit | commitdiff | tree | snapshot
2019-06-14 Hamed GorjiaraAdding incremental to Java, C, and python APIs commit | commitdiff | tree | snapshot
2019-06-14 Hamed GorjiaraIncremental solver works and the test case passes commit | commitdiff | tree | snapshot
2019-06-13 Hamed GorjiaraBug fixes for Java API + Exactly one constraints +... commit | commitdiff | tree | snapshot
2019-05-06 Hamed GorjiaraCompatibility for SATCheck commit | commitdiff | tree | snapshot
2019-03-29 Hamed GorjiaraAdding settings to usedsettings when tuner hits timeout commit | commitdiff | tree | snapshot
2019-03-29 Hamed GorjiaraBUG FIX when there is no usedSettings commit | commitdiff | tree | snapshot
2019-03-28 bdemskyUnary encoding of predicates commit | commitdiff | tree | snapshot
2019-03-26 bdemskytabbing more tuners commit | commitdiff | tree | snapshot
2019-03-26 bdemskyMerge branch 'sparseOrderOpt' of ssh://plrg.eecs.uci... commit | commitdiff | tree | snapshot
2019-03-26 bdemskyAdd order benchmark. commit | commitdiff | tree | snapshot
2019-03-26 Hamed GorjiaraBug fix for long array commit | commitdiff | tree | snapshot
2019-03-24 Hamed GorjiaraAdding timeout for SATTune commit | commitdiff | tree | snapshot
2019-03-21 Hamed GorjiaraMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2019-03-21 Hamed Gorjiaracommit after merge commit | commitdiff | tree | snapshot
2019-03-21 Hamed GorjiaraUpdating Java API commit | commitdiff | tree | snapshot
2019-03-21 Hamed GorjiaraBug Fix: when a tuner cannot solve any problems ... commit | commitdiff | tree | snapshot
2019-03-21 bdemskysparse or decompose commit | commitdiff | tree | snapshot
2019-03-20 bdemskybug fix commit | commitdiff | tree | snapshot
2019-03-19 bdemskySupport for pruning unused order elements commit | commitdiff | tree | snapshot
2019-03-19 bdemskyencapsulate order fields commit | commitdiff | tree | snapshot
2019-03-19 bdemskyFix tabbing commit | commitdiff | tree | snapshot
2019-03-19 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2019-03-19 Hamed GorjiaraJava API for SATUNE commit | commitdiff | tree | snapshot
2019-03-19 Hamed GorjiaraAdding checks to avoid further processing on UNSAT... commit | commitdiff | tree | snapshot
2019-03-19 Hamed GorjiaraAdding more functions to C API commit | commitdiff | tree | snapshot
2019-03-18 bdemskybug fix commit | commitdiff | tree | snapshot
2019-03-04 Hamed GorjiaraJava API for SATune ... commit | commitdiff | tree | snapshot
2019-02-25 Hamed GorjiaraRun script for interpreters commit | commitdiff | tree | snapshot
2019-02-25 Hamed GorjiaraSetting timeout for SMT test commit | commitdiff | tree | snapshot
2019-02-23 Hamed Gorjiarabug fixes commit | commitdiff | tree | snapshot
2019-02-22 Hamed GorjiaraMerging with Tuner branch commit | commitdiff | tree | snapshot
2019-02-21 Hamed GorjiaraAdding SMTRat and MathSAT interpreters commit | commitdiff | tree | snapshot
2019-02-21 Hamed GorjiaraAdding SMT Interpreters commit | commitdiff | tree | snapshot
2019-02-19 Hamed Gorjiararenaming alloyenc to alloy interpreter commit | commitdiff | tree | snapshot
2019-02-19 Hamed GorjiaraInterpreter abstraction and memory bug fixes commit | commitdiff | tree | snapshot
2019-02-11 Hamed GorjiaraAdding timeout for Alloy interpreter commit | commitdiff | tree | snapshot
2019-02-07 Hamed GorjiaraCalling alloy first when deserializing commit | commitdiff | tree | snapshot
2019-02-07 Hamed Gorjiaraturning of the optimizations when using alloy ... commit | commitdiff | tree | snapshot
2019-02-07 Hamed Gorjiara1)core dump in regex for big strings 2) Boolean Var... commit | commitdiff | tree | snapshot
2019-01-29 Hamed Gorjiarafixing alloy performance bugs commit | commitdiff | tree | snapshot
2019-01-25 Hamed GorjiaraAdding support for ElementFunction commit | commitdiff | tree | snapshot
2019-01-23 Hamed GorjiaraAdding Support for BooleanVar commit | commitdiff | tree | snapshot
2019-01-23 Hamed GorjiaraBug Fix: defining the scope of integer for Alloy commit | commitdiff | tree | snapshot
2019-01-22 Hamed GorjiaraInitializing the ElementSig Value commit | commitdiff | tree | snapshot
2019-01-22 Hamed GorjiaraAlloy interpreter commit | commitdiff | tree | snapshot
2019-01-04 Hamed GorjiaraAdding Simulated Annealing Tuner ... commit | commitdiff | tree | snapshot
2018-12-20 Hamed GorjiaraBreaking Multituner into comptuner and kmeanstuner commit | commitdiff | tree | snapshot
2018-12-19 Hamed GorjiaraChanging the design by adding basic tuner commit | commitdiff | tree | snapshot
2018-12-17 Hamed GorjiaraAutomating log reporter system commit | commitdiff | tree | snapshot
2018-12-17 Hamed GorjiaraEnriching the report description commit | commitdiff | tree | snapshot
2018-12-17 Hamed GorjiaraEdit commit | commitdiff | tree | snapshot
2018-12-17 Hamed GorjiaraPreprocess bug fix commit | commitdiff | tree | snapshot
2018-12-14 Hamed GorjiaraResolving conflicts commit | commitdiff | tree | snapshot
2018-12-14 Hamed Gorjiararemoving duplicates commit | commitdiff | tree | snapshot
2018-12-12 Hamed GorjiaraRandom Tuner commit | commitdiff | tree | snapshot
2018-12-07 Hamed GorjiaraBug fix ... commit | commitdiff | tree | snapshot
2018-12-07 Hamed GorjiaraBug fix ... commit | commitdiff | tree | snapshot
2018-12-06 <hamed@DESKTOP... Report from analyzing the tuner commit | commitdiff | tree | snapshot
2018-12-06 <hamed@DESKTOP... Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-12-06 <hamed@DESKTOP... Edit commit | commitdiff | tree | snapshot
2018-12-06 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-12-06 Hamed GorjiaraPreprocessing check commit | commitdiff | tree | snapshot
2018-12-06 <hamed@DESKTOP... Geometric mean line commit | commitdiff | tree | snapshot
2018-12-04 bdemskyFix knob to only ask it we will actually use knob commit | commitdiff | tree | snapshot
2018-12-01 Hamed GorjiaraBug fix:duplicated tuners in explored array commit | commitdiff | tree | snapshot
2018-12-01 Hamed Gorjiaraavoiding repetitive tuner commit | commitdiff | tree | snapshot
2018-11-27 Hamed GorjiaraLog Analyzer ... commit | commitdiff | tree | snapshot
2018-11-15 Hamed GorjiaraAdding print tuner ... commit | commitdiff | tree | snapshot
2018-10-31 Hamed Gorjiaraedit commit | commitdiff | tree | snapshot
2018-10-31 bdemskyfix tuner situation commit | commitdiff | tree | snapshot
2018-10-31 bdemskymemoize timeouts commit | commitdiff | tree | snapshot
2018-10-31 Hamed GorjiaraSerializing circuit encoding commit | commitdiff | tree | snapshot
2018-10-31 Hamed Gorjiaramemory bug fix commit | commitdiff | tree | snapshot
2018-10-30 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-10-30 Hamed GorjiaraEdit commit | commitdiff | tree | snapshot
2018-10-30 Hamed GorjiaraBug fix commit | commitdiff | tree | snapshot
2018-10-29 Hamed GorjiaraAdding warning print in case the tuner cannot be loaded commit | commitdiff | tree | snapshot
2018-10-27 Hamed GorjiaraBug fix: deserializing the tunernumber ... commit | commitdiff | tree | snapshot
2018-10-25 Hamed Gorjiaraserializing the best tuners adding runbench.sh commit | commitdiff | tree | snapshot
2018-10-23 bdemskybug fix commit | commitdiff | tree | snapshot
2018-10-23 Hamed Gorjiarafixing the heuristic for the BinaryIndex anyvalue const... commit | commitdiff | tree | snapshot
2018-10-23 bdemskymerge commit | commitdiff | tree | snapshot
2018-10-23 bdemskyClean up merge heuristic to do what we said it did commit | commitdiff | tree | snapshot
2018-10-23 Hamed GorjiaraBug fix commit | commitdiff | tree | snapshot
2018-10-23 Hamed GorjiaraAdding the missing bug fix for the merge heuristic ... commit | commitdiff | tree | snapshot
2018-10-22 Hamed GorjiaraBug fix: Droping the log from the anyvalue heuristic... commit | commitdiff | tree | snapshot
2018-10-21 Hamed GorjiaraFixing the anyvalue heuristic for binaryIndex commit | commitdiff | tree | snapshot
2018-10-20 Hamed GorjiaraFinding the 3 best tuners after the learning process commit | commitdiff | tree | snapshot
2018-10-20 Hamed GorjiaraMonitoring the deserializerun commit | commitdiff | tree | snapshot
2018-10-20 Hamed GorjiaraScript for monitoring the tuner ... commit | commitdiff | tree | snapshot
next
SATune Repository