satune.git
4 years agoRuns
Brian Demsky [Wed, 10 Jan 2018 06:44:10 +0000 (22:44 -0800)]
Runs

4 years agoedits
Brian Demsky [Mon, 8 Jan 2018 23:44:47 +0000 (15:44 -0800)]
edits

4 years agoReduce unnecessary vector alloc/free
Brian Demsky [Sat, 6 Jan 2018 00:09:24 +0000 (16:09 -0800)]
Reduce unnecessary vector alloc/free

4 years agoBug fixes
Brian Demsky [Fri, 5 Jan 2018 21:00:12 +0000 (13:00 -0800)]
Bug fixes

4 years agobug fixes
Brian Demsky [Sun, 31 Dec 2017 08:55:12 +0000 (00:55 -0800)]
bug fixes

4 years agoAdding reset to the solver
Hamed Gorjiara [Mon, 27 Nov 2017 21:38:16 +0000 (13:38 -0800)]
Adding reset to the solver

4 years agoFixing the performance bug
Hamed Gorjiara [Wed, 22 Nov 2017 19:28:14 +0000 (11:28 -0800)]
Fixing the performance bug

4 years agoFixing serialization bug caused by git automerge
Hamed Gorjiara [Thu, 2 Nov 2017 18:30:02 +0000 (11:30 -0700)]
Fixing serialization bug caused by git automerge

4 years agoMerging with master
Hamed Gorjiara [Thu, 2 Nov 2017 00:58:49 +0000 (17:58 -0700)]
Merging with master

4 years agoBug fix for serializer + adding more debug info inr printing functions
Hamed Gorjiara [Thu, 2 Nov 2017 00:56:52 +0000 (17:56 -0700)]
Bug fix for serializer + adding more debug info inr printing functions

4 years agobug fix
bdemsky [Thu, 2 Nov 2017 00:10:49 +0000 (17:10 -0700)]
bug fix

