Code

SMT2 tokenizer#1832

Code

Merged

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

smt2-backenddiffblue/cbmc:smt2-backendCopy head branch name to clipboard

Feb 21, 2018

Commits

Commits on Feb 12, 2018

• added an SMT-LIB2 tokenizer

  

  Daniel Kroening

  committed
  3587184

  Copy full SHA for 3587184

• smt2irep now uses smt2_tokenizert

  

  Daniel Kroening

  committed
  a0bfd42

  Copy full SHA for a0bfd42