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

4 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

4 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

4 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

4 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

4 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

4 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

4 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

4 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

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

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

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

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

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

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

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

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

4 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

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

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

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

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

4 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

4 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

4 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

4 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

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

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

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

4 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

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

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

4 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

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

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

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

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

4 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

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

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

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

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

4 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

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

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

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

4 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

4 years agoFix name collisions
bdemsky [Thu, 31 Aug 2017 00:12:14 +0000 (17:12 -0700)]
Fix name collisions

4 years agoRenaming
bdemsky [Wed, 30 Aug 2017 23:39:18 +0000 (16:39 -0700)]
Renaming

4 years agoChange dependences
bdemsky [Wed, 30 Aug 2017 23:36:27 +0000 (16:36 -0700)]
Change dependences

4 years agoTuner bug fix
bdemsky [Wed, 30 Aug 2017 23:12:15 +0000 (16:12 -0700)]
Tuner bug fix

4 years agoForgot file
bdemsky [Wed, 30 Aug 2017 22:00:54 +0000 (15:00 -0700)]
Forgot file

4 years agoMore name changes
bdemsky [Wed, 30 Aug 2017 22:00:17 +0000 (15:00 -0700)]
More name changes

4 years agorenaming
Brian Demsky [Wed, 30 Aug 2017 21:46:10 +0000 (14:46 -0700)]
renaming

