Commit efe25958 authored by Clark Barrett's avatar Clark Barrett
Browse files

Squashed commit of the following:

commit 1de2137f
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon Jun 5 17:58:48 2017 +0200

    Fixing README.md

commit abdd9503
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon Jun 5 16:53:41 2017 +0200

    Fixing README.md

commit 66b4caa6
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Thu May 25 23:10:54 2017 +0200

    To version 2.6

commit 1298082a
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon May 22 15:38:40 2017 +0200

    2.0 to 2.5, CRLF to LF

commit baab0fdf
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed May 3 18:20:50 2017 +0200

    Fixing README.md

commit 188d158d
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Thu Apr 20 10:08:29 2017 +0200

    Fixing README.md

commit 7ee4c079
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed Mar 29 13:45:18 2017 +0200

    Fixing README.md

commit e1fff8d1
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Tue Mar 28 16:34:36 2017 +0200

    Fixing README.md
parent ff712f5c
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~ni6527_attach.base| () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~ni_65xx_attach.base| () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~ni_660x_attach.base| () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~ni_670x_attach.base| () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~nidio_attach.base| () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun x_0 () Int)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment