Skip to content

Release 0.3.6.1#4

Merged
mantkiew merged 89 commits intomasterfrom
develop
Jul 8, 2014
Merged

Release 0.3.6.1#4
mantkiew merged 89 commits intomasterfrom
develop

Conversation

@mantkiew
Copy link
Copy Markdown
Member

@mantkiew mantkiew commented Jul 8, 2014

No description provided.

JLiangWaterloo and others added 30 commits January 17, 2014 20:58
@JLiangWaterloo
Begin 0.3.6 development.
37442b5
@JLiangWaterloo
Simplify common subexpression detection.
04c5b0c
Merge branch 'master' into develop
e598f61
@JLiangWaterloo
Merge branch 'develop' of https://github.com/gsdlab/chocosolver into …
86e938e 
…develop
Merge branch 'master' into develop
6155346
@JLiangWaterloo
Merge branch 'develop' of https://github.com/gsdlab/chocosolver into …
f630770 
…develop
@JLiangWaterloo
Port to Choco 3.1.2
6399c27
@JLiangWaterloo
Fixed set sum for empty and singleton set.
01ee6d6
@JLiangWaterloo
Port to Choco 3.1.2
c0b3c0f
@JLiangWaterloo
String IR classes.
28456ec
@JLiangWaterloo
Ref to strings with symmetry breaking.
6394cab
@JLiangWaterloo
Implemented join with strings.
f4ed6f0
@JLiangWaterloo
Implemented string concatenation.
ca12501
@JLiangWaterloo
Implemented prefix and suffix.
5fe2346
@JLiangWaterloo
Rearrange length and chars.
bbaad34
@JLiangWaterloo
Implemented length.
0831e4a
@JLiangWaterloo
Fixed PropJoinInjectiveRelationCard not idempotent.
4266b28
@JLiangWaterloo
Changed ClaferSearch API.
d8526f5
@JLiangWaterloo
Throw an exception containing pertinent information when the backend …
4646fc0 
…detects that a scope is too small.
@JLiangWaterloo
Fixed some warnings.
f42910d
@JLiangWaterloo
Future proof symmetry breaking for strings of different lengths.
27a5fe2
@JLiangWaterloo
Fixed optimizing offset.
1b73c52
@JLiangWaterloo
Optimize string functions.
6b084c0
@JLiangWaterloo
Tidy.
3fc0de1
@JLiangWaterloo
More concise toString output for domains.
dbc33ab
@JLiangWaterloo
Rename string variable methods.
7959de4
@JLiangWaterloo
Ir variables are stored in a pseudo-constraint.
915b1a5
@JLiangWaterloo
Test positive and negative constraints.
442895d
@JLiangWaterloo
Test positive and negative solutions for IR tests.
d9763cd
@JLiangWaterloo
Fixed intChannel for empty cases.
0eacdea
JLiangWaterloo and others added 28 commits April 28, 2014 16:25
@JLiangWaterloo
Each test input file has its own runner.
2d374b7
@JLiangWaterloo
Refactor domain.
66c3ac0
@JLiangWaterloo
Fixed mask containing negatives.
24c6f75
@JLiangWaterloo
Test IR compilation.
5d595ac
@JLiangWaterloo
Organization.
7977642
@JLiangWaterloo
Array to set test.
5cf92e4
@JLiangWaterloo
Count test.
3e52d1d
@JLiangWaterloo
Removed debugging code.
af06ced
@JLiangWaterloo
Removed not within.
9a7187a
@JLiangWaterloo
Relax restrictions on IrIntChannel test.
2514068
@JLiangWaterloo
Add test case for joining on a super's string.
a9c03ae
@JLiangWaterloo
Remove unused code.
5b489a9
@JLiangWaterloo
Fixed typing of sum.
bfad21c
@JLiangWaterloo
Test typing of join.
24b266e
@JLiangWaterloo
Fixed typing of joinParent.
d69fb4b
@JLiangWaterloo
More typing tests.
3052aa8
@JLiangWaterloo
Remove redundant function.
8bec580
@JLiangWaterloo
Reduce the number of hash collisions during coalescing.
2773a54
@JLiangWaterloo
Linear equation math.
1e021bf
@JLiangWaterloo
Linear program optimizations.
7fa358c
@JLiangWaterloo
Proper equality elimination in linear programming optimization.
92d2e15
@JLiangWaterloo
Fixed test.
a81597a
@JLiangWaterloo
Unsatisfiable exception.
07d5592
@JLiangWaterloo
Use choco 3.2.0.
31c6193
@JLiangWaterloo
Better at reducing the cardinality of unique references.
310399b
@JLiangWaterloo
Expose string type to Javascript.
d793540
@JLiangWaterloo
Expose string expressions to Javascript.
553c8cc
Release 0.3.6.1
e66d6bc
mantkiew pushed a commit that referenced this pull request Jul 8, 2014
Merge pull request #4 from gsdlab/develop
715f3dd 
Release 0.3.6.1
@mantkiew mantkiew merged commit 715f3dd into master Jul 8, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@mantkiew @JLiangWaterloo