gsdlab/clafer

Issues

• Link broken for binary distribution?

  #93 opened 7 years ago
  3

• desugar enum to abstract final clafer in dynamic model

  #92 opened 7 years ago
  0

• allow self-explanatory parent expression

  #90 opened 8 years ago
  1

• incorrect choco output for reference to a constant

  #89 opened 8 years ago
  2

• help debugging the "dref problem"

  #87 opened 8 years ago
  0

• Incorrect ambiguous name error

  #86 opened 8 years ago
  0

• Allow navigation paths containing <:

  #85 opened 8 years ago
  0

• Support `parent` of top-level abstract clafers

  #84 opened 8 years ago
  1

• Fresh install of 0.4.3 from Hackage fails

  #83 opened 8 years ago
  2

• Allow inheritance from concrete clafers

  #82 opened 9 years ago
  0

• add backend compatibility information to the CheatSheet

  #80 opened 9 years ago
  1

• add support for min and max to Alloy generator

  #79 opened 9 years ago
  0

• Cannot inherit from a nested abstract clafer which itself has a superclafer

  #78 opened 9 years ago
  0

• Compiler enters infinite loop on inheritance by same type

  #77 opened 9 years ago
  1

• Choco output should reflect the IR for group cardinality inheritance

  #76 opened 9 years ago
  6

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

  #75 opened 9 years ago
  0

• Precedence of ternary conditional expression in Clafer

  #73 opened 9 years ago
  2

• The help message of claferIG does not explain how to change global scope

  #72 opened 9 years ago
  1

• Top-level abstract clafer extending a nested abstract clafer

  #67 opened 9 years ago
  2

• Incorrect neutral element for missing values

  #65 opened 9 years ago
  0

• Error compiling clafer on mac os x yosemite

  #64 opened 10 years ago
  1

• add the synthetic "root"

  #57 opened 8 years ago
  0

• generate assertions from soft constraints in Alloy

  #54 opened 10 years ago
  1

• setting references with a union

  #49 opened 8 years ago
  2

• clafer and specification by example

  #39 opened 10 years ago
  1

• 3 fresh install issues for clafer and claferIG

  #19 opened 12 years ago
  1

• incorrect expression in a quantified constraints translated to Alloy

  #18 opened 13 years ago
  0

• Incorrect parsing of 'some' quantifier in constraints.

  #17 opened 13 years ago
  2

• Incorrect format for negative numbers in the Alloy generator

  #16 opened 13 years ago
  0

• Crashing when writing to file

  #15 opened 13 years ago
  1

• ClaferIR Schema: Type 'cl:IInteger' is not validly derived from the type definition, 'IType', of element 'Type'.

  #14 opened 13 years ago
  2

• inconvenient name resolution

  #13 opened 12 years ago
  6

• Clafer compiler generates output file with incorrect name

  #12 opened 13 years ago
  1

• Incorrect parsing of one-line declarations

  #11 opened 12 years ago
  6

• Incorrect translation of integers to Alloy

  #10 opened 13 years ago
  4

• [compiler] Name resolution error prints too much raw IR

  #9 opened 13 years ago
  1

• Non-exhaustive patterns in "Sugar-op" and "Case"

  #8 opened 13 years ago
  0

• Getting type error when using + for set union

  #7 opened 13 years ago
  1

• Incorrect parsing of + and * cardinalities

  #6 opened 13 years ago
  1

• Problem with recursive definitions

  #5 opened 13 years ago
  1

• Incorrect instance

  #4 opened 13 years ago
  4

• Cardinality constraint is not being desugared

  #3 opened 13 years ago
  2

• Cyclic containment problem

  #2 opened 11 years ago
  4

• Installation procedure

  #1 opened 13 years ago
  1