Permalink
Switch branches/tags
Commits on Nov 12, 2018
  1. snap

    mtzguido committed Nov 12, 2018
  2. --keep_query_captions in CHANGES.md

    nikswamy committed Nov 12, 2018
Commits on Nov 11, 2018
  1. keep_query_captions () ==> log_queries()

    nikswamy committed Nov 11, 2018
Commits on Nov 10, 2018
  1. comment

    aseemr committed Nov 10, 2018
  2. snap

    aseemr committed Nov 10, 2018
  3. snap

    aseemr committed Nov 10, 2018
  4. snap

    aseemr committed Nov 10, 2018
Commits on Nov 9, 2018
  1. snap

    nikswamy committed Nov 9, 2018
  2. do not print comments in SMT output unless log_queries and keep_query…

    nikswamy committed Nov 9, 2018
    …_captions are both on; shrinks the size of SMT output by 10x in some cases
Commits on Nov 7, 2018
  1. adding a couple of test cases for testing bind

    aseemr committed Nov 7, 2018
  2. Merge branch 'master' into aseem_misc

    aseemr committed Nov 7, 2018
Commits on Nov 6, 2018
Commits on Nov 5, 2018
  1. enable another test case

    nikswamy committed Nov 5, 2018
  2. snap

    nikswamy committed Nov 5, 2018
  3. snap

    nikswamy committed Nov 5, 2018
  4. trivial commit

    aseemr committed Nov 5, 2018
  5. hints

    aseemr committed Nov 5, 2018
  6. snap

    aseemr committed Nov 5, 2018
  7. rlimit 16 -> 20

    aseemr committed Nov 5, 2018