Robbepop/stevia

Issues

• Implement SMTLib2 parser

  #5 opened 6 years ago by Robbepop
  4

• Add fuzzing targets

  #6 opened 6 years ago by Robbepop
  0

• Add Nand, Nor and Xnor

  #7 opened 6 years ago by Robbepop
  1

• Clean up public interfaces of stevia modules - especially the ast module

  #8 opened 6 years ago by Robbepop
  1

• Fix exponential copy expansion in Read-over-Write simplification

  #10 opened 6 years ago by Robbepop
  0

• Implement Array-{Read-Write}-Elimination simplifications

  #11 opened 6 years ago by Robbepop
  0

• Towards a complete SMT solver

  #12 opened 6 years ago by Robbepop
  0

• Find out optimal implementation similar to STP's push and pop

  #13 opened 6 years ago by Robbepop
  0

• Find or implement AIG library

  #14 opened 6 years ago by Robbepop
  0

• Improve module interface of stevia_ast

  #17 opened 6 years ago by Robbepop
  0

• Add missing QF_BV functions

  #18 opened 6 years ago by Robbepop
  0

• Improve efficiency of is_smax and is_smin

  #19 opened 6 years ago by Robbepop
  0

• Split stevia modules into libraries connected within a workspace

  #9 opened 6 years ago by Robbepop
  1

• Implement the entire Simplifier

  #1 opened 7 years ago by Robbepop
  1

• Implement correct fix-point detection for Simplifier

  #2 opened 7 years ago by Robbepop
  1