black-sat/black

Issues

• Exception thrown

  #113 opened a year ago by jskt89
  6

• Hang Loop

  #114 opened a year ago by jskt89
  0

• Trace syntax

  #111 opened 2 years ago by aharth
  3

• Mixed namespaces for variables, propositions, functions and relations

  #96 opened 2 years ago by nicola-gigante
  1

• Homebrew installation fails

  #92 opened 2 years ago by yangjunhuiyjh
  4

• Different results with and without --remove-past option (under finite trace semantics)

  #93 opened 2 years ago by lucageatti
  1

• Input syntax documentation could be useful

  #66 opened 3 years ago by GabVenturato
  1

• Support cgroups v2 in run benchmarks script

  #34 opened 3 years ago by GabVenturato
  1

• Random formula generator ignores `--dim` option when `--seed` is setted

  #70 opened 3 years ago by caramellaio
  2

• Feature proposal: Generate random LTL formulas deterministically using a seed option

  #67 opened 3 years ago by caramellaio
  2

• Inconsistent use of Past/Once operator

  #33 opened 4 years ago by GabVenturato
  1

• Code coverage report tracking

  #9 opened 4 years ago by nicola-gigante
  1

• should the black compilation require sudo for making install?

  #42 opened 4 years ago by germanbraun
  2

• Z3 installed from debian repos not found

  #40 opened 4 years ago by germanbraun
  8

• Compilation steps are not working propertly

  #39 opened 4 years ago by germanbraun
  1

• Fresh installation error on Z3

  #38 opened 4 years ago by germanbraun
  1

• Inconsistent sat-solvers backends

  #31 opened 4 years ago by GabVenturato
  0

• black: syntax error: Expected ')'

  #30 opened 4 years ago by germanbraun
  3

• Failed assert with randomly-generated formula

  #29 opened 4 years ago by nicola-gigante
  1

• Issues compiling BLACK on MacOS Catalina 10.15

  #15 opened 4 years ago by lucageatti
  3

• Compilation error with GCC 10.1.1 in Fedora 32

  #4 opened 4 years ago by GabVenturato
  1

• Compile problem with GCC 9.1.1

  #1 opened 6 years ago by GabVenturato
  1