Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Issue 705 solve #706

Merged
merged 202 commits into from Nov 29, 2018
Merged

Issue 705 solve #706

merged 202 commits into from Nov 29, 2018

Conversation

magnus-madsen
Copy link
Member

No description provided.

@magnus-madsen
Added copy on constrain set. Changed result type of Solve.
8358a4a
@magnus-madsen
Added better toString for ConstraintSet. Use Callable in LitTerm.
b72ea42
@magnus-madsen
Moved IndexedRelation and IndexedLattice into DataStore.
f50a9cd
@magnus-madsen
Term and VarTerm to Java.
25f539f
@magnus-madsen
Replace WildTerm and App with Java versions.
9ced742
@magnus-madsen
Rewrite LitTerm as a Java class.
c99c391
@magnus-madsen
Removed copy().
dc053b0
@magnus-madsen
Rewrote True and False predicates in Java.
f961151
@magnus-madsen
Rewrote FunctionalPredicate in Java.
1a365e9
@magnus-madsen
Remove copy from table.
a453109
@magnus-madsen
Fix printing from main.
618844d
@magnus-madsen
Rewrite AtomPredicate in Java.
414fa77
@magnus-madsen
Rewrite FilterAtom and VarSym to Java.
19f98e4
@magnus-madsen
Reified source location.
0e179e9
@magnus-madsen
Rewrite Attribute in Java.
ba821e8
@magnus-madsen
Rewrite RelSym in Java.
9512faa
@magnus-madsen
Rewrote RelationVar.
1add991
@magnus-madsen
Added a todo.
dfdb218
@magnus-madsen
JDK10
068cd39
@magnus-madsen
JDK11
f88aea7
@magnus-madsen
Rewrite LatSym in Java.
45f9358
@magnus-madsen
Rewrote Table in Java.
03b327f
@magnus-madsen
Rename Table -> PredSym
ecce7bd
@magnus-madsen
Various fixes.
a5ae702
@magnus-madsen
Added scaffold for head predicates.
c615ed7
@magnus-madsen
Added instructions for TruePredicate.
5010600
@magnus-madsen
Rewrite LatticeVar in Java.
da647b9
@magnus-madsen
Rewrote Constraint in Java.
b25ba54
@magnus-madsen
Refactoring semantics.
10a8105
@magnus-madsen
Rename LatSym and RelSym to NamedLatSym and NamedRelSym.
e45c578
@magnus-madsen
Renamed some expressions.
1dc64ca
@magnus-madsen
Fixed some formatting issues.
53f3d69
@magnus-madsen
Minor fixes to documentation.
c75da96
@magnus-madsen
Refactored LatticeOps.
c2ec276
@magnus-madsen
Rewrote LatticeOps in Java.
052e491
@magnus-madsen
Refactored LatticeOps. Added missing copyright comments.
f20a2b6
@magnus-madsen
Added parameters to the project expression.
a10cb7d
@magnus-madsen
Added projection tests.
f467a74
@magnus-madsen
Find holes for constraints.
9080f19
@magnus-madsen
Fixed pretty printing for constraints.
3c90ae7
@magnus-madsen
Refactored test.
918d5c0
@magnus-madsen
Refactoring towards LatSym support.
9f0116f
@magnus-madsen
Refactoring newAttribute.
6efaf9e
@magnus-madsen
Refactoring towards lattice support.
109bbe3
@magnus-madsen
Refactored LatticeOps into a class.
6d8771b
@magnus-madsen
Added support for LatticeOps to backend.
12d2051
@magnus-madsen
Added some missing code.
2bffa10
@magnus-madsen
Added some missing code.
d708e98
@magnus-madsen
Added even more missing code.
939b308
@magnus-madsen
Added some missing cases.
77ae616
@magnus-madsen
Added missing cases.
a613e47
@magnus-madsen
Added missing cases.
bb33ffd
@magnus-madsen
Removed a TODO.
36eceaf
@magnus-madsen
Added missing cases.
1c63c22
@magnus-madsen
Added some missing cases.
0cc3c62
@magnus-madsen
A few renamings.
7f56b52
@magnus-madsen
Fixed typo.
35ae9b8
@magnus-madsen
Fixed a bug.
10286bf
@magnus-madsen magnus-madsen merged commit 7f220e5 into master Nov 29, 2018
@magnus-madsen magnus-madsen deleted the issue-705-solve branch November 29, 2018 12:36
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.

None yet
1 participant
@magnus-madsen