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

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

4 years agoedit
Hamed [Fri, 25 Aug 2017 23:49:40 +0000 (16:49 -0700)]
edit

4 years agoBig Bug Fix
bdemsky [Fri, 25 Aug 2017 23:47:44 +0000 (16:47 -0700)]
Big Bug Fix

4 years agoMerge with branch master ...
Hamed [Fri, 25 Aug 2017 05:26:41 +0000 (22:26 -0700)]
Merge with branch master ...

4 years agoFix bug
bdemsky [Fri, 25 Aug 2017 23:24:59 +0000 (16:24 -0700)]
Fix bug

4 years agoReorg code
bdemsky [Fri, 25 Aug 2017 23:10:20 +0000 (16:10 -0700)]
Reorg code

4 years agoReorg code
bdemsky [Fri, 25 Aug 2017 23:08:08 +0000 (16:08 -0700)]
Reorg code

4 years agoMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Fri, 25 Aug 2017 23:03:21 +0000 (16:03 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

4 years agoedits
bdemsky [Fri, 25 Aug 2017 22:59:28 +0000 (15:59 -0700)]
edits

4 years agoedits
bdemsky [Fri, 25 Aug 2017 08:54:32 +0000 (01:54 -0700)]
edits

4 years agoGet rid of OrderPair warning
bdemsky [Fri, 25 Aug 2017 08:12:32 +0000 (01:12 -0700)]
Get rid of OrderPair warning

4 years agoSwitch hashtable/hashset
bdemsky [Fri, 25 Aug 2017 07:38:04 +0000 (00:38 -0700)]
Switch hashtable/hashset

4 years agoSwitch to vector class
bdemsky [Fri, 25 Aug 2017 05:56:17 +0000 (22:56 -0700)]
Switch to vector class

4 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Fri, 25 Aug 2017 05:09:34 +0000 (22:09 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

4 years agoreplacing booleanOrder with booleanPredicate in IntegerEncoding ...
Hamed [Fri, 25 Aug 2017 05:09:26 +0000 (22:09 -0700)]
replacing booleanOrder with booleanPredicate in IntegerEncoding ...

4 years agoSwitch array struct to class
bdemsky [Fri, 25 Aug 2017 04:36:05 +0000 (21:36 -0700)]
Switch array struct to class

4 years agoAdding ASTTransform ...
Hamed [Fri, 25 Aug 2017 04:28:59 +0000 (21:28 -0700)]
Adding ASTTransform ...

4 years agoedit
bdemsky [Fri, 25 Aug 2017 02:41:44 +0000 (19:41 -0700)]
edit

4 years agoMove
bdemsky [Fri, 25 Aug 2017 02:31:43 +0000 (19:31 -0700)]
Move

4 years agoMove Files
bdemsky [Fri, 25 Aug 2017 02:30:37 +0000 (19:30 -0700)]
Move Files

4 years agofix bug
bdemsky [Fri, 25 Aug 2017 02:24:36 +0000 (19:24 -0700)]
fix bug

4 years agoedits
bdemsky [Fri, 25 Aug 2017 02:11:49 +0000 (19:11 -0700)]
edits

4 years agoedits
Brian Demsky [Fri, 25 Aug 2017 00:47:01 +0000 (17:47 -0700)]
edits

4 years agoMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Fri, 25 Aug 2017 00:46:30 +0000 (17:46 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

4 years agoedits
Brian Demsky [Fri, 25 Aug 2017 00:46:12 +0000 (17:46 -0700)]
edits

4 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
Hamed [Fri, 25 Aug 2017 00:13:19 +0000 (17:13 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Switching to C++

4 years agomore
bdemsky [Fri, 25 Aug 2017 00:07:37 +0000 (17:07 -0700)]
more

4 years agoMore fixes
bdemsky [Fri, 25 Aug 2017 00:05:48 +0000 (17:05 -0700)]
More fixes

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

4 years agoRename everything
bdemsky [Thu, 24 Aug 2017 23:49:49 +0000 (16:49 -0700)]
Rename everything

4 years agoAdd LTE function for completeness and fix bug in LT
bdemsky [Thu, 24 Aug 2017 23:02:57 +0000 (16:02 -0700)]
Add LTE function for completeness and fix bug in LT

4 years agoremoving true nodes from the OrderGraph
Hamed [Thu, 24 Aug 2017 21:40:16 +0000 (14:40 -0700)]
removing true nodes from the OrderGraph

4 years agoFixin memory bug
Hamed [Tue, 22 Aug 2017 22:25:16 +0000 (15:25 -0700)]
Fixin memory bug

4 years agoAdding support for Integer Encoding ...
Hamed [Tue, 22 Aug 2017 22:09:28 +0000 (15:09 -0700)]
Adding support for Integer Encoding ...

4 years agoAdding circuit-based encoding for LT and GT
Hamed [Tue, 22 Aug 2017 15:50:27 +0000 (08:50 -0700)]
Adding circuit-based encoding for LT and GT

4 years agoAfter merging with master branch ...
Hamed [Tue, 22 Aug 2017 10:48:14 +0000 (03:48 -0700)]
After merging with master branch ...

4 years agoFix memory bugs
bdemsky [Wed, 23 Aug 2017 06:01:42 +0000 (23:01 -0700)]
Fix memory bugs

4 years agoImplement Partial->Total Conversion
bdemsky [Wed, 23 Aug 2017 05:38:45 +0000 (22:38 -0700)]
Implement Partial->Total Conversion

4 years agoGet rid of redundant code
bdemsky [Wed, 23 Aug 2017 05:26:44 +0000 (22:26 -0700)]
Get rid of redundant code

4 years agoedits
bdemsky [Tue, 22 Aug 2017 23:45:29 +0000 (16:45 -0700)]
edits

4 years agoAdd option to optimize edges in final encoding
bdemsky [Tue, 22 Aug 2017 23:36:07 +0000 (16:36 -0700)]
Add option to optimize edges in final encoding

4 years agoAdd printings ...
Hamed [Tue, 22 Aug 2017 10:03:54 +0000 (03:03 -0700)]
Add printings ...

4 years agoTestcase for ordergraph
Hamed [Tue, 22 Aug 2017 07:22:31 +0000 (00:22 -0700)]
Testcase for ordergraph

4 years agoMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Tue, 22 Aug 2017 05:22:14 +0000 (22:22 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

4 years agoAdd calls into tuner framework
bdemsky [Tue, 22 Aug 2017 05:22:07 +0000 (22:22 -0700)]
Add calls into tuner framework

4 years agoFixin some bugs ..
Hamed [Tue, 22 Aug 2017 00:29:15 +0000 (17:29 -0700)]
Fixin some bugs ..

4 years agoedit
bdemsky [Mon, 21 Aug 2017 21:40:34 +0000 (14:40 -0700)]
edit

4 years agoedits
bdemsky [Mon, 21 Aug 2017 21:28:51 +0000 (14:28 -0700)]
edits

4 years agoBug fix for pseudoPos edges
bdemsky [Mon, 21 Aug 2017 20:28:39 +0000 (13:28 -0700)]
Bug fix for pseudoPos edges

4 years agoedit
bdemsky [Mon, 21 Aug 2017 06:38:58 +0000 (23:38 -0700)]
edit

4 years agoStarting tuner framework
bdemsky [Mon, 21 Aug 2017 06:18:22 +0000 (23:18 -0700)]
Starting tuner framework

4 years agoFix bug where we assumed sccNum could be used even for negative edges in partial...
bdemsky [Fri, 18 Aug 2017 18:42:41 +0000 (11:42 -0700)]
Fix bug where we assumed sccNum could be used even for negative edges in partial order...

4 years agoedits
bdemsky [Fri, 18 Aug 2017 05:32:48 +0000 (22:32 -0700)]
edits

4 years agofix logic
bdemsky [Fri, 18 Aug 2017 05:15:15 +0000 (22:15 -0700)]
fix logic

4 years agoedits
bdemsky [Fri, 18 Aug 2017 05:07:12 +0000 (22:07 -0700)]
edits

4 years agoTowards a bug fix
bdemsky [Thu, 17 Aug 2017 23:21:08 +0000 (16:21 -0700)]
Towards a bug fix

4 years agoMove constraints to set
bdemsky [Thu, 17 Aug 2017 23:09:07 +0000 (16:09 -0700)]
Move constraints to set

4 years agoFix bug and add support for computing transitive closure of must edge graph
bdemsky [Thu, 17 Aug 2017 22:26:53 +0000 (15:26 -0700)]
Fix bug and add support for computing transitive closure of must edge graph

4 years agoMerge branch 'hamed'
bdemsky [Thu, 17 Aug 2017 05:17:27 +0000 (22:17 -0700)]
Merge branch 'hamed'

4 years agoFinish order decompose function
bdemsky [Thu, 17 Aug 2017 04:50:06 +0000 (21:50 -0700)]
Finish order decompose function

4 years agoBig Tabbing Change
bdemsky [Thu, 17 Aug 2017 01:11:51 +0000 (18:11 -0700)]
Big Tabbing Change

4 years agoAdd rewriting support
bdemsky [Thu, 17 Aug 2017 01:11:10 +0000 (18:11 -0700)]
Add rewriting support

4 years agoExtend Must Analysis
bdemsky [Wed, 16 Aug 2017 19:14:24 +0000 (12:14 -0700)]
Extend Must Analysis

4 years agoGive vector more specific type
bdemsky [Wed, 16 Aug 2017 07:22:07 +0000 (00:22 -0700)]
Give vector more specific type

4 years agoGet rid of last bits of nodeinfo
bdemsky [Wed, 16 Aug 2017 00:38:10 +0000 (17:38 -0700)]
Get rid of last bits of nodeinfo

4 years agoJust push status enum into the node...
bdemsky [Wed, 16 Aug 2017 00:35:53 +0000 (17:35 -0700)]
Just push status enum into the node...

4 years agoMore graph analysis
bdemsky [Wed, 16 Aug 2017 00:09:10 +0000 (17:09 -0700)]
More graph analysis

4 years agobase version
bdemsky [Tue, 15 Aug 2017 05:36:52 +0000 (22:36 -0700)]
base version

4 years agoGet rid of OrderEncoder Structure
bdemsky [Tue, 15 Aug 2017 00:18:08 +0000 (17:18 -0700)]
Get rid of OrderEncoder Structure

4 years agoBuild graph
bdemsky [Tue, 15 Aug 2017 00:11:30 +0000 (17:11 -0700)]
Build graph

4 years agomore edits
bdemsky [Mon, 14 Aug 2017 04:23:02 +0000 (21:23 -0700)]
more edits

4 years agoGet rid of refs to order in graph
bdemsky [Sat, 12 Aug 2017 06:44:02 +0000 (23:44 -0700)]
Get rid of refs to order in graph

4 years agoJust use standard values for hash function
bdemsky [Sat, 12 Aug 2017 06:18:17 +0000 (23:18 -0700)]
Just use standard values for hash function

4 years agoComputing SCC ...
Hamed [Wed, 9 Aug 2017 11:59:02 +0000 (04:59 -0700)]
Computing SCC ...

4 years agoBuilding a graph for each order
Hamed [Wed, 9 Aug 2017 09:29:54 +0000 (02:29 -0700)]
Building a graph for each order

4 years agoBuilding the OrderGraph ...
Hamed [Wed, 9 Aug 2017 04:37:52 +0000 (21:37 -0700)]
Building the OrderGraph ...

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

4 years agoadding new hash functions ...
Hamed [Wed, 9 Aug 2017 01:24:05 +0000 (18:24 -0700)]
adding new hash functions ...

4 years agoClean up polarity pass
bdemsky [Wed, 9 Aug 2017 04:53:32 +0000 (21:53 -0700)]
Clean up polarity pass

4 years agoInter Order is gone...
bdemsky [Wed, 9 Aug 2017 03:58:15 +0000 (20:58 -0700)]
Inter Order is gone...

4 years agoAdding new API for defining an order constraint on two orders...
Hamed [Wed, 9 Aug 2017 00:38:46 +0000 (17:38 -0700)]
Adding new API for defining an order constraint on two orders...

4 years agoJust start working on OrderGraph + memory bug fix for hashset iterator
Hamed [Tue, 8 Aug 2017 23:41:00 +0000 (16:41 -0700)]
Just start working on OrderGraph + memory bug fix for hashset iterator

4 years agoAssigning Polarity and BooleanValue to All the Boolean Constraints
Hamed [Mon, 7 Aug 2017 03:05:49 +0000 (20:05 -0700)]
Assigning Polarity and BooleanValue to All the Boolean Constraints

4 years agoFixing some bugs ...
Hamed [Sat, 5 Aug 2017 20:16:10 +0000 (13:16 -0700)]
Fixing some bugs ...