Commits

Author Commit Message Labels Comments Date
Leonardo de Moura
improving mk_make.py Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
trying new build infrastructure on linux Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Nikolaj Bjorner
added QBMC backend based on quantified bit-vectors Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Leonardo de Moura
missing files... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Christoph Wintersteiger
Removed -mmacosx-min-version from the OSX build. Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Leonardo de Moura
moved bit_blaster_tactic to bv_tactics Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
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 Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
checkpoint Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Leonardo de Moura
preparing to split framework Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
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