Commits

Author Commit Message Labels Comments Date
Leonardo de Moura
improving mk_make.py
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
Leonardo de Moura
trying new build infrastructure on linux
Leonardo de Moura
checkpoint
Nikolaj Bjorner
added QBMC backend based on quantified bit-vectors
Leonardo de Moura
missing files...
Christoph Wintersteiger
Removed -mmacosx-min-version from the OSX build.
Leonardo de Moura
moved bit_blaster_tactic to bv_tactics
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
jberdine
regenerated ml api
jberdine
updated Debug dir name
jberdine
updated ml api test regressions (due to new printing?)
jberdine
made .cmd scripts executable
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
Leonardo de Moura
checkpoint
Leonardo de Moura
preparing to split framework
jberdine
added build and test scripts and READMEs to distribute
jberdine
removed files specific to source depot and SDV
jberdine
updated ml api test expected output following recent formatting changes
jberdine
clean .z3-trace
jberdine
updated ml build scripts to assume required tools are already set up, and added comments specifying which tools are required
  1. Prev
  2. Next