Latest commit 20404bb Jun 24, 2016 @mantkiew mantkiew fixed issue #57
Permalink
..
Failed to load latest commit information.
__pycache__ remerge with develop Apr 25, 2013
ACCDemo_attributedFeatureModels.cfr 0.4.2.1, LTS-3.10, fixed Haddock, added stack to README, fixed a test… Oct 19, 2015
ACCDemo_featureModels.cfr New regression tests Jul 30, 2013
ACCDemo_fullClafer.cfr New regression tests Jul 30, 2013
BMM_model.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
ClaferToolsDemo_Adding_Quality.cfr minimize, maximize, minimum, maximum, fixed grammar for if/then/else,… Sep 29, 2015
ClaferToolsDemo_Existing_Android_Phones.cfr New regression tests Jul 30, 2013
ClaferToolsDemo_Variant_Derivation.cfr New regression tests Jul 30, 2013
ClaferTools_CommandLineArguments.cfr removed Alloy4.1 support. The mode 'alloy' means Alloy4.2 Jul 21, 2015
ClaferTools_ToolingArchitecture.cfr New regression tests Jul 30, 2013
ClaferWiki-Specific_Help.cfr New regression tests Jul 30, 2013
EAST-ADL-PowerWindow.cfr added EAST-ADL Power Window test case with cmd : Port -> Command Jan 15, 2015
EDMPoster_Intro.cfr New regression tests Jul 30, 2013
EDM_Intro.cfr removed unnecessary .refs in test cases thanks to the fixed type syst… Sep 1, 2015
ESC_FMCSA571.126-model.cfr using uidIClaferMap in Choco and Python generators Mar 4, 2015
Linux_model.cfr fixed regressions Feb 4, 2015
NECSIS-Workshop_Modeling_Quality_4.cfr minimize, maximize, minimum, maximum, fixed grammar for if/then/else,… Sep 29, 2015
NECSIS-Workshop_Modeling_Variability_7.cfr New regression tests Jul 30, 2013
NestedInheritanceAndReference2.cfr added assertions to test cases, revised other test cases Nov 28, 2015
Scotiabank_Mortgages.cfr using uidIClaferMap in Choco and Python generators Mar 4, 2015
Telematics_PLA.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
Tutorial_Intro.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
accesscontrol_Intro.cfr New regression tests Jul 30, 2013
assertionsAndScopes.cfr fixed assertionsAndScopes.cfr test case and and `make test` to use ch… Nov 26, 2015
books_tutorial.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
books_tutorial.pyc remerge with develop Apr 25, 2013
check_unique_ref_names_with_inheritance.cfr added dref and backwards-compatibility for `ref` and `&`. Fixed HTML … Aug 21, 2015
constraints.cfr fixed name resolution. Searching in descendants matches the first result Aug 1, 2012
deprecated.cfr added dref and backwards-compatibility for `ref` and `&`. Fixed HTML … Aug 21, 2015
eCos_model.cfr fixed regressions Feb 4, 2015
enforcingInverseReferences.cfr example showing how to enforce inverse relationship Mar 16, 2012
escapes.cfr added escapes to Choco generator and escapes.cfr test case Aug 1, 2015
gi49-setting-references-with-a-union.cfr test cases for #49 and #67 with regression tests Sep 29, 2015
gi57-root-keyword.cfr fixed issue #57 Jun 24, 2016
gi67-extending-nested-abstract.cfr Implemented #67, updated unit and regression tests Sep 30, 2015
gi78-extending-nested-abstract.cfr fixed #78, added regression tests Dec 2, 2015
gi84-parent-top-level-abstract.cfr test case and regressions for gi84 Jun 23, 2016
groupCardInheritance.cfr added test case for group cardinality inheritance and correct Alloy o… Feb 23, 2015
groupCardInheritance2.cfr a different test case for group cardinality inheritance. Close #76. Oct 1, 2015
i10.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
i101.cfr fixed test case for i101 so that it's possible to get instances Jul 12, 2013
i121-comments.cfr updated test case for comments and regression Apr 23, 2015
i122-CVL.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
i126-empty.cfr i126 fixed Aug 27, 2012
i131-incorrect-scope-diag.cfr renamed i131 test file Jul 24, 2013
i131-incorrect-scope.cfr added positive test cases for open issues Apr 3, 2013
i137_parsing.cfr fixed #137 Aug 15, 2012
i14.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
i144-if-then-else.cfr revised if/then/else test case for non-boolean consequent Sep 1, 2015
i147-ref-disambiguation.cfr added positive test cases for open issues Apr 3, 2013
i150-or-groups.cfr added positive test cases for open issues Apr 3, 2013
i150-or-groups.des.cfr added positive test cases for open issues Apr 3, 2013
i17.cfr #17 Mar 21, 2012
i18.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
i188-sum-quantifier.cfr refined a test case and added another one for i188 Jul 6, 2013
i188-sum-quantifier2.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i19.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i199-afm-check.cfr positive and negative tests for --check-afm Aug 15, 2013
i199-afm-with-inhritance.cfr positive and negative tests for --check-afm Aug 15, 2013
i205-ref-disambiguation-II.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i226-unary-minus.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i227-implicit-this-in-IR.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
i228-this-and-parent-types.cfr test cases for issues i227 and i228 May 13, 2013
i23.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
i235.cfr Fixed i235, in this situation treat '->' as ':' Jun 17, 2013
i239.cfr update i239 test case and fix regressions Jun 23, 2016
i275-uniqueNames.cfr always prepend the `c<num>_` prefix Nov 4, 2013
i40-text-equality.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i40_integers_strings_assignment.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i49_parentReduce.cfr modified integer constants to work with ClaferIG and Alloy's default … Mar 21, 2012
i49_resolve_ancestor.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
i50.cfr Fixed typo in test clafer in positive Jun 10, 2013
i50_stop_following_references.cfr Fix for Issue #64 Mar 21, 2012
i55.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
i57-navParent.cfr updated text suite. Instead of one directory there are positive/negat… Mar 14, 2012
i61-cardinalities.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i70.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i71.cfr fixed unary negation in Alloy code generator Apr 12, 2012
i72-shared-reference.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i74.cfr added assertions to test cases, revised other test cases Nov 28, 2015
i78_transitive-closure.cfr modified a test case for i78 so that it can be instantiated Jul 12, 2013
i81.cfr new version, updated package versions in cabal, using cabal >= 1.16, … Jul 10, 2013
i83-individual-scope.cfr example for http://gsd.uwaterloo.ca:8888/question/375/individual-scop… Apr 13, 2012
i84-references-pointing-to-the-same-object.cfr removed unnecessary .refs in test cases thanks to the fixed type syst… Sep 1, 2015
i89-references-should-be-unique.cfr fix of fix for #19 Apr 18, 2012
i95-subclafers-not-visible-via-reference-reference.cfr modified a test case for i95 so that it can be instantiated Jul 12, 2013
i98_top-level-references.cfr added assertions to test cases, revised other test cases Nov 28, 2015
ifthenelse.cfr added assertions to test cases, revised other test cases Nov 28, 2015
layout.cfr updated text suite. Instead of one directory there are positive/negat… Mar 14, 2012
leftAssocDeref.cfr dref renaming + added TypeSystem.isTBoolean Aug 23, 2015
leftAssocDeref.des.cfr remove accidentally added test outputs Jul 23, 2015
liftingNestedConstraints.cfr removed `parentIClaferMap`, moved redefinition test case to failing, … Feb 24, 2015
mergeExpAndSetExp.cfr disallow if/then/else, <: and :> as reference types, fix mergeExpAndS… Jul 20, 2015
mergeExpAndSetExpAlloy.cfr removed unnecessary .refs in test cases thanks to the fixed type syst… Sep 1, 2015
minAndMax.cfr added assertions to test cases, revised other test cases Nov 28, 2015
navAndDeref.cfr advanced navigation and dereferencing test case Sep 1, 2015
negative.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
nested-ifthenelse.cfr fixed if/then/else precedence, closes #73 Sep 29, 2015
nestedInheritanceWithReference.cfr nested inheritance from & references to nested abstract clafers Feb 18, 2015
noAndNot.cfr added 'not' as a synonym to 'no' Jul 16, 2014
objectivesMinMax.cfr minimize, maximize, minimum, maximum, fixed grammar for if/then/else,… Sep 29, 2015
oclBench_b1.cfr added assertions to test cases, revised other test cases Nov 28, 2015
oclBench_b3.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
optionalClaferInitializer.cfr fixed desugaring of initializers Jun 12, 2014
paths.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
personRelatives.cfr added assertions to test cases, revised other test cases Nov 28, 2015
person_tutorial.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
primitiveTypesAndCoersions.cfr TMap and TUnion types, SoftConstraint->Assertion, double/real numbers… Jul 7, 2015
product.cfr added assertions to test cases, revised other test cases Nov 28, 2015
reals.cfr support for reals Sep 12, 2014
redefinition.cfr added assertions to test cases, revised other test cases Nov 28, 2015
references-in-bound-identifiers.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
reminder-modulo_division.cfr added reminder (modulo division) operator Mar 5, 2015
resolution.cfr fixed regressions Feb 4, 2015
scopes.cfr updated test case and regressions Feb 4, 2015
simple-arithmetic.cfr added simple arithmetic test Nov 5, 2013
simpleConstraint.cfr updated text suite. Instead of one directory there are positive/negat… Mar 14, 2012
subtyping-primitive-types.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
telematics.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
test_neg_typesystem.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
top_level_constraints_with_relational_joins.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015
umlcd_model.cfr replaced all : with -> or ->> for primitive-typed refs. Changed to ->… Jan 14, 2015