bdemsky [Tue, 22 Aug 2017 23:36:07 +0000 (16:36 -0700)]
Add option to optimize edges in final encoding
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
bdemsky [Tue, 22 Aug 2017 05:22:07 +0000 (22:22 -0700)]
Add calls into tuner framework
Hamed [Tue, 22 Aug 2017 00:29:15 +0000 (17:29 -0700)]
Fixin some bugs ..
bdemsky [Mon, 21 Aug 2017 21:40:34 +0000 (14:40 -0700)]
edit
bdemsky [Mon, 21 Aug 2017 21:28:51 +0000 (14:28 -0700)]
edits
bdemsky [Mon, 21 Aug 2017 20:28:39 +0000 (13:28 -0700)]
Bug fix for pseudoPos edges
bdemsky [Mon, 21 Aug 2017 06:38:58 +0000 (23:38 -0700)]
edit
bdemsky [Mon, 21 Aug 2017 06:18:22 +0000 (23:18 -0700)]
Starting tuner framework
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...
bdemsky [Fri, 18 Aug 2017 05:32:48 +0000 (22:32 -0700)]
edits
bdemsky [Fri, 18 Aug 2017 05:15:15 +0000 (22:15 -0700)]
fix logic
bdemsky [Fri, 18 Aug 2017 05:07:12 +0000 (22:07 -0700)]
edits
bdemsky [Thu, 17 Aug 2017 23:21:08 +0000 (16:21 -0700)]
Towards a bug fix
bdemsky [Thu, 17 Aug 2017 23:09:07 +0000 (16:09 -0700)]
Move constraints to set
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
bdemsky [Thu, 17 Aug 2017 05:17:27 +0000 (22:17 -0700)]
Merge branch 'hamed'
bdemsky [Thu, 17 Aug 2017 04:50:06 +0000 (21:50 -0700)]
Finish order decompose function
bdemsky [Thu, 17 Aug 2017 01:11:51 +0000 (18:11 -0700)]
Big Tabbing Change
bdemsky [Thu, 17 Aug 2017 01:11:10 +0000 (18:11 -0700)]
Add rewriting support
bdemsky [Wed, 16 Aug 2017 19:14:24 +0000 (12:14 -0700)]
Extend Must Analysis
bdemsky [Wed, 16 Aug 2017 07:22:07 +0000 (00:22 -0700)]
Give vector more specific type
bdemsky [Wed, 16 Aug 2017 00:38:10 +0000 (17:38 -0700)]
Get rid of last bits of nodeinfo
bdemsky [Wed, 16 Aug 2017 00:35:53 +0000 (17:35 -0700)]
Just push status enum into the node...
bdemsky [Wed, 16 Aug 2017 00:09:10 +0000 (17:09 -0700)]
More graph analysis
bdemsky [Tue, 15 Aug 2017 05:36:52 +0000 (22:36 -0700)]
base version
bdemsky [Tue, 15 Aug 2017 00:18:08 +0000 (17:18 -0700)]
Get rid of OrderEncoder Structure
bdemsky [Tue, 15 Aug 2017 00:11:30 +0000 (17:11 -0700)]
Build graph
bdemsky [Mon, 14 Aug 2017 04:23:02 +0000 (21:23 -0700)]
more edits
bdemsky [Sat, 12 Aug 2017 06:44:02 +0000 (23:44 -0700)]
Get rid of refs to order in graph
bdemsky [Sat, 12 Aug 2017 06:18:17 +0000 (23:18 -0700)]
Just use standard values for hash function
Hamed [Wed, 9 Aug 2017 11:59:02 +0000 (04:59 -0700)]
Computing SCC ...
Hamed [Wed, 9 Aug 2017 09:29:54 +0000 (02:29 -0700)]
Building a graph for each order
Hamed [Wed, 9 Aug 2017 04:37:52 +0000 (21:37 -0700)]
Building the OrderGraph ...
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
Hamed [Wed, 9 Aug 2017 01:24:05 +0000 (18:24 -0700)]
adding new hash functions ...
bdemsky [Wed, 9 Aug 2017 04:53:32 +0000 (21:53 -0700)]
Clean up polarity pass
bdemsky [Wed, 9 Aug 2017 03:58:15 +0000 (20:58 -0700)]
Inter Order is gone...
Hamed [Wed, 9 Aug 2017 00:38:46 +0000 (17:38 -0700)]
Adding new API for defining an order constraint on two orders...
Hamed [Tue, 8 Aug 2017 23:41:00 +0000 (16:41 -0700)]
Just start working on OrderGraph + memory bug fix for hashset iterator
Hamed [Mon, 7 Aug 2017 03:05:49 +0000 (20:05 -0700)]
Assigning Polarity and BooleanValue to All the Boolean Constraints
Hamed [Sat, 5 Aug 2017 20:16:10 +0000 (13:16 -0700)]
Fixing some bugs ...
bdemsky [Mon, 31 Jul 2017 21:58:34 +0000 (14:58 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
Hamed [Tue, 25 Jul 2017 20:00:07 +0000 (13:00 -0700)]
Adding a new testcase for circuit-based equals + bug fixes ...
Hamed [Tue, 25 Jul 2017 02:00:02 +0000 (19:00 -0700)]
Fixing bugs for Unary encoding ...
Hamed [Mon, 24 Jul 2017 22:18:02 +0000 (15:18 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Getting update from branch master
Hamed [Mon, 24 Jul 2017 22:17:38 +0000 (15:17 -0700)]
Fixing bugs with the table-based predicates
Hamed [Mon, 24 Jul 2017 18:55:47 +0000 (11:55 -0700)]
Testing one-hot encoding + fixing bugs ...
bdemsky [Fri, 21 Jul 2017 18:30:06 +0000 (11:30 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Fri, 21 Jul 2017 18:29:32 +0000 (11:29 -0700)]
resolve conflict
Hamed [Fri, 21 Jul 2017 09:29:38 +0000 (02:29 -0700)]
A bug fix for the case IGNOREBEHAVIOR in table-base predicate
Hamed [Fri, 21 Jul 2017 01:11:26 +0000 (18:11 -0700)]
Test case for table-based predicate + fixing bugs
Hamed [Thu, 20 Jul 2017 23:20:30 +0000 (16:20 -0700)]
Adding edge cases for table-based predicate/function
Hamed [Thu, 20 Jul 2017 22:39:01 +0000 (15:39 -0700)]
Adding edge cases and fixing leaks
bdemsky [Thu, 20 Jul 2017 22:27:23 +0000 (15:27 -0700)]
Fix Leak
Hamed [Thu, 20 Jul 2017 22:03:11 +0000 (15:03 -0700)]
Adding a new test case for testing FLAGIFFUNDEFINED + bug fixes
Hamed [Thu, 20 Jul 2017 19:21:19 +0000 (12:21 -0700)]
Fixing bugs + adding descriptions to test cases
Hamed [Thu, 20 Jul 2017 18:29:40 +0000 (11:29 -0700)]
adding different handlers for predicatetable
Hamed [Thu, 20 Jul 2017 02:22:54 +0000 (19:22 -0700)]
Fixing spell of entries
Hamed [Thu, 20 Jul 2017 02:19:26 +0000 (19:19 -0700)]
breaking functionencoding to different files
Hamed [Thu, 20 Jul 2017 02:06:35 +0000 (19:06 -0700)]
Using hashset for tableEntries + adding handlers for different undefBehaviors for FunctionTable
Hamed [Wed, 19 Jul 2017 19:09:46 +0000 (12:09 -0700)]
Fixing memory leaks ...
Hamed [Wed, 19 Jul 2017 18:21:49 +0000 (11:21 -0700)]
Adding a logicOp test case + fixing bugs
Hamed [Tue, 18 Jul 2017 23:14:45 +0000 (16:14 -0700)]
Adding a boolean for undefinedStatus
Hamed [Tue, 18 Jul 2017 22:42:19 +0000 (15:42 -0700)]
Adding UndefinedBehavior + TablePredicate to client APIs
Hamed [Tue, 18 Jul 2017 21:01:09 +0000 (14:01 -0700)]
Adding a elemconst testcase + its bug fixe
Hamed [Tue, 18 Jul 2017 18:52:43 +0000 (11:52 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Getting updates
Hamed [Tue, 18 Jul 2017 18:52:13 +0000 (11:52 -0700)]
bug fix for the order test case ...
Hamed [Tue, 18 Jul 2017 18:07:25 +0000 (11:07 -0700)]
Fixing memory leaks
Hamed [Tue, 18 Jul 2017 01:29:04 +0000 (18:29 -0700)]
Modify order test case ...
Hamed [Tue, 18 Jul 2017 01:07:24 +0000 (18:07 -0700)]
Modify API to work for partial order as well + adding order test case
bdemsky [Tue, 18 Jul 2017 00:39:02 +0000 (17:39 -0700)]
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Tue, 18 Jul 2017 00:38:58 +0000 (17:38 -0700)]
Include encoding for values
Hamed [Tue, 18 Jul 2017 00:21:55 +0000 (17:21 -0700)]
test file name convention ...
Hamed [Tue, 18 Jul 2017 00:19:15 +0000 (17:19 -0700)]
Translating one-item sets by using number of vars
Hamed [Tue, 18 Jul 2017 00:05:22 +0000 (17:05 -0700)]
Adding an API for translating the value of an BooleanOrder
Hamed [Mon, 17 Jul 2017 23:04:18 +0000 (16:04 -0700)]
Translating back the set with one item (iff and ite are also tested)
Hamed [Mon, 17 Jul 2017 21:27:38 +0000 (14:27 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Getting a bug fix
Hamed [Mon, 17 Jul 2017 21:27:31 +0000 (14:27 -0700)]
Add some printings for debugging ...
bdemsky [Mon, 17 Jul 2017 18:59:24 +0000 (11:59 -0700)]
Handle sets of 1
bdemsky [Fri, 14 Jul 2017 22:52:05 +0000 (15:52 -0700)]
Fix bug in constraint.c
bdemsky [Fri, 14 Jul 2017 22:22:42 +0000 (15:22 -0700)]
Add Const API to frontend
bdemsky [Fri, 14 Jul 2017 22:05:55 +0000 (15:05 -0700)]
A little OCD not to split generation setup with initialization of children loop
Hamed [Fri, 14 Jul 2017 21:51:01 +0000 (14:51 -0700)]
Getting some bugs fixed ...
Hamed [Fri, 14 Jul 2017 19:06:09 +0000 (12:06 -0700)]
Fixing the test case's bug
Hamed [Fri, 14 Jul 2017 02:38:49 +0000 (19:38 -0700)]
Adding a new test case
Hamed [Fri, 14 Jul 2017 00:49:29 +0000 (17:49 -0700)]
2 testcases are added + their bugs are fixed ...
Hamed [Thu, 13 Jul 2017 23:44:48 +0000 (16:44 -0700)]
resolving conflict ...
bdemsky [Thu, 13 Jul 2017 23:29:15 +0000 (16:29 -0700)]
Encoding Bug Fix
Hamed [Thu, 13 Jul 2017 21:55:06 +0000 (14:55 -0700)]
changing printfs to model_prints
Hamed [Thu, 13 Jul 2017 21:38:03 +0000 (14:38 -0700)]
Fixing the testcase bug
bdemsky [Thu, 13 Jul 2017 00:07:51 +0000 (17:07 -0700)]
Check in bug fix
bdemsky [Wed, 12 Jul 2017 21:11:56 +0000 (14:11 -0700)]
Fix UNARY Encoding issue to use one less variable
bdemsky [Wed, 12 Jul 2017 20:28:16 +0000 (13:28 -0700)]
Don't generate redundant constraints
Hamed [Wed, 12 Jul 2017 20:18:52 +0000 (13:18 -0700)]
Adding sat solution translator for binary value encoding
Hamed [Wed, 12 Jul 2017 20:14:23 +0000 (13:14 -0700)]
Binary value encoding ...
Hamed [Wed, 12 Jul 2017 19:15:37 +0000 (12:15 -0700)]
Adding unary encoding in sat solution translator ...
Hamed [Wed, 12 Jul 2017 02:24:10 +0000 (19:24 -0700)]
One-hot encoding sat solution translator
bdemsky [Wed, 12 Jul 2017 06:53:50 +0000 (23:53 -0700)]
Add paper about KodKod
bdemsky [Wed, 12 Jul 2017 06:39:28 +0000 (23:39 -0700)]
Add Unary Encoding
projects / satune.git / log