Code

An SMT2 frontend plus solver binary#1879

Code

Merged

kroening merged 7 commits intodevelopdiffblue/cbmc:developfrom smt2-frontenddiffblue/cbmc:smt2-frontendCopy head branch name to clipboardMar 17, 2018

+1,720-232

Commits

Commits on Mar 15, 2018

• fix line number counting in SMT2 tokenizer

  

  Daniel Kroening

  committed
  7b670cd

  Copy full SHA for 7b670cd

• added to_mathematical_function_type

  

  Daniel Kroening

  committed
  37f69b2

  Copy full SHA for 37f69b2

• add support for let_exprt

  

  Daniel Kroening

  committed
  6dde6b1

  Copy full SHA for 6dde6b1

• a translator from SMT2 into expressions

  

  Daniel Kroening

  committed
  5268c44

  Copy full SHA for 5268c44

Commits on Mar 16, 2018

• Add missing langapi dependency to util

  Show description for a75ee3f
  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  a75ee3f

  Copy full SHA for a75ee3f

• an SMT2 solver using boolbv and satcheckt

  

  Daniel Kroening

  committed
  246472f

  Copy full SHA for 246472f

• tests for smt2_solver

  

  Daniel Kroening

  committed
  ab68848

  Copy full SHA for ab68848