bdemsky [Thu, 31 Aug 2017 05:46:46 +0000 (22:46 -0700)]
Add IFF support
bdemsky [Thu, 31 Aug 2017 04:16:56 +0000 (21:16 -0700)]
Rename startEncoding function
bdemsky [Thu, 31 Aug 2017 04:08:30 +0000 (21:08 -0700)]
Add convenience functions
bdemsky [Thu, 31 Aug 2017 02:32:48 +0000 (19:32 -0700)]
Add convenience function
bdemsky [Thu, 31 Aug 2017 02:01:06 +0000 (19:01 -0700)]
Add useful functions
bdemsky [Thu, 31 Aug 2017 00:12:14 +0000 (17:12 -0700)]
Fix name collisions
bdemsky [Wed, 30 Aug 2017 23:39:18 +0000 (16:39 -0700)]
Renaming
bdemsky [Wed, 30 Aug 2017 23:36:27 +0000 (16:36 -0700)]
Change dependences
bdemsky [Wed, 30 Aug 2017 23:12:15 +0000 (16:12 -0700)]
Tuner bug fix
bdemsky [Wed, 30 Aug 2017 22:00:54 +0000 (15:00 -0700)]
Forgot file
bdemsky [Wed, 30 Aug 2017 22:00:17 +0000 (15:00 -0700)]
More name changes
Brian Demsky [Wed, 30 Aug 2017 21:46:10 +0000 (14:46 -0700)]
renaming
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
bdemsky [Wed, 30 Aug 2017 20:25:04 +0000 (13:25 -0700)]
Get rid of unnecessary hashfunction and comparison
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
bdemsky [Wed, 30 Aug 2017 20:21:24 +0000 (13:21 -0700)]
Add support for true and false and normalizing them away
Hamed [Wed, 30 Aug 2017 00:41:12 +0000 (17:41 -0700)]
Adding support for mutableset in backend + OO-style Set
Hamed [Tue, 29 Aug 2017 23:20:53 +0000 (16:20 -0700)]
Omitting tunable parameters from Transform's constructors
Hamed [Tue, 29 Aug 2017 22:12:22 +0000 (15:12 -0700)]
Merging with branch master and fixing bugs
bdemsky [Tue, 29 Aug 2017 18:59:13 +0000 (11:59 -0700)]
Translate expressions only once
bdemsky [Tue, 29 Aug 2017 06:05:34 +0000 (23:05 -0700)]
Deduplication Support
Hamed [Tue, 29 Aug 2017 06:01:25 +0000 (23:01 -0700)]
Edit
Hamed [Tue, 29 Aug 2017 05:25:44 +0000 (22:25 -0700)]
Fixing bugs
Hamed [Tue, 29 Aug 2017 05:16:01 +0000 (22:16 -0700)]
OOP representation of Transforms
bdemsky [Tue, 29 Aug 2017 03:22:08 +0000 (20:22 -0700)]
Finish hash/comparison functions
bdemsky [Tue, 29 Aug 2017 03:12:43 +0000 (20:12 -0700)]
Add AST Hashing and Equals Functions
bdemsky [Tue, 29 Aug 2017 00:00:46 +0000 (17:00 -0700)]
Get rid of silly macros
bdemsky [Mon, 28 Aug 2017 23:38:34 +0000 (16:38 -0700)]
Small edit
Brian Demsky [Mon, 28 Aug 2017 23:30:16 +0000 (16:30 -0700)]
Bug fixes
bdemsky [Mon, 28 Aug 2017 21:41:46 +0000 (14:41 -0700)]
Auto Tuner Initial Full Checkin
bdemsky [Mon, 28 Aug 2017 21:14:46 +0000 (14:14 -0700)]
Autotune Framework
bdemsky [Mon, 28 Aug 2017 02:40:55 +0000 (19:40 -0700)]
More of Tuning Framework
bdemsky [Mon, 28 Aug 2017 01:51:45 +0000 (18:51 -0700)]
More tuner framework code
bdemsky [Mon, 28 Aug 2017 01:09:33 +0000 (18:09 -0700)]
Class renaming
bdemsky [Mon, 28 Aug 2017 00:59:09 +0000 (17:59 -0700)]
edit
bdemsky [Mon, 28 Aug 2017 00:55:25 +0000 (17:55 -0700)]
More OO conversion
bdemsky [Mon, 28 Aug 2017 00:27:52 +0000 (17:27 -0700)]
edits
Hamed [Sun, 27 Aug 2017 23:12:19 +0000 (16:12 -0700)]
Fixing the ordergraphtest
Hamed [Sun, 27 Aug 2017 22:14:51 +0000 (15:14 -0700)]
Adding Transform object ... applying Brian's comments
bdemsky [Sun, 27 Aug 2017 08:14:12 +0000 (01:14 -0700)]
Convert structs to classes...
bdemsky [Sun, 27 Aug 2017 07:59:13 +0000 (00:59 -0700)]
Finish clone
bdemsky [Sun, 27 Aug 2017 07:08:54 +0000 (00:08 -0700)]
towards cloning
bdemsky [Sun, 27 Aug 2017 01:11:20 +0000 (18:11 -0700)]
Run tabbing pass
bdemsky [Sun, 27 Aug 2017 01:06:04 +0000 (18:06 -0700)]
Try to fix encapsulation
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
bdemsky [Sat, 26 Aug 2017 20:36:58 +0000 (13:36 -0700)]
Fix Tuner framework to be OO
bdemsky [Sat, 26 Aug 2017 20:31:58 +0000 (13:31 -0700)]
Fully convert ordergraph to objects
bdemsky [Sat, 26 Aug 2017 20:19:33 +0000 (13:19 -0700)]
More conversion to classes
bdemsky [Sat, 26 Aug 2017 06:11:00 +0000 (23:11 -0700)]
Style change...
bdemsky [Sat, 26 Aug 2017 06:10:32 +0000 (23:10 -0700)]
Fix bogus test case
bdemsky [Sat, 26 Aug 2017 02:33:11 +0000 (19:33 -0700)]
Bug fixes
bdemsky [Sat, 26 Aug 2017 02:32:56 +0000 (19:32 -0700)]
Update test files
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
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
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
Hamed [Sat, 26 Aug 2017 00:42:38 +0000 (17:42 -0700)]
Fixing the Integer encoding ...
bdemsky [Sat, 26 Aug 2017 00:18:32 +0000 (17:18 -0700)]
Fix memory leaks
Hamed [Sat, 26 Aug 2017 00:18:19 +0000 (17:18 -0700)]
Adding back the IntegerEncoding ...
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
Hamed [Fri, 25 Aug 2017 23:49:40 +0000 (16:49 -0700)]
edit
bdemsky [Fri, 25 Aug 2017 23:47:44 +0000 (16:47 -0700)]
Big Bug Fix
Hamed [Fri, 25 Aug 2017 05:26:41 +0000 (22:26 -0700)]
Merge with branch master ...
bdemsky [Fri, 25 Aug 2017 23:24:59 +0000 (16:24 -0700)]
Fix bug
bdemsky [Fri, 25 Aug 2017 23:10:20 +0000 (16:10 -0700)]
Reorg code
bdemsky [Fri, 25 Aug 2017 23:08:08 +0000 (16:08 -0700)]
Reorg code
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
bdemsky [Fri, 25 Aug 2017 22:59:28 +0000 (15:59 -0700)]
edits
bdemsky [Fri, 25 Aug 2017 08:54:32 +0000 (01:54 -0700)]
edits
bdemsky [Fri, 25 Aug 2017 08:12:32 +0000 (01:12 -0700)]
Get rid of OrderPair warning
bdemsky [Fri, 25 Aug 2017 07:38:04 +0000 (00:38 -0700)]
Switch hashtable/hashset
bdemsky [Fri, 25 Aug 2017 05:56:17 +0000 (22:56 -0700)]
Switch to vector class
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
Hamed [Fri, 25 Aug 2017 05:09:26 +0000 (22:09 -0700)]
replacing booleanOrder with booleanPredicate in IntegerEncoding ...
bdemsky [Fri, 25 Aug 2017 04:36:05 +0000 (21:36 -0700)]
Switch array struct to class
Hamed [Fri, 25 Aug 2017 04:28:59 +0000 (21:28 -0700)]
Adding ASTTransform ...
bdemsky [Fri, 25 Aug 2017 02:41:44 +0000 (19:41 -0700)]
edit
bdemsky [Fri, 25 Aug 2017 02:31:43 +0000 (19:31 -0700)]
Move
bdemsky [Fri, 25 Aug 2017 02:30:37 +0000 (19:30 -0700)]
Move Files
bdemsky [Fri, 25 Aug 2017 02:24:36 +0000 (19:24 -0700)]
fix bug
bdemsky [Fri, 25 Aug 2017 02:11:49 +0000 (19:11 -0700)]
edits
Brian Demsky [Fri, 25 Aug 2017 00:47:01 +0000 (17:47 -0700)]
edits
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
Brian Demsky [Fri, 25 Aug 2017 00:46:12 +0000 (17:46 -0700)]
edits
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++
bdemsky [Fri, 25 Aug 2017 00:07:37 +0000 (17:07 -0700)]
more
bdemsky [Fri, 25 Aug 2017 00:05:48 +0000 (17:05 -0700)]
More fixes
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
bdemsky [Thu, 24 Aug 2017 23:49:49 +0000 (16:49 -0700)]
Rename everything
bdemsky [Thu, 24 Aug 2017 23:02:57 +0000 (16:02 -0700)]
Add LTE function for completeness and fix bug in LT
Hamed [Thu, 24 Aug 2017 21:40:16 +0000 (14:40 -0700)]
removing true nodes from the OrderGraph
Hamed [Tue, 22 Aug 2017 22:25:16 +0000 (15:25 -0700)]
Fixin memory bug
Hamed [Tue, 22 Aug 2017 22:09:28 +0000 (15:09 -0700)]
Adding support for Integer Encoding ...
Hamed [Tue, 22 Aug 2017 15:50:27 +0000 (08:50 -0700)]
Adding circuit-based encoding for LT and GT
Hamed [Tue, 22 Aug 2017 10:48:14 +0000 (03:48 -0700)]
After merging with master branch ...
bdemsky [Wed, 23 Aug 2017 06:01:42 +0000 (23:01 -0700)]
Fix memory bugs
bdemsky [Wed, 23 Aug 2017 05:38:45 +0000 (22:38 -0700)]
Implement Partial->Total Conversion
bdemsky [Wed, 23 Aug 2017 05:26:44 +0000 (22:26 -0700)]
Get rid of redundant code
bdemsky [Tue, 22 Aug 2017 23:45:29 +0000 (16:45 -0700)]
edits
bdemsky [Tue, 22 Aug 2017 23:36:07 +0000 (16:36 -0700)]
Add option to optimize edges in final encoding
Hamed [Tue, 22 Aug 2017 10:03:54 +0000 (03:03 -0700)]
Add printings ...
projects / satune.git / log