dSynMa/recipe

Issues

• Counterexample cannot be loaded if model contains exists(), forall() observations

  #36 opened 4 months ago by lou1306
  0

• LTOL for get/supply

  #35 opened 5 months ago by lou1306
  2

• Wrong result for p2p LTOL spec

  #34 opened 5 months ago by lou1306
  1

• Get/Supply to a set of names

  #33 opened 5 months ago by lou1306
  0

• (Get/Supply) IC3 seems to struggle with this simple (?) safety check

  #32 opened 10 months ago by lou1306
  5

• [Feature] Get/Supply primitives

  #31 opened a year ago by lou1306
  3

• Null on transitions after sending counter example to simulator

  #30 opened a year ago by lazkany
  1

• Feature request: Colour transitions taken/to be taken when simulating

  #28 opened a year ago by shaunazzopardi
  0

• ensure LTOL remains in the same form as inputted by user

  #25 opened a year ago by shaunazzopardi
  1

• Web UI needs SSL legacy provider with new nodeJS

  #29 opened a year ago by lou1306
  0

• Language Parsing

  #27 opened a year ago by shaunazzopardi
  0

• Proper documentation

  #26 opened a year ago by shaunazzopardi
  0

• better error messages

  #24 opened a year ago by shaunazzopardi
  0

• if I remove the variable size and its initialisation, the model does not compile despite that size is not used

  #23 opened a year ago by lazkany
  1

• model does not build

  #20 opened a year ago by lazkany
  1

• rSolve in the formula does not exist and yet it does not recognise it

  #22 opened a year ago by lazkany
  1

• spec parsing issue

  #21 opened a year ago by lazkany
  1

• The formula should evaluate to false (problem with quantified variables)

  #18 opened 2 years ago by lazkany
  1

• parsing issues

  #19 opened 2 years ago by lazkany
  3

• Reserved local variable names

  #4 opened 2 years ago by frans-bergman
  2

• The following formula must be true. There is also something wrong in the interpreter. Please check

  #14 opened 2 years ago by lazkany
  1

• parsing issue (formula does not parse)

  #17 opened 2 years ago by lazkany
  1

• "mcresponse is undefined" when model does not match its specification

  #8 opened 2 years ago by frans-bergman
  1

• Feature request: Inline comments in rcp scripts

  #16 opened 2 years ago by frans-bergman
  1

• parsing problems

  #15 opened 2 years ago by lazkany
  1

• Addition of integers returns real number

  #6 opened 2 years ago by frans-bergman
  1

• why Mixing X and <> or [] are allowed?!

  #11 opened 2 years ago by lazkany
  2

• Add tests that run model checker and validate result

  #13 opened 2 years ago by shaunazzopardi
  0

• same problem to \/, the quantification is not rewritten correctly for /\, see formula at the end

  #12 opened 2 years ago by lazkany
  1

• ltl to ltol translation problem.

  #10 opened 2 years ago by lazkany
  2

• problem with parsing existential quantification. See code below

  #9 opened 2 years ago by lazkany
  1

• Underscores in local variable names

  #3 opened 2 years ago by frans-bergman
  1

• Overlapping identifiers cause parsing failure

  #5 opened 2 years ago by frans-bergman
  1