1. 26 May, 2021 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · 34a679a9
      Mathias Preiner authored
      commit 45c46aa0
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu Feb 18 10:10:00 2021 -0800
          Update README.md.
      commit fc2d3890
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Feb 16 12:33:29 2021 -0800
          Add missing (exit) command.
  2. 24 May, 2020 2 commits
    • Mathias Preiner's avatar
      Merge branch 'fix_new_syntax' into 'master' · 1eb3f980
      Mathias Preiner authored
      Update escape characters
      See merge request !3
    • Andres Noetzli's avatar
      Update escape characters · 8e4216b9
      Andres Noetzli authored
      When the syntax was updated to the new SMT-LIB standard for the theory
      of strings, not all of the escape characters were converted. In
      particular, some of the benchmarks contained escape characters such as
      `\n`, `\t`, etc. that were ommitted. Since there was no standard before,
      there is some ambiguity in how those escape characters should be
      translated. However, a lot of benchmarks have constraints such as `(=
      (str.charat ...) "\n")` which only really make sense when interpreting
      `"\n"` as a single character. This commit replaces `\\`, `\t`, `\n`,
      `\v`, `\f`, and `\r` by the corresponding new escape sequences.
      As a sanity check, I did the following:
      - I ran CVC4 1.7 on the benchmarks from SMT-COMP 2019
      - I converted additional escape characters on _all_ of the benchmarks
        from SMT-COMP 2020
      - I ran a recent version of CVC4 on this version of the benchmarks and
        made sure that the status matched on all the benchmarks
      For 47985 benchmarks, both versions of CVC4 computed the sam...
  3. 27 Apr, 2020 1 commit
  4. 25 Apr, 2020 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · 08588643
      Mathias Preiner authored
      commit 5e4d2a69
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Fri Apr 24 22:44:49 2020 -0700
          Move benchmarks from pending repository.
      commit 4ef860dd
      Merge: df3109a0 e7266d72
      Author: Mathias Preiner <preiner@cs.stanford.edu>
      Date:   Wed Apr 8 15:44:46 2020 -0500
          Merge branch 'updateSyntax' into 'develop-2020'
          Update string escape sequences
          See merge request !2
      commit e7266d72
      Author: Andres Noetzli <noetzli@stanford.edu>
      Date:   Wed Apr 8 15:44:45 2020 -0500
          Update string escape sequences
          Some solvers were using escape sequences of the form `\x??` in the past
          where each `?` would stand for a hexadecimal digit. This commit updates
          these escape sequences to match the new strings standard. I have used
          CVC4 commit `82f5610a` to check the syntax.
      commit df3109a0
  5. 26 Jul, 2019 1 commit
  6. 02 May, 2019 2 commits