Labels

Labels

• abstract interpretation

  abstract interpretation

• ACSL

  ACSL

• automata library

  automata library

• Automizer

  Automizer

• backtranslation

  backtranslation

• Boogie

  Boogie

• BoogiePreprocessor

  BoogiePreprocessor

• BoogieProcedureInliner

  BoogieProcedureInliner

• bug

  bug

• build system / releases

  build system / releases

• BüchiAutomizer

  BüchiAutomizer

• C translation

  C translation

• core

  core

• dependencies

  dependencies

  Pull requests that update a dependency file

• docs

  docs

• DTS

  DTS

  Issues relevant to the DTS project

• duplicate

  duplicate

• enhancement

  enhancement

• external processes

  external processes

  Issues that are connected to calling some external tool, e.g., z3, cvc4, ltl2ba, etc.

• feature

  feature

• float

  float

  Things that originate from the treatment of IEEE 754 floats

• heap separator

  heap separator

• help wanted

  help wanted

• horn clauses

  horn clauses

• ICFG-related

  ICFG-related

• investigation needed

  investigation needed

• javascript

  javascript

  Pull requests that update Javascript code

• Kojak

  Kojak

• LassoRanker

  LassoRanker

• loop acceleration

  loop acceleration