Issues

• Reconcile abstract reference uniqueness across static and temporal Alloy

  gsdlab/clafer#125 · Filter by author kbak opened on Nov 13, 2026

• Initializer warning says a conflicting := has no effect

  gsdlab/clafer#124 · Filter by author kbak opened on Nov 13, 2026

• Initializers change the temporal context of their RHS

  gsdlab/clafer#123 · Filter by author kbak opened on Nov 13, 2026

• Temporal Alloy lets an absent instance satisfy a reference-value obligation

  gsdlab/clafer#122 · Filter by author kbak opened on Nov 13, 2026

• Temporal Alloy omits uniqueness for inherited set references

  gsdlab/clafer#121 · Filter by author kbak opened on Nov 13, 2026

• Temporal Alloy allows different targets for a refined reference and its super

  gsdlab/clafer#120 · Filter by author kbak opened on Nov 13, 2026

• Choco output: reference refinement to a clafer declared later is rejected

  gsdlab/clafer#118 · Filter by author mantkiew opened on Nov 7, 2026

• Group cardinality interval silently becomes the cardinality of the previous clafer

  gsdlab/clafer#117 · Filter by author mantkiew opened on Nov 7, 2026

• The initializer := is silently compiled as an assertion

  gsdlab/clafer#116 · Filter by author mantkiew opened on Nov 7, 2026
  1

• Ambiguous super name reported as a duplicate definition

  gsdlab/clafer#115 · Filter by author mantkiew opened on Nov 7, 2026

• let crashes the desugarer

  gsdlab/clafer#114 · Filter by author mantkiew opened on Nov 7, 2026
  1

• allow self-explanatory parent expression

  gsdlab/clafer#90 · Filter by author mantkiew opened on Sep 8, 2016 · 0.4.5
  1

  

• Allow navigation paths containing <:

  gsdlab/clafer#85 · Filter by author mantkiew opened on May 4, 2016 · 0.4.5
  

• Allow inheritance from concrete clafers

  gsdlab/clafer#82 · Filter by author mantkiew opened on Dec 8, 2015
  

• Optimize away navigation paths to clafers with global cardinality <= 1

  gsdlab/clafer#75 · Filter by author mantkiew opened on Sep 29, 2015 · 0.4.5
  

• Incorrect neutral element for missing values

  gsdlab/clafer#65 · Filter by author mantkiew opened on Mar 26, 2015