bdemsky [Sat, 13 Oct 2018 02:21:19 +0000 (19:21 -0700)]
fix tabbing
Hamed Gorjiara [Fri, 12 Oct 2018 21:54:56 +0000 (14:54 -0700)]
Boolean Variable Ordering optimizations
bdemsky [Sat, 13 Oct 2018 02:13:32 +0000 (19:13 -0700)]
edits
bdemsky [Fri, 12 Oct 2018 23:26:36 +0000 (16:26 -0700)]
edits
bdemsky [Fri, 12 Oct 2018 23:15:06 +0000 (16:15 -0700)]
edits
bdemsky [Fri, 12 Oct 2018 19:52:41 +0000 (12:52 -0700)]
edits
bdemsky [Fri, 12 Oct 2018 19:32:55 +0000 (12:32 -0700)]
more edits
bdemsky [Fri, 12 Oct 2018 18:43:55 +0000 (11:43 -0700)]
tabbing
bdemsky [Fri, 12 Oct 2018 18:06:14 +0000 (11:06 -0700)]
Add tuner components
bdemsky [Fri, 12 Oct 2018 18:06:04 +0000 (11:06 -0700)]
Add tuner components
bdemsky [Thu, 11 Oct 2018 18:43:32 +0000 (11:43 -0700)]
Add binary
bdemsky [Thu, 11 Oct 2018 18:33:20 +0000 (11:33 -0700)]
Move static tuner into its own class
Hamed Gorjiara [Thu, 4 Oct 2018 22:01:25 +0000 (15:01 -0700)]
Bug fix for serializing Boolean Const ...
Hamed Gorjiara [Thu, 4 Oct 2018 18:51:24 +0000 (11:51 -0700)]
Parser for the tuner's log file
Hamed Gorjiara [Thu, 4 Oct 2018 18:50:30 +0000 (11:50 -0700)]
Adding a directed search based config for the tuner
Hamed Gorjiara [Wed, 3 Oct 2018 17:55:30 +0000 (10:55 -0700)]
Bug fix for mustHaveValue tuning parameter
Hamed Gorjiara [Wed, 3 Oct 2018 17:53:15 +0000 (10:53 -0700)]
Adding the learning script
Hamed Gorjiara [Tue, 2 Oct 2018 19:12:24 +0000 (12:12 -0700)]
Merge scratch with master branch
Hamed Gorjiara [Tue, 2 Oct 2018 19:00:51 +0000 (12:00 -0700)]
Correcting the autotuner timeout
bdemsky [Tue, 2 Oct 2018 18:04:12 +0000 (11:04 -0700)]
Fix tabbing
bdemsky [Tue, 2 Oct 2018 18:03:31 +0000 (11:03 -0700)]
Turn off print statements
bdemsky [Tue, 2 Oct 2018 18:02:13 +0000 (11:02 -0700)]
Fix g++ option
bdemsky [Tue, 2 Oct 2018 18:00:18 +0000 (11:00 -0700)]
Performance improvement
Hamed Gorjiara [Sat, 29 Sep 2018 23:13:17 +0000 (16:13 -0700)]
1)Making naiveencoder and encoding graph use tuner 2)Adding timeout to the sat solver 3)Adding similarity based heuristic for merging the subgraph on top of bit number heuristic
Hamed Gorjiara [Mon, 24 Sep 2018 19:50:22 +0000 (12:50 -0700)]
Merging with branch scratch and cleaning the code
Hamed Gorjiara [Sat, 22 Sep 2018 03:25:14 +0000 (20:25 -0700)]
Bug fix in merge heuristic
Brian Demsky [Fri, 21 Sep 2018 03:47:23 +0000 (20:47 -0700)]
Bug fix in condition to set CIRCUIT encoding
bdemsky [Fri, 21 Sep 2018 03:03:40 +0000 (20:03 -0700)]
Merge branch 'scratch' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
Hamed Gorjiara [Fri, 21 Sep 2018 02:58:25 +0000 (19:58 -0700)]
Commiting my local changes ...
bdemsky [Thu, 20 Sep 2018 04:33:57 +0000 (21:33 -0700)]
bug fix
Hamed Gorjiara [Thu, 13 Sep 2018 22:10:15 +0000 (15:10 -0700)]
Adding a variable for counting the number of clauses
Hamed Gorjiara [Wed, 12 Sep 2018 18:32:08 +0000 (11:32 -0700)]
Refactoring ...
Hamed Gorjiara [Wed, 12 Sep 2018 18:27:57 +0000 (11:27 -0700)]
Bug fix for the tuner: missing mustHaveValue constraints
Hamed Gorjiara [Fri, 7 Sep 2018 23:06:51 +0000 (16:06 -0700)]
Fixing the memory bug
Hamed Gorjiara [Thu, 6 Sep 2018 23:10:00 +0000 (16:10 -0700)]
bug fix for deploy script
Hamed Gorjiara [Thu, 6 Sep 2018 20:27:37 +0000 (13:27 -0700)]
Adding assertions, info logs, and validation functions for debugging purposes
Hamed Gorjiara [Thu, 6 Sep 2018 20:24:37 +0000 (13:24 -0700)]
Bug fix: overflow in compiler automatic static casting
Hamed Gorjiara [Thu, 6 Sep 2018 20:18:03 +0000 (13:18 -0700)]
Bug fix in encoding subgraph DFS algorithm
Hamed Gorjiara [Mon, 27 Aug 2018 18:32:04 +0000 (11:32 -0700)]
after merge (mostly tabbing issues)
bdemsky [Fri, 17 Aug 2018 22:49:29 +0000 (15:49 -0700)]
Fix tabbing
bdemsky [Fri, 17 Aug 2018 22:49:03 +0000 (15:49 -0700)]
bug fix
bdemsky [Fri, 17 Aug 2018 21:42:54 +0000 (14:42 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into hamed
bdemsky [Fri, 17 Aug 2018 21:42:44 +0000 (14:42 -0700)]
revert Hamed's changes to encoding graph
Hamed Gorjiara [Fri, 17 Aug 2018 00:35:32 +0000 (17:35 -0700)]
Saving the best tuner settings + bug fixes
Hamed Gorjiara [Wed, 15 Aug 2018 00:08:29 +0000 (17:08 -0700)]
Deploy script ...
Hamed Gorjiara [Mon, 13 Aug 2018 21:22:09 +0000 (14:22 -0700)]
Cleaning up the unnecessary warnings
Hamed Gorjiara [Sun, 5 Aug 2018 01:58:23 +0000 (18:58 -0700)]
Bug fix
Hamed Gorjiara [Fri, 3 Aug 2018 08:32:40 +0000 (01:32 -0700)]
Adding clone API in pycsolver ...
bdemsky [Thu, 2 Aug 2018 23:29:59 +0000 (16:29 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into hamed
bdemsky [Thu, 2 Aug 2018 23:29:45 +0000 (16:29 -0700)]
Bug was introduced in proxy variable changes
Hamed Gorjiara [Thu, 2 Aug 2018 20:00:06 +0000 (13:00 -0700)]
Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Hamed Gorjiara [Thu, 2 Aug 2018 19:59:52 +0000 (12:59 -0700)]
Bug fix for printing ...
bdemsky [Thu, 2 Aug 2018 19:55:10 +0000 (12:55 -0700)]
fix print bug
bdemsky [Thu, 2 Aug 2018 19:49:59 +0000 (12:49 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into hamed
bdemsky [Thu, 2 Aug 2018 19:47:43 +0000 (12:47 -0700)]
bug fix
Hamed Gorjiara [Thu, 2 Aug 2018 19:45:17 +0000 (12:45 -0700)]
Refactoring ...
Hamed Gorjiara [Thu, 2 Aug 2018 18:38:22 +0000 (11:38 -0700)]
revealing a new bug
Hamed Gorjiara [Wed, 1 Aug 2018 00:27:30 +0000 (17:27 -0700)]
Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Hamed Gorjiara [Wed, 1 Aug 2018 00:27:10 +0000 (17:27 -0700)]
Adding a python API for mustHaveValue abstraction
bdemsky [Fri, 27 Jul 2018 02:58:55 +0000 (19:58 -0700)]
make range closer to what we'd expect
Hamed Gorjiara [Fri, 27 Jul 2018 02:48:54 +0000 (19:48 -0700)]
checking the the variable isn't constant in generating proxy variables + making its tuner more fine-grained
Hamed Gorjiara [Fri, 27 Jul 2018 02:01:48 +0000 (19:01 -0700)]
Now the Tuner decides about creating proxy variables
Hamed Gorjiara [Thu, 26 Jul 2018 19:48:24 +0000 (12:48 -0700)]
Warning message when value of element is undefined in results retrieved from SAT Solver
bdemsky [Tue, 24 Jul 2018 22:30:26 +0000 (15:30 -0700)]
edits
bdemsky [Tue, 24 Jul 2018 20:53:34 +0000 (13:53 -0700)]
remove redundant constraint
bdemsky [Tue, 24 Jul 2018 20:42:06 +0000 (13:42 -0700)]
add element optimization pass
bdemsky [Tue, 24 Jul 2018 20:39:07 +0000 (13:39 -0700)]
remove redundant sets
Brian Demsky [Tue, 24 Jul 2018 20:33:03 +0000 (13:33 -0700)]
fix sigs
bdemsky [Tue, 24 Jul 2018 19:55:59 +0000 (12:55 -0700)]
edits
bdemsky [Tue, 24 Jul 2018 18:33:50 +0000 (11:33 -0700)]
more code
bdemsky [Mon, 23 Jul 2018 23:42:41 +0000 (16:42 -0700)]
remove redundant domains
bdemsky [Mon, 23 Jul 2018 22:00:44 +0000 (15:00 -0700)]
add new class
bdemsky [Fri, 20 Jul 2018 19:38:40 +0000 (12:38 -0700)]
bug fixes
Hamed Gorjiara [Thu, 19 Jul 2018 22:01:23 +0000 (15:01 -0700)]
Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Hamed Gorjiara [Thu, 19 Jul 2018 22:00:49 +0000 (15:00 -0700)]
edit
Hamed Gorjiara [Thu, 19 Jul 2018 21:58:35 +0000 (14:58 -0700)]
Revert "Having the benchmarks as a new repo"
This reverts commit
6ff960b63f45a3f4d264ab265e06edccddbf9b85.
bdemsky [Thu, 19 Jul 2018 21:55:48 +0000 (14:55 -0700)]
edit
Hamed Gorjiara [Thu, 19 Jul 2018 21:42:01 +0000 (14:42 -0700)]
Having the benchmarks as a new repo
Hamed Gorjiara [Wed, 18 Jul 2018 23:31:09 +0000 (16:31 -0700)]
Bug fix for polarity assignment
bdemsky [Wed, 18 Jul 2018 23:24:09 +0000 (16:24 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into hamed
bdemsky [Wed, 18 Jul 2018 23:24:04 +0000 (16:24 -0700)]
edit
Hamed Gorjiara [Wed, 18 Jul 2018 23:21:45 +0000 (16:21 -0700)]
edit
Hamed Gorjiara [Wed, 18 Jul 2018 23:10:18 +0000 (16:10 -0700)]
Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
bdemsky [Wed, 18 Jul 2018 23:02:21 +0000 (16:02 -0700)]
edits
Hamed Gorjiara [Wed, 9 May 2018 19:18:55 +0000 (12:18 -0700)]
Removing extra constraints for the unary encoding
Hamed Gorjiara [Tue, 8 May 2018 18:00:33 +0000 (11:00 -0700)]
making the qsort deterministic for BooleanEdge
Hamed Gorjiara [Tue, 8 May 2018 17:56:09 +0000 (10:56 -0700)]
Adding a new abstraction for elements: must have value
Hamed Gorjiara [Thu, 3 May 2018 00:18:30 +0000 (17:18 -0700)]
Bug fix for cloning ...
Hamed Gorjiara [Tue, 1 May 2018 23:28:58 +0000 (16:28 -0700)]
reverting unnecessary changes in clone
Hamed Gorjiara [Mon, 30 Apr 2018 00:47:17 +0000 (17:47 -0700)]
bug fixes for cloning and encodinggraph
Hamed Gorjiara [Sat, 28 Apr 2018 19:48:03 +0000 (12:48 -0700)]
Fixing autoTuner's bug + making logs more legible
Hamed Gorjiara [Wed, 25 Apr 2018 04:54:39 +0000 (21:54 -0700)]
Fixing memory buggit status
Hamed Gorjiara [Wed, 18 Apr 2018 19:20:14 +0000 (12:20 -0700)]
Adding python api for serilizing + performance improvement + making logs more readable
Hamed Gorjiara [Fri, 13 Apr 2018 23:08:12 +0000 (16:08 -0700)]
Adding benchmarks
Hamed Gorjiara [Thu, 12 Apr 2018 18:50:54 +0000 (11:50 -0700)]
Adding logicOps and Compop in python API
Hamed Gorjiara [Wed, 11 Apr 2018 20:08:22 +0000 (13:08 -0700)]
Completing the python wrapper + editing the c APIs
Hamed Gorjiara [Wed, 11 Apr 2018 19:00:34 +0000 (12:00 -0700)]
Adding the python wrapper for the constraint solver
Hamed Gorjiara [Tue, 10 Apr 2018 22:28:03 +0000 (15:28 -0700)]
Adding the c wrapper for CSolver
Hamed Gorjiara [Fri, 9 Feb 2018 02:22:05 +0000 (18:22 -0800)]
Bug Fixes
Hamed Gorjiara [Thu, 1 Feb 2018 03:57:39 +0000 (19:57 -0800)]
edit
projects / satune.git / log