4 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed Gorjiara [Wed, 25 Oct 2017 21:04:52 +0000 (14:04 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

4 years agogit rid of SATCHECK_CONFIG micro
Hamed Gorjiara [Wed, 25 Oct 2017 21:04:44 +0000 (14:04 -0700)]
git rid of SATCHECK_CONFIG micro

4 years agoAdd timing statements
bdemsky [Tue, 24 Oct 2017 22:07:19 +0000 (15:07 -0700)]
Add timing statements

4 years agoMy changes
bdemsky [Tue, 24 Oct 2017 19:31:32 +0000 (12:31 -0700)]
My changes

4 years agoSwitch default
bdemsky [Tue, 24 Oct 2017 06:06:49 +0000 (23:06 -0700)]
Switch default

4 years agofix some warnings
bdemsky [Tue, 24 Oct 2017 05:59:03 +0000 (22:59 -0700)]
fix some warnings

4 years agoAutotuner test case
bdemsky [Tue, 24 Oct 2017 02:37:06 +0000 (19:37 -0700)]
Autotuner test case

4 years agoImprove hash function to fix collision problem
bdemsky [Tue, 24 Oct 2017 02:36:35 +0000 (19:36 -0700)]
Improve hash function to fix collision problem

4 years agoAdd new test cases plus buffer serialization code
bdemsky [Tue, 24 Oct 2017 01:23:20 +0000 (18:23 -0700)]
Add new test cases plus buffer serialization code

4 years agoFix bugs
bdemsky [Mon, 23 Oct 2017 22:32:25 +0000 (15:32 -0700)]
Fix bugs

4 years agoEdits
bdemsky [Mon, 23 Oct 2017 22:16:21 +0000 (15:16 -0700)]
Edits

4 years agoMerge
bdemsky [Mon, 23 Oct 2017 22:12:22 +0000 (15:12 -0700)]
Merge

4 years agoBug fix
bdemsky [Mon, 23 Oct 2017 22:10:47 +0000 (15:10 -0700)]
Bug fix

4 years agoAfter resolving conflicts ..
Hamed Gorjiara [Mon, 23 Oct 2017 22:02:49 +0000 (15:02 -0700)]
After resolving conflicts ..

4 years agoMore bug fix
Hamed Gorjiara [Mon, 23 Oct 2017 21:59:31 +0000 (14:59 -0700)]
More bug fix

4 years agoBug fix
Hamed Gorjiara [Mon, 23 Oct 2017 20:54:01 +0000 (13:54 -0700)]
Bug fix

4 years agoAdding a new testcase ... -Shows bugs that need to be fixed
Hamed Gorjiara [Mon, 23 Oct 2017 10:30:13 +0000 (03:30 -0700)]
Adding a new testcase ... -Shows bugs that need to be fixed

4 years agoAdding SATCHECK_CONFIG to make switching easier ...
Hamed Gorjiara [Mon, 23 Oct 2017 09:43:45 +0000 (02:43 -0700)]
Adding SATCHECK_CONFIG to make switching easier ...

4 years agoAfter resolving conflicts
Hamed Gorjiara [Mon, 23 Oct 2017 09:35:11 +0000 (02:35 -0700)]
After resolving conflicts

4 years agoEdits
bdemsky [Mon, 23 Oct 2017 07:12:17 +0000 (00:12 -0700)]
Edits

4 years agoRemove print line
bdemsky [Sun, 22 Oct 2017 07:42:10 +0000 (00:42 -0700)]
Remove print line

4 years agoBug fixes
bdemsky [Sun, 22 Oct 2017 07:36:43 +0000 (00:36 -0700)]
Bug fixes

4 years agoMore edits
bdemsky [Sun, 22 Oct 2017 06:57:54 +0000 (23:57 -0700)]
More edits

4 years agoadding config for model_print
Hamed Gorjiara [Sun, 22 Oct 2017 00:46:55 +0000 (17:46 -0700)]
adding config for model_print

4 years agoAdd serialize back to the test case
bdemsky [Sun, 22 Oct 2017 00:30:03 +0000 (17:30 -0700)]
Add serialize back to the test case

4 years agotabbing
bdemsky [Sun, 22 Oct 2017 00:21:44 +0000 (17:21 -0700)]
tabbing

4 years agoNew Resolver Design for Decompose Order
bdemsky [Sun, 22 Oct 2017 00:21:22 +0000 (17:21 -0700)]
New Resolver Design for Decompose Order

4 years agoNew Resolver Strategy
bdemsky [Sat, 21 Oct 2017 23:19:28 +0000 (16:19 -0700)]
New Resolver Strategy

4 years agoedits
bdemsky [Sat, 21 Oct 2017 22:55:40 +0000 (15:55 -0700)]
edits

4 years agoFix bug regarding order translation for removed nodes
bdemsky [Sat, 21 Oct 2017 07:16:27 +0000 (00:16 -0700)]
Fix bug regarding order translation for removed nodes

4 years agoFix some memory leaks
bdemsky [Fri, 20 Oct 2017 23:13:35 +0000 (16:13 -0700)]
Fix some memory leaks

4 years agoFixing bugs ...
Hamed Gorjiara [Fri, 20 Oct 2017 22:41:55 +0000 (15:41 -0700)]
Fixing bugs ...

4 years agoOff by 1 bug
bdemsky [Fri, 20 Oct 2017 21:41:42 +0000 (14:41 -0700)]
Off by 1 bug

4 years agoAdd test cases
bdemsky [Fri, 20 Oct 2017 21:28:49 +0000 (14:28 -0700)]
Add test cases

4 years agoBug fix for removing must edges...They also need to update constraints
bdemsky [Thu, 19 Oct 2017 20:13:42 +0000 (13:13 -0700)]
Bug fix for removing must edges...They also need to update constraints

4 years agoBug fix
bdemsky [Thu, 19 Oct 2017 01:04:50 +0000 (18:04 -0700)]
Bug fix

4 years agoFix tabbing
bdemsky [Wed, 18 Oct 2017 23:54:43 +0000 (16:54 -0700)]
Fix tabbing

4 years agoEdits to merge
bdemsky [Wed, 18 Oct 2017 23:54:21 +0000 (16:54 -0700)]
Edits to merge

4 years agoBug fix
bdemsky [Wed, 18 Oct 2017 04:49:31 +0000 (21:49 -0700)]
Bug fix

4 years agoMinimize test case
bdemsky [Wed, 18 Oct 2017 03:26:05 +0000 (20:26 -0700)]
Minimize test case

4 years agoCorrect test case
bdemsky [Wed, 18 Oct 2017 02:10:55 +0000 (19:10 -0700)]
Correct test case

4 years agonew test case
Hamed Gorjiara [Tue, 17 Oct 2017 22:32:12 +0000 (15:32 -0700)]
new test case

4 years agoBug Fixes + add more tracing prints + turning off some optimizations
Hamed Gorjiara [Tue, 17 Oct 2017 18:56:36 +0000 (11:56 -0700)]
Bug Fixes + add more tracing prints + turning off some optimizations

4 years agoFixing missing changes
Hamed Gorjiara [Fri, 29 Sep 2017 21:16:17 +0000 (14:16 -0700)]
Fixing missing changes

4 years agoFixing missing changes
Hamed Gorjiara [Fri, 29 Sep 2017 20:59:52 +0000 (13:59 -0700)]
Fixing missing changes

4 years agoAdding pring option for AST
Hamed Gorjiara [Fri, 29 Sep 2017 20:43:27 +0000 (13:43 -0700)]
Adding pring option for AST

5 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Thu, 21 Sep 2017 23:48:55 +0000 (16:48 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

5 years agoBug patches
bdemsky [Thu, 21 Sep 2017 23:48:12 +0000 (16:48 -0700)]
Bug patches

5 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Wed, 20 Sep 2017 21:29:52 +0000 (14:29 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

5 years agoAnother bug fix
bdemsky [Wed, 20 Sep 2017 21:09:30 +0000 (14:09 -0700)]
Another bug fix

5 years agoBug fixes
bdemsky [Wed, 20 Sep 2017 21:01:14 +0000 (14:01 -0700)]
Bug fixes

5 years agoBug fix
bdemsky [Wed, 20 Sep 2017 20:35:41 +0000 (13:35 -0700)]
Bug fix

5 years agoAdding APIs needed
Hamed [Wed, 20 Sep 2017 19:19:16 +0000 (12:19 -0700)]
Adding APIs needed

5 years agobackout changes
bdemsky [Wed, 20 Sep 2017 05:37:55 +0000 (22:37 -0700)]
backout changes

5 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Wed, 20 Sep 2017 00:16:04 +0000 (17:16 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

5 years agoedits
bdemsky [Wed, 20 Sep 2017 00:15:38 +0000 (17:15 -0700)]
edits

5 years agoedits
bdemsky [Tue, 19 Sep 2017 23:43:40 +0000 (16:43 -0700)]
edits

5 years agomerge to branch master
Hamed [Tue, 19 Sep 2017 23:39:05 +0000 (16:39 -0700)]
merge to branch master

5 years agoFixing header bugs
Hamed [Tue, 19 Sep 2017 23:36:05 +0000 (16:36 -0700)]
Fixing header bugs

5 years agoMore code
bdemsky [Tue, 19 Sep 2017 21:07:30 +0000 (14:07 -0700)]
More code

5 years agoMore code
bdemsky [Tue, 19 Sep 2017 17:38:04 +0000 (10:38 -0700)]
More code

5 years agoMerge
bdemsky [Mon, 18 Sep 2017 22:42:54 +0000 (15:42 -0700)]
Merge

5 years agoedits
bdemsky [Mon, 18 Sep 2017 07:10:16 +0000 (00:10 -0700)]
edits

5 years agoAdding an API for finalizing MutableSet
Hamed [Fri, 15 Sep 2017 22:01:33 +0000 (15:01 -0700)]
Adding an API for finalizing MutableSet

5 years agoretrieving back the addItem for mutableSet (needed for branchRecord)
Hamed [Fri, 15 Sep 2017 18:06:34 +0000 (11:06 -0700)]
retrieving back the addItem for mutableSet (needed for branchRecord)

5 years agoedits
bdemsky [Thu, 14 Sep 2017 21:56:02 +0000 (14:56 -0700)]
edits

5 years agoedits
bdemsky [Thu, 14 Sep 2017 07:16:25 +0000 (00:16 -0700)]
edits

5 years agoSubgraphing code in place
bdemsky [Thu, 14 Sep 2017 06:22:51 +0000 (23:22 -0700)]
Subgraphing code in place

5 years agoAdding support for (de)serializing MutableSet
Hamed [Wed, 13 Sep 2017 03:14:24 +0000 (20:14 -0700)]
Adding support for (de)serializing MutableSet

5 years agoKeep sets sorted
bdemsky [Tue, 12 Sep 2017 19:14:05 +0000 (12:14 -0700)]
Keep sets sorted

5 years agoMore helper functions
bdemsky [Mon, 11 Sep 2017 23:51:30 +0000 (16:51 -0700)]
More helper functions

5 years agoMerge branch 'encoding'
bdemsky [Mon, 11 Sep 2017 23:27:36 +0000 (16:27 -0700)]
Merge branch 'encoding'

5 years agoMerge
bdemsky [Mon, 11 Sep 2017 23:27:01 +0000 (16:27 -0700)]
Merge

5 years agoMore EncodingGraph work
bdemsky [Mon, 11 Sep 2017 23:21:15 +0000 (16:21 -0700)]
More EncodingGraph work

5 years agoFixing memory leak bug ...
Hamed [Mon, 11 Sep 2017 23:15:53 +0000 (16:15 -0700)]
Fixing memory leak bug ...

5 years agoMore bug fix ...
Hamed [Mon, 11 Sep 2017 23:11:20 +0000 (16:11 -0700)]
More bug fix ...

5 years agoRemove unimplemented enum
bdemsky [Mon, 11 Sep 2017 21:28:25 +0000 (14:28 -0700)]
Remove unimplemented enum

5 years agoExtend tuning framework
bdemsky [Mon, 11 Sep 2017 21:04:25 +0000 (14:04 -0700)]
Extend tuning framework

5 years agoMore bugs
Hamed [Mon, 11 Sep 2017 20:42:10 +0000 (13:42 -0700)]
More bugs

5 years agoFixing bugs ...
Hamed [Mon, 11 Sep 2017 20:29:28 +0000 (13:29 -0700)]
Fixing bugs ...

5 years agoMore graph building
bdemsky [Sun, 10 Sep 2017 23:15:33 +0000 (16:15 -0700)]
More graph building

5 years agocompleted serializer/deserializer
Hamed [Sun, 10 Sep 2017 06:59:38 +0000 (23:59 -0700)]
completed serializer/deserializer

5 years agoMore code towards graph
bdemsky [Sat, 9 Sep 2017 07:08:53 +0000 (00:08 -0700)]
More code towards graph

5 years agoMore code towards graph
bdemsky [Sat, 9 Sep 2017 07:08:02 +0000 (00:08 -0700)]
More code towards graph

5 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Sat, 9 Sep 2017 05:31:05 +0000 (22:31 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

5 years agoedits
bdemsky [Sat, 9 Sep 2017 05:23:40 +0000 (22:23 -0700)]
edits

5 years agoBooleanOrder (de)serialization works ...
Hamed [Sat, 9 Sep 2017 02:10:01 +0000 (19:10 -0700)]
BooleanOrder (de)serialization works ...

5 years agoMerging with branch master
Hamed [Fri, 8 Sep 2017 21:15:09 +0000 (14:15 -0700)]
Merging with branch master

5 years ago(de)serializer: BooleanOrder + BooleanVar
Hamed [Fri, 8 Sep 2017 20:46:21 +0000 (13:46 -0700)]
(de)serializer: BooleanOrder + BooleanVar