satune.git
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

5 years agoscratch of (de)serializing
Hamed [Fri, 8 Sep 2017 04:40:26 +0000 (21:40 -0700)]
scratch of (de)serializing

5 years agoMore refactoring
bdemsky [Fri, 8 Sep 2017 03:54:20 +0000 (20:54 -0700)]
More refactoring

5 years agoedits
bdemsky [Fri, 8 Sep 2017 03:00:54 +0000 (20:00 -0700)]
edits

5 years agoEdits
bdemsky [Fri, 8 Sep 2017 02:38:42 +0000 (19:38 -0700)]
Edits

5 years agoFinish iterator class
bdemsky [Fri, 8 Sep 2017 01:41:59 +0000 (18:41 -0700)]
Finish iterator class

5 years agoSimplify Code
bdemsky [Fri, 8 Sep 2017 00:03:41 +0000 (17:03 -0700)]
Simplify Code

5 years agoIterator over AST
Brian Demsky [Thu, 7 Sep 2017 23:53:39 +0000 (16:53 -0700)]
Iterator over AST

5 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Thu, 7 Sep 2017 22:02:14 +0000 (15:02 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

5 years agoAdd directories per analysis
bdemsky [Thu, 7 Sep 2017 22:01:59 +0000 (15:01 -0700)]
Add directories per analysis

5 years agoPartial Order ...
Hamed [Thu, 7 Sep 2017 01:30:27 +0000 (18:30 -0700)]
Partial Order ...

5 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Wed, 6 Sep 2017 18:04:34 +0000 (11:04 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

5 years agoMoving OrderPairTable to the resolver + hide translation complexity in OrderPair...
Hamed [Wed, 6 Sep 2017 18:04:06 +0000 (11:04 -0700)]
Moving OrderPairTable to the resolver + hide translation complexity in OrderPair (useful for partial order)

5 years agoImprove propagation and add preprocessor pass
bdemsky [Wed, 6 Sep 2017 03:16:40 +0000 (20:16 -0700)]
Improve propagation and add preprocessor pass

5 years agoDon't do unnecessary work in polarity computation
bdemsky [Tue, 5 Sep 2017 23:15:55 +0000 (16:15 -0700)]
Don't do unnecessary work in polarity computation

5 years agoqsort has a malloc hidden inside of it...It breaks our library when used with satcheck
bdemsky [Tue, 5 Sep 2017 21:53:52 +0000 (14:53 -0700)]
qsort has a malloc hidden inside of it...It breaks our library when used with satcheck

5 years agoFixing polarity path bug ....
Hamed [Tue, 5 Sep 2017 21:39:02 +0000 (14:39 -0700)]
Fixing polarity path bug ....

5 years agoFound bug... Don't update parent's list until we know we aren't going to be freed
bdemsky [Tue, 5 Sep 2017 21:23:48 +0000 (14:23 -0700)]
Found bug...  Don't update parent's list until we know we aren't going to be freed

5 years agoAdding support for partial order in DecomposeOrderResolver
Hamed [Tue, 5 Sep 2017 00:39:34 +0000 (17:39 -0700)]
Adding support for partial order in DecomposeOrderResolver

5 years agoOne bug in our port and another bug in the original version
bdemsky [Tue, 5 Sep 2017 07:56:27 +0000 (00:56 -0700)]
One bug in our port and another bug in the original version

5 years agoRevert patch to hide symptom of previous bugs
bdemsky [Tue, 5 Sep 2017 06:17:14 +0000 (23:17 -0700)]
Revert patch to hide symptom of previous bugs

5 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Tue, 5 Sep 2017 06:15:27 +0000 (23:15 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

5 years agoTons of bugs
bdemsky [Tue, 5 Sep 2017 06:15:20 +0000 (23:15 -0700)]
Tons of bugs

5 years agoEdit
Hamed [Mon, 4 Sep 2017 23:04:55 +0000 (16:04 -0700)]
Edit

5 years agoEdit
Hamed [Mon, 4 Sep 2017 20:31:36 +0000 (13:31 -0700)]
Edit

5 years agoFixing integerencoding memory leaks ...
Hamed [Mon, 4 Sep 2017 20:21:15 +0000 (13:21 -0700)]
Fixing integerencoding memory leaks ...

5 years agoFixing more bugs
Hamed [Mon, 4 Sep 2017 10:06:13 +0000 (03:06 -0700)]
Fixing more bugs

5 years agofixing a bug with bypassMustBeTrueNode
Hamed [Mon, 4 Sep 2017 06:29:12 +0000 (23:29 -0700)]
fixing a bug with bypassMustBeTrueNode

5 years agoBug Fix
bdemsky [Mon, 4 Sep 2017 07:00:15 +0000 (00:00 -0700)]
Bug Fix

5 years agoBug fix
bdemsky [Mon, 4 Sep 2017 05:48:18 +0000 (22:48 -0700)]
Bug fix

5 years agoHandle optimizations for mustbetrue/mustbefalse automatically
bdemsky [Sun, 3 Sep 2017 03:57:42 +0000 (20:57 -0700)]
Handle optimizations for mustbetrue/mustbefalse automatically

5 years agoCompute Must Values Automatically
bdemsky [Sun, 3 Sep 2017 03:46:12 +0000 (20:46 -0700)]
Compute Must Values Automatically

5 years agoBug fix
bdemsky [Sun, 3 Sep 2017 03:38:09 +0000 (20:38 -0700)]
Bug fix

5 years agoFix test cases
bdemsky [Sun, 3 Sep 2017 01:15:00 +0000 (18:15 -0700)]
Fix test cases

5 years agoCompiles
bdemsky [Sun, 3 Sep 2017 01:11:59 +0000 (18:11 -0700)]
Compiles

5 years agoWork on canonicalizing the AST so our analysis can handle fewer cases
bdemsky [Sat, 2 Sep 2017 22:24:53 +0000 (15:24 -0700)]
Work on canonicalizing the AST so our analysis can handle fewer cases

5 years agoInterface should be bool, not happenedbefore
bdemsky [Sat, 2 Sep 2017 07:28:06 +0000 (00:28 -0700)]
Interface should be bool, not happenedbefore

5 years agoMake integerencoding a completely separate pass... Fix issue of changing ordersets
bdemsky [Sat, 2 Sep 2017 07:00:52 +0000 (00:00 -0700)]
Make integerencoding a completely separate pass...  Fix issue of changing ordersets

5 years agoRestructure transforms a little and run make tabbing
bdemsky [Sat, 2 Sep 2017 06:47:41 +0000 (23:47 -0700)]
Restructure transforms a little and run make tabbing

5 years agoAdding IntegerEncodingResolver ...
Hamed [Sat, 2 Sep 2017 01:35:58 +0000 (18:35 -0700)]
Adding IntegerEncodingResolver ...

5 years agoAdding OrderPairResolver
Hamed [Fri, 1 Sep 2017 23:45:39 +0000 (16:45 -0700)]
Adding OrderPairResolver

5 years agoEditing orderresolver design
Hamed [Fri, 1 Sep 2017 22:21:04 +0000 (15:21 -0700)]
Editing orderresolver design

5 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Fri, 1 Sep 2017 19:39:58 +0000 (12:39 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

5 years agoAdding DecomposeOrderResolver
Hamed [Fri, 1 Sep 2017 19:39:40 +0000 (12:39 -0700)]
Adding DecomposeOrderResolver

5 years agoBug fix
bdemsky [Fri, 1 Sep 2017 07:02:07 +0000 (00:02 -0700)]
Bug fix

5 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Fri, 1 Sep 2017 01:43:56 +0000 (18:43 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

5 years agoSmall edit
Hamed [Fri, 1 Sep 2017 01:37:17 +0000 (18:37 -0700)]
Small edit

5 years agoFix mistakenly renamed enum element
bdemsky [Fri, 1 Sep 2017 00:46:38 +0000 (17:46 -0700)]
Fix mistakenly renamed enum element

5 years agoBug fixes
Brian Demsky [Thu, 31 Aug 2017 23:38:18 +0000 (16:38 -0700)]
Bug fixes

5 years agoAdding decomposeOrderTransform to transformer
Hamed [Thu, 31 Aug 2017 17:44:04 +0000 (10:44 -0700)]
Adding decomposeOrderTransform to transformer

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

5 years agoAdd IFF support
bdemsky [Thu, 31 Aug 2017 05:46:46 +0000 (22:46 -0700)]
Add IFF support

5 years agoRename startEncoding function
bdemsky [Thu, 31 Aug 2017 04:16:56 +0000 (21:16 -0700)]
Rename startEncoding function

5 years agoAdd convenience functions
bdemsky [Thu, 31 Aug 2017 04:08:30 +0000 (21:08 -0700)]
Add convenience functions

5 years agoAdd convenience function
bdemsky [Thu, 31 Aug 2017 02:32:48 +0000 (19:32 -0700)]
Add convenience function

5 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Thu, 31 Aug 2017 02:32:29 +0000 (19:32 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

5 years agoMerging with branch Master
Hamed [Thu, 31 Aug 2017 02:32:15 +0000 (19:32 -0700)]
Merging with branch Master

5 years agoAdd useful functions
bdemsky [Thu, 31 Aug 2017 02:01:06 +0000 (19:01 -0700)]
Add useful functions

5 years agoFixing bug ..
Hamed [Thu, 31 Aug 2017 01:59:03 +0000 (18:59 -0700)]
Fixing bug ..

5 years agoAdding Transformer and adding integerencoding to it + More OOP
Hamed [Thu, 31 Aug 2017 01:45:27 +0000 (18:45 -0700)]
Adding Transformer and adding integerencoding to it + More OOP