ticktac-project/tchecker

Issues

• product returns unknown variable ID.

  #65 opened 3 months ago by alzeha
  0

• Accessing the invariant of the initial location

  #64 opened 4 months ago by alzeha
  2

• ERRORs generated while extracting certificate

  #63 opened 5 months ago by mukherjee-sayan
  4

• Compilation fails with g++

  #58 opened a year ago by osankur
  9

• Error reported by sanitizers

  #54 opened 7 months ago by areynoua
  6

• Results of cppcheck

  #62 opened 8 months ago by alzeha
  2

• Extremely slow clock bounds computation

  #53 opened 8 months ago by osankur
  2

• Create db with INF_VALUE

  #61 opened 8 months ago by Schulzen
  3

• Explanation for States

  #60 opened 8 months ago by alzeha
  4

• Zone instantiation

  #59 opened 9 months ago by alzeha
  4

• Can I use `tck-reach` to get the path in the automaton that witnesses reachability?

  #56 opened a year ago by Agnishom
  3

• Using non-integer values in clock constraints?

  #57 opened a year ago by Agnishom
  1

• ''make'' error

  #55 opened a year ago by MicroEnder
  2

• Crash on model with clock to clock update

  #52 opened 2 years ago by osankur
  0

• A compiling bug

  #51 opened 2 years ago by rgu01
  4

• Segmentation fault

  #48 opened 2 years ago by alfredost
  5

• Parser rejects input files that do not end with a new line

  #50 opened 2 years ago by osankur
  0

• No warning when the initial state set is empty

  #49 opened 2 years ago by osankur
  1

• copy assignment of outgoing iterators implicitely deleted

  #25 opened 3 years ago by adl
  3

• let garabage collection be robust to allocator destruction

  #40 opened 3 years ago by adl
  1

• Improve covreach graph construction

  #33 opened 3 years ago by fredher
  1

• Simplify graph display

  #32 opened 3 years ago by fredher
  3

• Fix stats on covreach algorithm

  #30 opened 3 years ago by fredher
  1

• Single free list

  #22 opened 3 years ago by fredher
  1

• Test errors after building

  #47 opened 3 years ago by HansvdLaan
  6

• TChecker allows invalid expressions in guards and invariants

  #46 opened 4 years ago by fredher
  0

• Evaluation of integer expressions as Booleans

  #45 opened 4 years ago by pictavien
  0

• Output message when reading from standard input

  #44 opened 4 years ago by fredher
  2

• NR tests fail

  #42 opened 5 years ago by fredher
  0

• add state comparisons

  #23 opened 5 years ago by adl
  4

• The graph computed or output by covreach algorithm is not correct

  #41 opened 5 years ago by fredher
  0

• Add predicates/properties

  #21 opened 5 years ago by fredher
  3

• Multilines attributes

  #39 opened 5 years ago by pictavien
  2

• Fix display of covreach graph

  #31 opened 5 years ago by fredher
  6

• Duplicate custom targets not supported by cmake's Xcode generator

  #38 opened 5 years ago by fredher
  2

• Error in resets

  #36 opened 5 years ago by schlepil
  2

• Problem with lu_map_capacity

  #34 opened 5 years ago by schlepil
  3

• parsing errors cause following parsing attempts to fail

  #35 opened 5 years ago by adl
  0

• clang-9 warnings

  #26 opened 5 years ago by adl
  0

• The destruct_all() method of the covreach graph may lead to segfault

  #28 opened 5 years ago by fredher
  0

• Add deallocation methods to allocators and pools

  #20 opened 5 years ago by fredher
  0

• shared library?

  #27 opened 5 years ago by adl
  5

• Problem arising when pool_t::destruct_all() is not called

  #19 opened 5 years ago by fredher
  3

• Add methods to intersect two DBMs

  #17 opened 5 years ago by fredher
  0

• calling gc.stop() twice causes a segfault

  #24 opened 5 years ago by adl
  0

• cannot compile current HEAD

  #18 opened 5 years ago by adl
  1

• lexer outputs unknown characters

  #13 opened 5 years ago by adl
  0

• system_t::location(process_name, location_name) is protected

  #15 opened 5 years ago by adl
  1

• typos in utils/gc.hh's documentation

  #16 opened 5 years ago by adl
  0

• typo in tchecker/clockbounds/model.hh

  #14 opened 5 years ago by adl
  0