projects
/
satune.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Only run learningset test cases
[satune.git]
/
src
/
2019-11-13
Hamed Gorjiara
Only run learningset test cases
tree
|
commitdiff
2019-11-13
Hamed Gorjiara
Limit on memory not data
tree
|
commitdiff
2019-11-13
Hamed Gorjiara
Adding memory limit for the learning process
tree
|
commitdiff
2019-11-07
bdemsky
Don't reencode expressions that are already encoded
tree
|
commitdiff
2019-10-31
Hamed Gorjiara
Merge branch 'incremental' of ssh://plrg.ics.uci.edu...
tree
|
commitdiff
2019-10-31
Hamed Gorjiara
Adding API for AtMostOneConstraint + bugfix for turning...
tree
|
commitdiff
2019-10-22
Hamed Gorjiara
BUGFIX: change runbench script when the SAT Solver...
tree
|
commitdiff
2019-10-22
Hamed Gorjiara
BUGFIX: when ONE or TWO tuner cannot solve a problem
tree
|
commitdiff
2019-10-22
Hamed Gorjiara
BUGFIX: When 2 selected tuners cannot solve the problem
tree
|
commitdiff
2019-10-18
Hamed Gorjiara
two best tuner instead of three
tree
|
commitdiff
2019-10-18
Hamed Gorjiara
Fixing runbench script
tree
|
commitdiff
2019-10-17
Hamed Gorjiara
Limiting satune timeout
tree
|
commitdiff
2019-10-16
Hamed Gorjiara
Fixing silent bug for not finding the tuner
tree
|
commitdiff
2019-10-15
Hamed Gorjiara
Adding support for VAR constraints in Dirk
tree
|
commitdiff
2019-10-15
Hamed Gorjiara
fixing return value for passing test cases
tree
|
commitdiff
2019-10-15
Hamed Gorjiara
storing results in /rscratch instead of home dir
tree
|
commitdiff
2019-10-15
Hamed Gorjiara
BUG FIX:Timeout getting stuck bug
tree
|
commitdiff
2019-09-29
Hamed Gorjiara
Dump Inceremental SMT + Using Real logic instead of Int
tree
|
commitdiff
2019-09-24
Hamed Gorjiara
SMT dump and support for true variable
tree
|
commitdiff
2019-09-05
Hamed Gorjiara
Merging + fixing memory bugs
tree
|
commitdiff
2019-08-28
bdemsky
Add file to read in constraints from Dirk
tree
|
commitdiff
2019-08-26
bdemsky
fix tabbing
tree
|
commitdiff
2019-08-26
bdemsky
bug fix
tree
|
commitdiff
2019-07-04
Hamed Gorjiara
Add a configuration for disabling the optimizations
tree
|
commitdiff
2019-07-03
Hamed Gorjiara
Scripts needed for automation of learning process ...
tree
|
commitdiff
2019-07-01
Hamed Gorjiara
Freezing bug fix - Incremental SATTune works for Sypet
tree
|
commitdiff
2019-07-01
Hamed Gorjiara
Adding stack trace procedure
tree
|
commitdiff
2019-06-27
Hamed Gorjiara
Infering the number of runs
tree
|
commitdiff
2019-06-14
Hamed Gorjiara
Adding incremental to Java, C, and python APIs
tree
|
commitdiff
2019-06-14
Hamed Gorjiara
Incremental solver works and the test case passes
tree
|
commitdiff
2019-06-13
Hamed Gorjiara
Bug fixes for Java API + Exactly one constraints +...
tree
|
commitdiff
2019-05-06
Hamed Gorjiara
Compatibility for SATCheck
tree
|
commitdiff
2019-03-29
Hamed Gorjiara
Adding settings to usedsettings when tuner hits timeout
tree
|
commitdiff
2019-03-29
Hamed Gorjiara
BUG FIX when there is no usedSettings
tree
|
commitdiff
2019-03-28
bdemsky
Unary encoding of predicates
tree
|
commitdiff
2019-03-26
bdemsky
tabbing more tuners
tree
|
commitdiff
2019-03-26
bdemsky
Merge branch 'sparseOrderOpt' of ssh://plrg.eecs.uci...
tree
|
commitdiff
2019-03-26
bdemsky
Add order benchmark.
tree
|
commitdiff
2019-03-26
Hamed Gorjiara
Bug fix for long array
tree
|
commitdiff
2019-03-24
Hamed Gorjiara
Adding timeout for SATTune
tree
|
commitdiff
2019-03-21
Hamed Gorjiara
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2019-03-21
Hamed Gorjiara
commit after merge
tree
|
commitdiff
2019-03-21
Hamed Gorjiara
Updating Java API
tree
|
commitdiff
2019-03-21
Hamed Gorjiara
Bug Fix: when a tuner cannot solve any problems ...
tree
|
commitdiff
2019-03-21
bdemsky
sparse or decompose
tree
|
commitdiff
2019-03-20
bdemsky
bug fix
tree
|
commitdiff
2019-03-19
bdemsky
Support for pruning unused order elements
tree
|
commitdiff
2019-03-19
bdemsky
encapsulate order fields
tree
|
commitdiff
2019-03-19
bdemsky
Fix tabbing
tree
|
commitdiff
2019-03-19
Hamed Gorjiara
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2019-03-19
Hamed Gorjiara
Java API for SATUNE
tree
|
commitdiff
2019-03-19
Hamed Gorjiara
Adding checks to avoid further processing on UNSAT...
tree
|
commitdiff
2019-03-19
Hamed Gorjiara
Adding more functions to C API
tree
|
commitdiff
2019-03-18
bdemsky
bug fix
tree
|
commitdiff
2019-03-04
Hamed Gorjiara
Java API for SATune ...
tree
|
commitdiff
2019-02-25
Hamed Gorjiara
Run script for interpreters
tree
|
commitdiff
2019-02-25
Hamed Gorjiara
Setting timeout for SMT test
tree
|
commitdiff
2019-02-23
Hamed Gorjiara
bug fixes
tree
|
commitdiff
2019-02-22
Hamed Gorjiara
Merging with Tuner branch
tree
|
commitdiff
2019-02-21
Hamed Gorjiara
Adding SMTRat and MathSAT interpreters
tree
|
commitdiff
2019-02-21
Hamed Gorjiara
Adding SMT Interpreters
tree
|
commitdiff
2019-02-19
Hamed Gorjiara
renaming alloyenc to alloy interpreter
tree
|
commitdiff
2019-02-19
Hamed Gorjiara
Interpreter abstraction and memory bug fixes
tree
|
commitdiff
2019-02-11
Hamed Gorjiara
Adding timeout for Alloy interpreter
tree
|
commitdiff
2019-02-07
Hamed Gorjiara
Calling alloy first when deserializing
tree
|
commitdiff
2019-02-07
Hamed Gorjiara
turning of the optimizations when using alloy ...
tree
|
commitdiff
2019-02-07
Hamed Gorjiara
1)core dump in regex for big strings 2) Boolean Var...
tree
|
commitdiff
2019-01-29
Hamed Gorjiara
fixing alloy performance bugs
tree
|
commitdiff
2019-01-25
Hamed Gorjiara
Adding support for ElementFunction
tree
|
commitdiff
2019-01-23
Hamed Gorjiara
Adding Support for BooleanVar
tree
|
commitdiff
2019-01-23
Hamed Gorjiara
Bug Fix: defining the scope of integer for Alloy
tree
|
commitdiff
2019-01-22
Hamed Gorjiara
Initializing the ElementSig Value
tree
|
commitdiff
2019-01-22
Hamed Gorjiara
Alloy interpreter
tree
|
commitdiff
2019-01-04
Hamed Gorjiara
Adding Simulated Annealing Tuner ...
tree
|
commitdiff
2018-12-20
Hamed Gorjiara
Breaking Multituner into comptuner and kmeanstuner
tree
|
commitdiff
2018-12-19
Hamed Gorjiara
Changing the design by adding basic tuner
tree
|
commitdiff
2018-12-17
Hamed Gorjiara
Automating log reporter system
tree
|
commitdiff
2018-12-17
Hamed Gorjiara
Enriching the report description
tree
|
commitdiff
2018-12-17
Hamed Gorjiara
Edit
tree
|
commitdiff
2018-12-17
Hamed Gorjiara
Preprocess bug fix
tree
|
commitdiff
2018-12-14
Hamed Gorjiara
Resolving conflicts
tree
|
commitdiff
2018-12-14
Hamed Gorjiara
removing duplicates
tree
|
commitdiff
2018-12-12
Hamed Gorjiara
Random Tuner
tree
|
commitdiff
2018-12-07
Hamed Gorjiara
Bug fix ...
tree
|
commitdiff
2018-12-07
Hamed Gorjiara
Bug 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 Gorjiara
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-12-06
Hamed Gorjiara
Preprocessing check
tree
|
commitdiff
2018-12-06
<hamed@DESKTOP...
Geometric mean line
tree
|
commitdiff
2018-12-04
bdemsky
Fix knob to only ask it we will actually use knob
tree
|
commitdiff
2018-12-01
Hamed Gorjiara
Bug fix:duplicated tuners in explored array
tree
|
commitdiff
2018-12-01
Hamed Gorjiara
avoiding repetitive tuner
tree
|
commitdiff
2018-11-27
Hamed Gorjiara
Log Analyzer ...
tree
|
commitdiff
2018-11-15
Hamed Gorjiara
Adding print tuner ...
tree
|
commitdiff
2018-10-31
Hamed Gorjiara
edit
tree
|
commitdiff
2018-10-31
bdemsky
fix tuner situation
tree
|
commitdiff
2018-10-31
bdemsky
memoize timeouts
tree
|
commitdiff
2018-10-31
Hamed Gorjiara
Serializing circuit encoding
tree
|
commitdiff
next