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

Release 0.4.0 #68

Merged
merged 67 commits into from Jul 28, 2015
Merged

Release 0.4.0 #68

merged 67 commits into from Jul 28, 2015

Conversation

mantkiew
Copy link
Member

@mantkiew mantkiew added this to the 0.3.11 milestone Jun 30, 2015
@mantkiew mantkiew self-assigned this Jun 30, 2015
@mantkiew
version 0.3.11
c4697e6
@mantkiew
merged Exp and SetExp in the grammar, test case
df88b14 
this allows for strictly more Clafer models to be written
@mantkiew
need to allow using . in super types, see test case
9896c92
@mantkiew
refactored ClaferArgs, fixed non-exhaustive pattern
05f7a15
@mantkiew
properly handle A.B in super in Desugarer
2686c9f
@mantkiew
TMap and TUnion types, SoftConstraint->Assertion, double/real numbers…
fc9ff78 
…+fixed coersions,

- extracted some functions from ResolverType to TypeSystem to enable
unit testing
- primitiveTypesAndCoersions test case
@mantkiew
fixed TypeSystem.composition
1cfcdcf
@mantkiew
added doctests
de6b91e
@mantkiew
added a common example and the corresponding types of model elements
eac2db3
@mantkiew
fixed and extended the TypeSystem doctests example
13dcd41
@mantkiew
first attempt at typing PExps of reference clafers
9b20bca 
may need to split into two phases
@mantkiew
fixed getTClafer and getDrefTMap, extended test cases
7e2e60c
@mantkiew
fixed intersection and added test cases
f1dd33b
@mantkiew
TUnion collapsing when a single type
7235837
@mantkiew
take into account coersions when intersecting with TMap
b6db0fd
@mantkiew
doctests for composition
d86726a
@mantkiew
added TypeSystem.rightCoerce
55bed11
@mantkiew
map compositions with coersions
520977e
@mantkiew
objectives and quality attributes generation for JSON. Fixed non-exha…
f14eab5 
…ustive pattern match in traceIrModule
@mantkiew
Merge branch 'develop' into typeSystem
09ce39b
@mantkiew
fixed merge from develop
5c403c8
@mantkiew
fixed TypeSystem.getRefTypes and unionType
70ad467
@mantkiew
Revert "fixed TypeSystem.getRefTypes and unionType"
8d467d5 
This reverts commit 70ad467.
@mantkiew
fixed TypeSystem: getRefTypes, unionType
7190b46
@mantkiew
split type resolution into two phases: only references, only constrai…
1833227 
…nts&goals
@mantkiew
explicate cases for Special in ResolverName
21a9eb1
@mantkiew
fixed TypeSystem.numeric
4543fa8
@mantkiew
added TypeSystem.isTInteger
b4238c7
@mantkiew
switched the type of "ref" from TClafer to TMap
cc233ed
@mantkiew
generate named refs in Alloy, removed "noalloyruncommand" option, tes…
02670c1 
…t redefinition.cfr now works
@mantkiew
gitignore/makefile
00e9f9d
@mantkiew
remove accidentally added test outputs
61a8750
@mantkiew
remove accidentally added test outputs
a212690
@mantkiew
Merge branch 'typeSystem' into namedRefs
1899b29
@mantkiew
incorrect test case
ba7a244
@mantkiew
Merge pull request #69 from gsdlab/typeSystem
b016e16 
Type System Extension
@mantkiew
Merge pull request #70 from gsdlab/namedRefs
aab0f38 
Named refs
@mantkiew mantkiew changed the title Release 0.3.11 Release 0.4.0 Jul 23, 2015
@mantkiew mantkiew modified the milestones: 0.4.0, 0.3.11 Jul 23, 2015
mantkiew added a commit that referenced this pull request Jul 28, 2015
@mantkiew
Merge pull request #68 from gsdlab/develop
ed42155 
Release 0.4.0
@mantkiew mantkiew merged commit ed42155 into master Jul 28, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@mantkiew mantkiew

Labels
None yet
Projects
None yet
Milestone
0.4.0
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@mantkiew