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: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
bdemsky [Wed, 12 Jul 2017 06:04:21 +0000 (23:04 -0700)]
Add OneHot Encoding
bdemsky [Wed, 12 Jul 2017 03:23:34 +0000 (20:23 -0700)]
Forgot to turn on CIRCUIT Encoding
bdemsky [Wed, 12 Jul 2017 03:22:29 +0000 (20:22 -0700)]
Add CIRCUIT Encoding for Equals
bdemsky [Wed, 12 Jul 2017 02:41:14 +0000 (19:41 -0700)]
Small edits
Hamed [Wed, 12 Jul 2017 01:52:04 +0000 (18:52 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Getting Updates
Hamed [Wed, 12 Jul 2017 01:51:58 +0000 (18:51 -0700)]
Adding SAT translator
bdemsky [Wed, 12 Jul 2017 00:32:41 +0000 (17:32 -0700)]
Get rid of functions returning Edges
bdemsky [Wed, 12 Jul 2017 00:21:28 +0000 (17:21 -0700)]
Traverse entire AST, but only assign encodings once...
Brian Demsky [Wed, 12 Jul 2017 00:06:03 +0000 (17:06 -0700)]
Make naive encoding follow AST Tree
bdemsky [Tue, 11 Jul 2017 23:41:39 +0000 (16:41 -0700)]
Updating format file
bdemsky [Tue, 11 Jul 2017 23:13:39 +0000 (16:13 -0700)]
Split functions into separate file
bdemsky [Tue, 11 Jul 2017 22:43:50 +0000 (15:43 -0700)]
Split encoder into more files
bdemsky [Tue, 11 Jul 2017 22:27:15 +0000 (15:27 -0700)]
edits
bdemsky [Tue, 11 Jul 2017 22:18:57 +0000 (15:18 -0700)]
Rewrite function operator code
bdemsky [Tue, 11 Jul 2017 21:32:45 +0000 (14:32 -0700)]
Add support for some other operators
Hamed [Tue, 11 Jul 2017 20:19:37 +0000 (13:19 -0700)]
Fixing bugs + renaming ...
Hamed [Tue, 11 Jul 2017 20:10:09 +0000 (13:10 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Getting new updates
Hamed [Tue, 11 Jul 2017 20:10:02 +0000 (13:10 -0700)]
Adding a general function for encoding elements
bdemsky [Tue, 11 Jul 2017 20:06:06 +0000 (13:06 -0700)]
Renaming
bdemsky [Tue, 11 Jul 2017 19:50:20 +0000 (12:50 -0700)]
Fix conflict
bdemsky [Tue, 11 Jul 2017 19:44:01 +0000 (12:44 -0700)]
Rename some functions and cleanup
bdemsky [Tue, 11 Jul 2017 18:12:25 +0000 (11:12 -0700)]
Minor formatting issues
Hamed [Tue, 11 Jul 2017 17:45:09 +0000 (10:45 -0700)]
Fixing bugs + resolving conflicts
Hamed [Tue, 11 Jul 2017 17:16:17 +0000 (10:16 -0700)]
Fixing more bugs in generating constraint and getting sat solution
bdemsky [Tue, 11 Jul 2017 06:29:07 +0000 (23:29 -0700)]
Comments for Hamed
bdemsky [Tue, 11 Jul 2017 06:07:48 +0000 (23:07 -0700)]
Merge branch 'master' into brian
bdemsky [Tue, 11 Jul 2017 05:43:23 +0000 (22:43 -0700)]
Bug fix
bdemsky [Tue, 11 Jul 2017 04:41:49 +0000 (21:41 -0700)]
edits
bdemsky [Tue, 11 Jul 2017 04:19:24 +0000 (21:19 -0700)]
It compiles
bdemsky [Tue, 11 Jul 2017 01:48:32 +0000 (18:48 -0700)]
Merge branch 'hamed' into brian
bdemsky [Tue, 11 Jul 2017 01:18:06 +0000 (18:18 -0700)]
Fix some of the memory leaks
bdemsky [Tue, 11 Jul 2017 00:24:15 +0000 (17:24 -0700)]
Fix memory allocation error
bdemsky [Tue, 11 Jul 2017 00:04:23 +0000 (17:04 -0700)]
Optimize function for constraint
Hamed [Mon, 10 Jul 2017 23:46:11 +0000 (16:46 -0700)]
SAT solver is now connected to csolver
bdemsky [Mon, 10 Jul 2017 23:01:22 +0000 (16:01 -0700)]
Add print routine for CNFExpr
bdemsky [Mon, 10 Jul 2017 22:42:18 +0000 (15:42 -0700)]
bug fix
Hamed [Mon, 10 Jul 2017 22:12:29 +0000 (15:12 -0700)]
fixing more bugs ...
Hamed [Mon, 10 Jul 2017 21:38:43 +0000 (14:38 -0700)]
Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Memory Bugs ...
bdemsky [Mon, 10 Jul 2017 21:37:29 +0000 (14:37 -0700)]
Another bug fix
Hamed [Mon, 10 Jul 2017 20:56:45 +0000 (13:56 -0700)]
Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed
Because of memory bugs that vector had
Brian Demsky [Mon, 10 Jul 2017 20:53:30 +0000 (13:53 -0700)]
Fix leak
bdemsky [Mon, 10 Jul 2017 20:49:57 +0000 (13:49 -0700)]
edit
bdemsky [Mon, 10 Jul 2017 20:41:04 +0000 (13:41 -0700)]
Revent erroneous bug fix
Hamed [Mon, 10 Jul 2017 19:12:40 +0000 (12:12 -0700)]
Integrating with sat_solver ...
bdemsky [Mon, 10 Jul 2017 18:55:27 +0000 (11:55 -0700)]
edits
bdemsky [Mon, 10 Jul 2017 05:53:01 +0000 (22:53 -0700)]
bug fixes
bdemsky [Mon, 10 Jul 2017 05:23:15 +0000 (22:23 -0700)]
edits
bdemsky [Mon, 10 Jul 2017 02:31:28 +0000 (19:31 -0700)]
Update license to relevant files.
bdemsky [Mon, 10 Jul 2017 02:26:37 +0000 (19:26 -0700)]
Extend test case to call solver
bdemsky [Mon, 10 Jul 2017 02:20:49 +0000 (19:20 -0700)]
Start CNF Test Case
bdemsky [Mon, 10 Jul 2017 01:08:17 +0000 (18:08 -0700)]
Caught another bug
bdemsky [Sun, 9 Jul 2017 21:38:00 +0000 (14:38 -0700)]
edits
bdemsky [Sun, 9 Jul 2017 21:11:53 +0000 (14:11 -0700)]
Add support for outputting CNF
bdemsky [Sun, 9 Jul 2017 19:53:41 +0000 (12:53 -0700)]
more edits
bdemsky [Sun, 9 Jul 2017 08:05:18 +0000 (01:05 -0700)]
Add papers
bdemsky [Sun, 9 Jul 2017 08:04:37 +0000 (01:04 -0700)]
merge
bdemsky [Sun, 9 Jul 2017 07:54:33 +0000 (00:54 -0700)]
edits
bdemsky [Sun, 9 Jul 2017 03:13:09 +0000 (20:13 -0700)]
more edits
bdemsky [Sat, 8 Jul 2017 07:14:06 +0000 (00:14 -0700)]
more edits
bdemsky [Sat, 8 Jul 2017 07:01:40 +0000 (00:01 -0700)]
edits
bdemsky [Sat, 8 Jul 2017 03:26:20 +0000 (20:26 -0700)]
more edits
Hamed [Sat, 8 Jul 2017 00:40:54 +0000 (17:40 -0700)]
Fixing more bugs
Hamed [Fri, 7 Jul 2017 17:43:32 +0000 (10:43 -0700)]
Fixing more bugs regarding generating constraint variables ...
Hamed [Fri, 7 Jul 2017 06:21:25 +0000 (23:21 -0700)]
Fixing assert_hook bug
Hamed [Fri, 7 Jul 2017 06:15:33 +0000 (23:15 -0700)]
Fixing ASSERT statement bugs
Hamed [Fri, 7 Jul 2017 01:12:21 +0000 (18:12 -0700)]
Fixing some bugs + improving the testcase ...
Hamed [Thu, 6 Jul 2017 01:37:07 +0000 (18:37 -0700)]
Adding function operator handler+ omitting some redundant codes
bdemsky [Thu, 6 Jul 2017 00:25:17 +0000 (17:25 -0700)]
Merge branch 'hamed' into brian
bdemsky [Wed, 5 Jul 2017 23:47:48 +0000 (16:47 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Wed, 5 Jul 2017 23:44:55 +0000 (16:44 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into brian
bdemsky [Wed, 5 Jul 2017 02:28:05 +0000 (19:28 -0700)]
more edits
bdemsky [Wed, 5 Jul 2017 02:03:43 +0000 (19:03 -0700)]
more code
projects / satune.git / log