4 years agoMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Wed, 30 Aug 2017 20:49:52 +0000 (13:49 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

4 years agoGet rid of unnecessary hashfunction and comparison
bdemsky [Wed, 30 Aug 2017 20:25:04 +0000 (13:25 -0700)]
Get rid of unnecessary hashfunction and comparison

4 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Wed, 30 Aug 2017 20:22:42 +0000 (13:22 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

4 years agoAdd support for true and false and normalizing them away
bdemsky [Wed, 30 Aug 2017 20:21:24 +0000 (13:21 -0700)]
Add support for true and false and normalizing them away

4 years agoAdding support for mutableset in backend + OO-style Set
Hamed [Wed, 30 Aug 2017 00:41:12 +0000 (17:41 -0700)]
Adding support for mutableset in backend + OO-style Set

4 years agoOmitting tunable parameters from Transform's constructors
Hamed [Tue, 29 Aug 2017 23:20:53 +0000 (16:20 -0700)]
Omitting tunable parameters from Transform's constructors

4 years agoMerging with branch master and fixing bugs
Hamed [Tue, 29 Aug 2017 22:12:22 +0000 (15:12 -0700)]
Merging with branch master and fixing bugs

4 years agoTranslate expressions only once
bdemsky [Tue, 29 Aug 2017 18:59:13 +0000 (11:59 -0700)]
Translate expressions only once

4 years agoDeduplication Support
bdemsky [Tue, 29 Aug 2017 06:05:34 +0000 (23:05 -0700)]
Deduplication Support

4 years agoEdit
Hamed [Tue, 29 Aug 2017 06:01:25 +0000 (23:01 -0700)]
Edit

4 years agoFixing bugs
Hamed [Tue, 29 Aug 2017 05:25:44 +0000 (22:25 -0700)]
Fixing bugs

4 years agoOOP representation of Transforms
Hamed [Tue, 29 Aug 2017 05:16:01 +0000 (22:16 -0700)]
OOP representation of Transforms

4 years agoFinish hash/comparison functions
bdemsky [Tue, 29 Aug 2017 03:22:08 +0000 (20:22 -0700)]
Finish hash/comparison functions

4 years agoAdd AST Hashing and Equals Functions
bdemsky [Tue, 29 Aug 2017 03:12:43 +0000 (20:12 -0700)]
Add AST Hashing and Equals Functions

4 years agoGet rid of silly macros
bdemsky [Tue, 29 Aug 2017 00:00:46 +0000 (17:00 -0700)]
Get rid of silly macros

4 years agoSmall edit
bdemsky [Mon, 28 Aug 2017 23:38:34 +0000 (16:38 -0700)]
Small edit

4 years agoBug fixes
Brian Demsky [Mon, 28 Aug 2017 23:30:16 +0000 (16:30 -0700)]
Bug fixes

4 years agoAuto Tuner Initial Full Checkin
bdemsky [Mon, 28 Aug 2017 21:41:46 +0000 (14:41 -0700)]
Auto Tuner Initial Full Checkin

4 years agoAutotune Framework
bdemsky [Mon, 28 Aug 2017 21:14:46 +0000 (14:14 -0700)]
Autotune Framework

4 years agoMore of Tuning Framework
bdemsky [Mon, 28 Aug 2017 02:40:55 +0000 (19:40 -0700)]
More of Tuning Framework

4 years agoMore tuner framework code
bdemsky [Mon, 28 Aug 2017 01:51:45 +0000 (18:51 -0700)]
More tuner framework code

4 years agoClass renaming
bdemsky [Mon, 28 Aug 2017 01:09:33 +0000 (18:09 -0700)]
Class renaming

4 years agoedit
bdemsky [Mon, 28 Aug 2017 00:59:09 +0000 (17:59 -0700)]
edit

4 years agoMore OO conversion
bdemsky [Mon, 28 Aug 2017 00:55:25 +0000 (17:55 -0700)]
More OO conversion

4 years agoedits
bdemsky [Mon, 28 Aug 2017 00:27:52 +0000 (17:27 -0700)]
edits

4 years agoFixing the ordergraphtest
Hamed [Sun, 27 Aug 2017 23:12:19 +0000 (16:12 -0700)]
Fixing the ordergraphtest

4 years agoAdding Transform object ... applying Brian's comments
Hamed [Sun, 27 Aug 2017 22:14:51 +0000 (15:14 -0700)]
Adding Transform object ... applying Brian's comments

4 years agoConvert structs to classes...
bdemsky [Sun, 27 Aug 2017 08:14:12 +0000 (01:14 -0700)]
Convert structs to classes...

4 years agoFinish clone
bdemsky [Sun, 27 Aug 2017 07:59:13 +0000 (00:59 -0700)]
Finish clone

4 years agotowards cloning
bdemsky [Sun, 27 Aug 2017 07:08:54 +0000 (00:08 -0700)]
towards cloning

4 years agoRun tabbing pass
bdemsky [Sun, 27 Aug 2017 01:11:20 +0000 (18:11 -0700)]
Run tabbing pass

4 years agoTry to fix encapsulation
bdemsky [Sun, 27 Aug 2017 01:06:04 +0000 (18:06 -0700)]
Try to fix encapsulation

4 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Sat, 26 Aug 2017 23:58:05 +0000 (16:58 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

4 years agoFix Tuner framework to be OO
bdemsky [Sat, 26 Aug 2017 20:36:58 +0000 (13:36 -0700)]
Fix Tuner framework to be OO

4 years agoFully convert ordergraph to objects
bdemsky [Sat, 26 Aug 2017 20:31:58 +0000 (13:31 -0700)]
Fully convert ordergraph to objects

4 years agoMore conversion to classes
bdemsky [Sat, 26 Aug 2017 20:19:33 +0000 (13:19 -0700)]
More conversion to classes

4 years agoStyle change...
bdemsky [Sat, 26 Aug 2017 06:11:00 +0000 (23:11 -0700)]
Style change...

4 years agoFix bogus test case
bdemsky [Sat, 26 Aug 2017 06:10:32 +0000 (23:10 -0700)]
Fix bogus test case

4 years agoBug fixes
bdemsky [Sat, 26 Aug 2017 02:33:11 +0000 (19:33 -0700)]
Bug fixes

4 years agoUpdate test files
bdemsky [Sat, 26 Aug 2017 02:32:56 +0000 (19:32 -0700)]
Update test files

4 years agoMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Sat, 26 Aug 2017 02:11:30 +0000 (19:11 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

4 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Sat, 26 Aug 2017 01:41:12 +0000 (18:41 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

4 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Sat, 26 Aug 2017 00:48:29 +0000 (17:48 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

4 years agoFixing the Integer encoding ...
Hamed [Sat, 26 Aug 2017 00:42:38 +0000 (17:42 -0700)]
Fixing the Integer encoding ...

4 years agoFix memory leaks
bdemsky [Sat, 26 Aug 2017 00:18:32 +0000 (17:18 -0700)]
Fix memory leaks

4 years agoAdding back the IntegerEncoding ...
Hamed [Sat, 26 Aug 2017 00:18:19 +0000 (17:18 -0700)]
Adding back the IntegerEncoding ...