bdemsky [Thu, 7 Nov 2019 23:21:32 +0000 (15:21 -0800)]
Don't reencode expressions that are already encoded
Hamed Gorjiara [Thu, 31 Oct 2019 20:15:15 +0000 (13:15 -0700)]
Merge branch 'incremental' of ssh://plrg.ics.uci.edu/home/git/constraint_compiler into incremental
Hamed Gorjiara [Thu, 31 Oct 2019 20:14:31 +0000 (13:14 -0700)]
Adding API for AtMostOneConstraint + bugfix for turning off the optimizations
Hamed Gorjiara [Tue, 22 Oct 2019 23:35:24 +0000 (16:35 -0700)]
BUGFIX: change runbench script when the SAT Solver crashes
Hamed Gorjiara [Tue, 22 Oct 2019 20:57:45 +0000 (13:57 -0700)]
BUGFIX: when ONE or TWO tuner cannot solve a problem
Hamed Gorjiara [Tue, 22 Oct 2019 20:32:44 +0000 (13:32 -0700)]
BUGFIX: When 2 selected tuners cannot solve the problem
Hamed Gorjiara [Fri, 18 Oct 2019 04:24:41 +0000 (21:24 -0700)]
two best tuner instead of three
Hamed Gorjiara [Fri, 18 Oct 2019 04:10:40 +0000 (21:10 -0700)]
Fixing runbench script
Hamed Gorjiara [Thu, 17 Oct 2019 20:26:56 +0000 (13:26 -0700)]
Limiting satune timeout
Hamed Gorjiara [Wed, 16 Oct 2019 03:17:08 +0000 (20:17 -0700)]
Fixing silent bug for not finding the tuner
Hamed Gorjiara [Tue, 15 Oct 2019 20:18:45 +0000 (13:18 -0700)]
Adding support for VAR constraints in Dirk
Hamed Gorjiara [Tue, 15 Oct 2019 20:12:24 +0000 (13:12 -0700)]
fixing return value for passing test cases
Hamed Gorjiara [Tue, 15 Oct 2019 19:00:24 +0000 (12:00 -0700)]
storing results in /rscratch instead of home dir
Hamed Gorjiara [Tue, 15 Oct 2019 18:55:46 +0000 (11:55 -0700)]
BUG FIX:Timeout getting stuck bug
Hamed Gorjiara [Sun, 29 Sep 2019 23:21:20 +0000 (16:21 -0700)]
Dump Inceremental SMT + Using Real logic instead of Int
Hamed Gorjiara [Tue, 24 Sep 2019 23:03:52 +0000 (16:03 -0700)]
SMT dump and support for true variable
Hamed Gorjiara [Thu, 5 Sep 2019 23:01:44 +0000 (16:01 -0700)]
Merging + fixing memory bugs
bdemsky [Wed, 28 Aug 2019 06:14:42 +0000 (23:14 -0700)]
Add file to read in constraints from Dirk
bdemsky [Mon, 26 Aug 2019 19:01:00 +0000 (12:01 -0700)]
fix tabbing
bdemsky [Mon, 26 Aug 2019 18:59:56 +0000 (11:59 -0700)]
bug fix
Hamed Gorjiara [Thu, 4 Jul 2019 00:05:35 +0000 (17:05 -0700)]
Add a configuration for disabling the optimizations
Hamed Gorjiara [Wed, 3 Jul 2019 23:56:02 +0000 (16:56 -0700)]
Scripts needed for automation of learning process ... Tested on Sypet benchmark ...
Hamed Gorjiara [Mon, 1 Jul 2019 19:36:24 +0000 (12:36 -0700)]
Freezing bug fix - Incremental SATTune works for Sypet
Hamed Gorjiara [Mon, 1 Jul 2019 19:35:11 +0000 (12:35 -0700)]
Adding stack trace procedure
Hamed Gorjiara [Thu, 27 Jun 2019 20:07:46 +0000 (13:07 -0700)]
Infering the number of runs
Hamed Gorjiara [Fri, 14 Jun 2019 22:17:24 +0000 (15:17 -0700)]
Adding incremental to Java, C, and python APIs
Hamed Gorjiara [Fri, 14 Jun 2019 03:27:06 +0000 (20:27 -0700)]
Incremental solver works and the test case passes
Hamed Gorjiara [Thu, 13 Jun 2019 01:12:09 +0000 (18:12 -0700)]
Bug fixes for Java API + Exactly one constraints + Adding support for getting the wrong assumptions from SAT solver
Hamed Gorjiara [Mon, 6 May 2019 23:08:37 +0000 (16:08 -0700)]
Compatibility for SATCheck
Hamed Gorjiara [Fri, 29 Mar 2019 04:10:45 +0000 (21:10 -0700)]
Adding settings to usedsettings when tuner hits timeout
Hamed Gorjiara [Fri, 29 Mar 2019 01:53:52 +0000 (18:53 -0700)]
BUG FIX when there is no usedSettings
bdemsky [Thu, 28 Mar 2019 19:45:09 +0000 (12:45 -0700)]
Unary encoding of predicates
bdemsky [Tue, 26 Mar 2019 22:45:45 +0000 (15:45 -0700)]
tabbing more tuners
bdemsky [Tue, 26 Mar 2019 21:13:44 +0000 (14:13 -0700)]
Merge branch 'sparseOrderOpt' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into sparseOrderOpt
bdemsky [Tue, 26 Mar 2019 21:07:53 +0000 (14:07 -0700)]
Add order benchmark.
Hamed Gorjiara [Tue, 26 Mar 2019 18:38:40 +0000 (11:38 -0700)]
Bug fix for long array
Hamed Gorjiara [Sun, 24 Mar 2019 23:39:57 +0000 (16:39 -0700)]
Adding timeout for SATTune
Hamed Gorjiara [Thu, 21 Mar 2019 23:01:31 +0000 (16:01 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into sparseOrderOpt
Hamed Gorjiara [Thu, 21 Mar 2019 20:58:54 +0000 (13:58 -0700)]
commit after merge
Hamed Gorjiara [Thu, 21 Mar 2019 20:54:45 +0000 (13:54 -0700)]
Updating Java API
Hamed Gorjiara [Thu, 21 Mar 2019 20:01:53 +0000 (13:01 -0700)]
Bug Fix: when a tuner cannot solve any problems ...
bdemsky [Thu, 21 Mar 2019 02:59:04 +0000 (19:59 -0700)]
sparse or decompose
bdemsky [Wed, 20 Mar 2019 23:44:35 +0000 (16:44 -0700)]
bug fix
bdemsky [Tue, 19 Mar 2019 21:18:05 +0000 (14:18 -0700)]
Support for pruning unused order elements
bdemsky [Tue, 19 Mar 2019 20:27:52 +0000 (13:27 -0700)]
encapsulate order fields
bdemsky [Tue, 19 Mar 2019 20:19:16 +0000 (13:19 -0700)]
Fix tabbing
Hamed Gorjiara [Tue, 19 Mar 2019 01:10:38 +0000 (18:10 -0700)]
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler
Hamed Gorjiara [Tue, 19 Mar 2019 01:10:31 +0000 (18:10 -0700)]
Java API for SATUNE
Hamed Gorjiara [Tue, 19 Mar 2019 01:09:47 +0000 (18:09 -0700)]
Adding checks to avoid further processing on UNSAT Problems
Hamed Gorjiara [Tue, 19 Mar 2019 01:02:56 +0000 (18:02 -0700)]
Adding more functions to C API
bdemsky [Mon, 18 Mar 2019 23:41:46 +0000 (16:41 -0700)]
bug fix
Hamed Gorjiara [Mon, 4 Mar 2019 21:42:14 +0000 (13:42 -0800)]
Java API for SATune ...
Hamed Gorjiara [Mon, 25 Feb 2019 23:13:23 +0000 (15:13 -0800)]
Run script for interpreters
Hamed Gorjiara [Mon, 25 Feb 2019 23:08:45 +0000 (15:08 -0800)]
Setting timeout for SMT test
Hamed Gorjiara [Sat, 23 Feb 2019 08:22:32 +0000 (00:22 -0800)]
bug fixes
Hamed Gorjiara [Fri, 22 Feb 2019 00:31:39 +0000 (16:31 -0800)]
Merging with Tuner branch
Hamed Gorjiara [Thu, 21 Feb 2019 23:58:16 +0000 (15:58 -0800)]
Adding SMTRat and MathSAT interpreters
Hamed Gorjiara [Thu, 21 Feb 2019 20:19:46 +0000 (12:19 -0800)]
Adding SMT Interpreters
Hamed Gorjiara [Tue, 19 Feb 2019 20:27:43 +0000 (12:27 -0800)]
renaming alloyenc to alloy interpreter
Hamed Gorjiara [Tue, 19 Feb 2019 20:11:31 +0000 (12:11 -0800)]
Interpreter abstraction and memory bug fixes
Hamed Gorjiara [Mon, 11 Feb 2019 22:25:27 +0000 (14:25 -0800)]
Adding timeout for Alloy interpreter
Hamed Gorjiara [Thu, 7 Feb 2019 01:00:29 +0000 (17:00 -0800)]
Calling alloy first when deserializing
Hamed Gorjiara [Thu, 7 Feb 2019 00:23:13 +0000 (16:23 -0800)]
turning of the optimizations when using alloy ...
Hamed Gorjiara [Thu, 7 Feb 2019 00:21:09 +0000 (16:21 -0800)]
1)core dump in regex for big strings 2) Boolean Var bugs 3) adding support for other logical operations
Hamed Gorjiara [Tue, 29 Jan 2019 00:23:33 +0000 (16:23 -0800)]
fixing alloy performance bugs
Hamed Gorjiara [Fri, 25 Jan 2019 20:13:33 +0000 (12:13 -0800)]
Adding support for ElementFunction
Hamed Gorjiara [Wed, 23 Jan 2019 21:10:26 +0000 (13:10 -0800)]
Adding Support for BooleanVar
Hamed Gorjiara [Wed, 23 Jan 2019 00:59:57 +0000 (16:59 -0800)]
Bug Fix: defining the scope of integer for Alloy
Hamed Gorjiara [Tue, 22 Jan 2019 19:00:04 +0000 (11:00 -0800)]
Initializing the ElementSig Value
Hamed Gorjiara [Tue, 22 Jan 2019 08:20:39 +0000 (00:20 -0800)]
Alloy interpreter
Hamed Gorjiara [Fri, 4 Jan 2019 19:10:12 +0000 (11:10 -0800)]
Adding Simulated Annealing Tuner ...
Hamed Gorjiara [Thu, 20 Dec 2018 01:46:14 +0000 (17:46 -0800)]
Breaking Multituner into comptuner and kmeanstuner
Hamed Gorjiara [Wed, 19 Dec 2018 23:19:08 +0000 (15:19 -0800)]
Changing the design by adding basic tuner
Hamed Gorjiara [Mon, 17 Dec 2018 21:37:30 +0000 (13:37 -0800)]
Automating log reporter system
Hamed Gorjiara [Mon, 17 Dec 2018 21:35:48 +0000 (13:35 -0800)]
Enriching the report description
Hamed Gorjiara [Mon, 17 Dec 2018 21:33:37 +0000 (13:33 -0800)]
Edit
Hamed Gorjiara [Mon, 17 Dec 2018 21:30:54 +0000 (13:30 -0800)]
Preprocess bug fix
Hamed Gorjiara [Fri, 14 Dec 2018 23:48:48 +0000 (15:48 -0800)]
Resolving conflicts
Hamed Gorjiara [Fri, 14 Dec 2018 23:32:58 +0000 (15:32 -0800)]
removing duplicates
Hamed Gorjiara [Wed, 12 Dec 2018 22:13:03 +0000 (14:13 -0800)]
Random Tuner
Hamed Gorjiara [Fri, 7 Dec 2018 23:33:10 +0000 (15:33 -0800)]
Bug fix ...
Hamed Gorjiara [Fri, 7 Dec 2018 01:26:08 +0000 (17:26 -0800)]
Bug fix ...
<hamed@DESKTOP-SG54322.localdomain> [Thu, 6 Dec 2018 23:19:54 +0000 (15:19 -0800)]
Report from analyzing the tuner
<hamed@DESKTOP-SG54322.localdomain> [Thu, 6 Dec 2018 23:10:14 +0000 (15:10 -0800)]
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into tuner
<hamed@DESKTOP-SG54322.localdomain> [Thu, 6 Dec 2018 23:10:02 +0000 (15:10 -0800)]
Edit
Hamed Gorjiara [Thu, 6 Dec 2018 23:09:08 +0000 (15:09 -0800)]
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into tuner
Hamed Gorjiara [Thu, 6 Dec 2018 23:08:50 +0000 (15:08 -0800)]
Preprocessing check
<hamed@DESKTOP-SG54322.localdomain> [Thu, 6 Dec 2018 02:01:45 +0000 (18:01 -0800)]
Geometric mean line
bdemsky [Tue, 4 Dec 2018 22:06:04 +0000 (14:06 -0800)]
Fix knob to only ask it we will actually use knob
Hamed Gorjiara [Sat, 1 Dec 2018 04:10:25 +0000 (20:10 -0800)]
Bug fix:duplicated tuners in explored array
Hamed Gorjiara [Sat, 1 Dec 2018 01:28:43 +0000 (17:28 -0800)]
avoiding repetitive tuner
Hamed Gorjiara [Tue, 27 Nov 2018 19:31:34 +0000 (11:31 -0800)]
Log Analyzer ...
Hamed Gorjiara [Thu, 15 Nov 2018 18:19:41 +0000 (10:19 -0800)]
Adding print tuner ...
Hamed Gorjiara [Wed, 31 Oct 2018 21:41:12 +0000 (14:41 -0700)]
edit
bdemsky [Wed, 31 Oct 2018 21:06:31 +0000 (14:06 -0700)]
fix tuner situation
bdemsky [Wed, 31 Oct 2018 20:38:48 +0000 (13:38 -0700)]
memoize timeouts
Hamed Gorjiara [Wed, 31 Oct 2018 19:25:14 +0000 (12:25 -0700)]
Serializing circuit encoding
Hamed Gorjiara [Wed, 31 Oct 2018 18:58:32 +0000 (11:58 -0700)]
memory bug fix
Hamed Gorjiara [Tue, 30 Oct 2018 00:21:41 +0000 (17:21 -0700)]
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into tuner
Hamed Gorjiara [Tue, 30 Oct 2018 00:21:28 +0000 (17:21 -0700)]
Edit
projects / satune.git / log