dSynMa/recipe

Issues

• Problem with the send guards of the transitions in the example "Autonomous Resource Allocation"

  #39 opened 2 months ago by aaniculaesei
  0

• Errors when running 'npm install' in the 'frontend-react' directory

  #38 opened 3 months ago by aaniculaesei
  11

• Recording these formulas would give different results. The first one should be false and the other one is true.

  #37 opened 3 months ago by lazkany
  3

• Web UI needs SSL legacy provider with new nodeJS

  #29 opened 3 months ago by lou1306
  0

• [Feature] Get/Supply primitives

  #31 opened 5 months ago by lou1306
  4

• LTOL for get/supply

  #35 opened 5 months ago by lou1306
  3

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

  #36 opened 5 months ago by lou1306
  1

• Wrong result for p2p LTOL spec

  #34 opened 8 months ago by lou1306
  1

• Get/Supply to a set of names

  #33 opened 9 months ago by lou1306
  0

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

  #32 opened a year ago by lou1306
  5

• 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

• 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 2 years 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 2 years ago by lazkany
  1

• model does not build

  #20 opened 2 years ago by lazkany
  1

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

  #22 opened 2 years ago by lazkany
  1

• spec parsing issue

  #21 opened 2 years 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