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

Plus #24

Open
wants to merge 821 commits into
base: master
Choose a base branch
from
Open

Plus #24

wants to merge 821 commits into from

Conversation

mudathirmahgoub
Copy link

No description provided.

Cesare Tinelli and others added 30 commits July 18, 2019 22:42
Some reformatting + more content
a2ef2ad
added build dir
cc7c08d
A few more edits and additions
c02b2cb
@mudathirmahgoub
subset again
2d479c0
@mudathirmahgoub
towards using pos
89b2dc6
@mudathirmahgoub
towards using pos
bd4863e
Verified a few [checks]
a7248be
@mudathirmahgoub
small change
483ce86
@mudathirmahgoub
Merge branch 'replaceExpr' of https://github.com/CVC4/org.alloytools.…
b6b1eff 
…alloy into replaceExpr
@mudathirmahgoub
Used sort-based new fresh names
f309db8
@mudathirmahgoub
Fixed ExprVar equality in substitution
a64857e
@mudathirmahgoub
Added Windows instructions
8b4a616 
Modified gradle to use AlloyTools
@mudathirmahgoub
used r for fresh relations
7ef0661
@mudathirmahgoub
intUniverse -> intUniv
e992f16
@pkriens
[mac] Makes Alloy run on Java 9
cfab293 
The special mac code is now ran in a try/catch block
so that the failing code on Java 9 does not abort
the process.
@pkriens
[tooltip] Do not use tableview in tooltip
7c8c5c1
@pkriens
[RELEASE] 5.1.0 preparations
395d4e5
@mudathirmahgoub
disabled Predicate and Assertion links when the model is sat
06dd9ad
@mudathirmahgoub
Added signature constraints for an instance returned by CVC4
98870bf
@mudathirmahgoub
Changed timeout to seconds + Less verbosity
9bc43c0
@mudathirmahgoub
Added instance constraints for fields
a105abe
@mudathirmahgoub
handled empty fields and empty signatures
032d29d
@mudathirmahgoub
Merge pull request #6 from AlloyTools/master
930cdc3 
Merge from AlloyTools master branch
@mudathirmahgoub
Fixed removeMultiplicity
ab4a8f7 
towards fixing hotel1 example
@mudathirmahgoub
Handled facts that use multiplicity like (expr in A m -> n B)
5b811cc
@mudathirmahgoub
small change
266d6a8
@mudathirmahgoub
doesn't compile
75412f6
@mudathirmahgoub
Separated alloy variables from generated variables
0d27933
@mudathirmahgoub
Generated constraints for Kodkod instances
3f481a4
@mudathirmahgoub
Small change
77bfff8
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.
4 participants
@mudathirmahgoub @pkriens @dnjackson @tinelli