Ecdar/j-Ecdar

Issues

• CDD x>=0 and x<0

  #100 opened 2 years ago by Brandhoej
  0

• The inconsistant location produced by the quotient has incorrect invariant

  #62 opened 2 years ago by magoorden
  0

• Switch to using the JCDD main branch

  #73 opened 2 years ago by magoorden
  0

• Spaces in names

  #98 opened 2 years ago by Brandhoej
  0

• The quotient produces two new clocks

  #60 opened 2 years ago by magoorden
  0

• Symbol Table for identifiers and scopes

  #97 opened 2 years ago by Brandhoej
  0

• Using the <= (or >=) operator in C wrapper may provide an inexact solution when comparing feds to feds

  #38 opened 2 years ago by seblund
  1

• Log actual state pair instead of location pair in refinement

  #82 opened 2 years ago by magoorden
  1

• Repeated terms in `AndGuard` and `OrGuard`

  #93 opened 2 years ago by magoorden
  0

• Logging printStackTrace and err output

  #91 opened 2 years ago by Brandhoej
  0

• Build #38 failed

  #85 opened 2 years ago by magoorden
  3

• Flaky tests maybe related to consistency check

  #90 opened 2 years ago by Brandhoej
  0

• What makes the E2E tests use too much memory?

  #89 opened 2 years ago by Brandhoej
  0

• Reimplement bisimilarity in TransitionSystem and Automaton

  #86 opened 2 years ago by Brandhoej
  0

• Dynamically find Grpc port

  #84 opened 2 years ago by Brandhoej
  0

• Refactoring Location classes

  #65 opened 2 years ago by Brandhoej
  1

• Multiple Location types can cause confusion

  #72 opened 2 years ago by Brandhoej
  1

• Quotient getNextMoves assumes that location runtime instance

  #71 opened 2 years ago by Brandhoej
  1

• Possibly incorrect tests

  #79 opened 2 years ago by Brandhoej
  1

• Pruning should not look at location names to determine which ones are inconsistant

  #63 opened 2 years ago by magoorden
  0

• isImplementation does not check for input enabledness

  #56 opened 2 years ago by magoorden
  0

• Fixing the runtime

  #52 opened 2 years ago by florber
  1

• Model simplifications

  #61 opened 2 years ago by magoorden
  0

• Remove unnecessary diagonal constraints during guard printing

  #51 opened 2 years ago by florber
  0

• Shorten lifetime of branches

  #75 opened 2 years ago by magoorden
  1

• Log functions with lazily evaluated parameters

  #77 opened 2 years ago by Brandhoej
  0

• Custom exceptions for XMLParsing

  #78 opened 2 years ago by Brandhoej
  0

• Rename the Guard class

  #80 opened 2 years ago by Brandhoej
  0

• Seperation or removal of GUI

  #81 opened 2 years ago by Brandhoej
  0

• Define code style for j-Ecdar

  #76 opened 2 years ago by magoorden
  0

• Specifications are not checked for overlapping input and output action sets

  #40 opened 2 years ago by magoorden
  1

• Automaton constructor does not check whether there is any path to a location

  #69 opened 2 years ago by Brandhoej
  3

• Aggregate exceptions when validating input models

  #70 opened 2 years ago by magoorden
  0

• Automaton constructor Clocks and Boolean variables

  #67 opened 2 years ago by Brandhoej
  1

• Automaton constructor unreachable initial location

  #68 opened 2 years ago by Brandhoej
  0

• Automaton does not check whether all locations are present in the edges

  #66 opened 2 years ago by Brandhoej
  0

• Reduce conversion between guards and CDDs

  #50 opened 2 years ago by florber
  1

• Create different logging levels similar to Reveaal

  #46 opened 2 years ago by magoorden
  1

• Figure out the exact meaning of sync in transition systems

  #33 opened 2 years ago by magoorden
  1

• dbm_isValid asseration fails in testDbmMinusDbm after call to fed_minus_dbm

  #18 opened 3 years ago by NicklasHugoy
  1