[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [ccadar/klee] 648686: MetaSMT builder, solver and command-line options.
From:       c.cadar () imperial ! ac ! uk (Cristian Cadar)
Date:       2013-10-22 16:12:36
Message-ID: 5266a3f486b13_2164ebd5812062a () hookshot-fe2-pe1-prd ! aws ! github ! net ! mail
[Download RAW message or body]

  Branch: refs/heads/master
  Home:   https://github.com/ccadar/klee
  Commit: 64868646eed7384c38db41aff5002215b92c1601
      https://github.com/ccadar/klee/commit/64868646eed7384c38db41aff5002215b92c1601
  Author: Hristina Palikareva <h.palikareva at imperial.ac.uk>
  Date:   2013-10-11 (Fri, 11 Oct 2013)

  Changed paths:
    M Makefile.common
    M autoconf/configure.ac
    M configure
    M include/klee/CommandLine.h
    M include/klee/Solver.h
    M lib/Basic/CmdLineOptions.cpp
    M lib/Core/Executor.cpp
    M lib/Solver/Makefile
    A lib/Solver/MetaSMTBuilder.h
    M lib/Solver/Solver.cpp
    M tools/kleaver/Makefile
    M tools/kleaver/main.cpp
    M tools/klee/Makefile

  Log Message:
  -----------
  MetaSMT builder, solver and command-line options.


  Commit: d508fcc715277ea0a22c007ecde6ebc991d81841
      https://github.com/ccadar/klee/commit/d508fcc715277ea0a22c007ecde6ebc991d81841
  Author: Hristina Palikareva <h.palikareva at imperial.ac.uk>
  Date:   2013-10-11 (Fri, 11 Oct 2013)

  Changed paths:
    M lib/Solver/MetaSMTBuilder.h

  Log Message:
  -----------
  Bug fix in MetaSMTBuilder


  Commit: f53b2ebc74acd9d31b54f21434e1b21eed7f5787
      https://github.com/ccadar/klee/commit/f53b2ebc74acd9d31b54f21434e1b21eed7f5787
  Author: Hristina Palikareva <h.palikareva at imperial.ac.uk>
  Date:   2013-10-11 (Fri, 11 Oct 2013)

  Changed paths:
    M lib/Solver/Solver.cpp
    M test/Feature/ExprLogging.c

  Log Message:
  -----------
  getConstraintLog() of MetaSMTSolver explicitly states that this feature is not \
supported; a test case modified to not fail because of this.


  Commit: 7b46fc6cc9d9104a226d28f286b19fffc5a1e029
      https://github.com/ccadar/klee/commit/7b46fc6cc9d9104a226d28f286b19fffc5a1e029
  Author: Hristina Palikareva <h.palikareva at imperial.ac.uk>
  Date:   2013-10-15 (Tue, 15 Oct 2013)

  Changed paths:
    M include/klee/CommandLine.h
    M lib/Basic/CmdLineOptions.cpp

  Log Message:
  -----------
  command-line option --use-metasmt declared and defined inside #ifdef \
SUPPORT_METASMT ... #endif macros


  Commit: c68ade2b7990e696c99cf26e6082de3a95ae29da
      https://github.com/ccadar/klee/commit/c68ade2b7990e696c99cf26e6082de3a95ae29da
  Author: Hristina Palikareva <h.palikareva at imperial.ac.uk>
  Date:   2013-10-16 (Wed, 16 Oct 2013)

  Changed paths:
    M test/Feature/ExprLogging.c

  Log Message:
  -----------
  tests in ./test/Feature/ExprLogging.c reverted back to not explicitly differentiate \
on whether metaSMT is used or not


  Commit: cc0ac847684b276a4845b0d7fe0e880850bef8f9
      https://github.com/ccadar/klee/commit/cc0ac847684b276a4845b0d7fe0e880850bef8f9
  Author: Hristina Palikareva <h.palikareva at imperial.ac.uk>
  Date:   2013-10-21 (Mon, 21 Oct 2013)

  Changed paths:
    M tools/kleaver/Makefile
    M tools/klee/Makefile

  Log Message:
  -----------
  Removed unnecessary/redundant linking of library boost_thread-mt to klee and \
kleaver.


  Commit: 99d864996eb7768f55d210cb7c286f316c5a8187
      https://github.com/ccadar/klee/commit/99d864996eb7768f55d210cb7c286f316c5a8187
  Author: Cristian Cadar <c.cadar at imperial.ac.uk>
  Date:   2013-10-22 (Tue, 22 Oct 2013)

  Changed paths:
    M Makefile.common
    M autoconf/configure.ac
    M configure
    M include/klee/CommandLine.h
    M include/klee/Solver.h
    M lib/Basic/CmdLineOptions.cpp
    M lib/Core/Executor.cpp
    M lib/Solver/Makefile
    A lib/Solver/MetaSMTBuilder.h
    M lib/Solver/Solver.cpp
    M tools/kleaver/Makefile
    M tools/kleaver/main.cpp
    M tools/klee/Makefile

  Log Message:
  -----------
  Merge pull request #41 from hpalikareva/metasmt-multisolver

Support for KLEE-MultiSolver (http://srg.doc.ic.ac.uk/projects/klee-multisolver/)


Compare: https://github.com/ccadar/klee/compare/631e2f6f9ffc...99d864996eb7


[prev in list] [next in list] [prev in thread] [next in thread]