/dports/math/vampire/vampire-4.5.1/VUtils/ |
H A D | SMTLIBConcat.cpp | 192 LispListReader bRdr(benchLst); in addBenchmark() local 193 bRdr.acceptAtom("benchmark"); in addBenchmark() 194 bRdr.acceptAtom(); //benchmark name in addBenchmark() 195 while(bRdr.hasNext()) { in addBenchmark() 196 if(bRdr.tryAcceptAtom(":status")) { in addBenchmark() 197 bRdr.acceptAtom(); in addBenchmark() 199 else if(bRdr.tryAcceptAtom(":source")) { in addBenchmark() 200 if(!bRdr.tryAcceptCurlyBrackets()) { in addBenchmark() 201 bRdr.acceptAtom(); in addBenchmark() 220 LExpr* form = bRdr.readNext(); in addBenchmark() [all …]
|
H A D | Z3InterpolantExtractor.cpp | 592 LispListReader bRdr(parsRdr.readList()); in collectSMTLIB1FileFunctionNames() local 595 bRdr.acceptAtom("benchmark"); in collectSMTLIB1FileFunctionNames() 596 bRdr.acceptAtom(); in collectSMTLIB1FileFunctionNames() 597 while(bRdr.hasNext()) { in collectSMTLIB1FileFunctionNames() 598 if(bRdr.tryAcceptAtom(":status")) { in collectSMTLIB1FileFunctionNames() 599 bRdr.acceptAtom(); in collectSMTLIB1FileFunctionNames() 601 else if(bRdr.tryAcceptAtom(":source")) { in collectSMTLIB1FileFunctionNames() 602 if(!bRdr.tryAcceptCurlyBrackets()) { in collectSMTLIB1FileFunctionNames() 603 bRdr.acceptAtom(); in collectSMTLIB1FileFunctionNames() 615 bRdr.readNext(); in collectSMTLIB1FileFunctionNames() [all …]
|
/dports/math/vampire/vampire-4.5.1/Parse/ |
H A D | SMTLIB.cpp | 117 LispListReader bRdr(bench); in readBenchmark() local 118 bRdr.acceptAtom("benchmark"); in readBenchmark() 119 _benchName = bRdr.readAtom(); in readBenchmark() 121 while(bRdr.hasNext()) { in readBenchmark() 123 _statusStr = bRdr.readAtom(); in readBenchmark() 127 bRdr.acceptAtom(); in readBenchmark() 132 bRdr.acceptAtom(); in readBenchmark() 137 bRdr.acceptAtom(); in readBenchmark() 141 bRdr.acceptAtom(); in readBenchmark() 168 _lispFormula = bRdr.readNext(); in readBenchmark() [all …]
|
H A D | SMTLIB2.cpp | 94 LispListReader bRdr(bench); in readBenchmark() local 97 while(bRdr.hasNext()){ in readBenchmark() 98 LExpr* lexp = bRdr.next(); in readBenchmark() 252 if (bRdr.hasNext()) { in readBenchmark() 253 LispListReader exitRdr(bRdr.readList()); in readBenchmark() 266 bRdr.acceptEOL(); in readBenchmark()
|
/dports/security/vault/vault-1.8.2/vendor/github.com/docker/docker/pkg/archive/ |
H A D | archive_unix_test.go | 105 bRdr := bytes.NewReader(buf) 106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 143 bRdr, err := TarResourceRebase(origin, "origin") 148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 212 bRdr := bytes.NewReader(buf) 213 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/sysutils/istio/istio-1.6.7/vendor/github.com/docker/docker/pkg/archive/ |
H A D | archive_unix_test.go | 104 bRdr := bytes.NewReader(buf) 105 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 142 bRdr, err := TarResourceRebase(origin, "origin") 147 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 213 bRdr := bytes.NewReader(buf) 214 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/databases/cayley/cayley-0.7.5-2-gcf576ba/vendor/github.com/docker/docker/pkg/archive/ |
H A D | archive_unix_test.go | 102 bRdr := bytes.NewReader(buf) 103 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 140 bRdr, err := TarResourceRebase(origin, "origin") 145 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 210 bRdr := bytes.NewReader(buf) 211 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/databases/timescaledb-backup/timescaledb-backup-0.1.1/vendor/github.com/docker/docker/pkg/archive/ |
H A D | archive_unix_test.go | 104 bRdr := bytes.NewReader(buf) 105 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 142 bRdr, err := TarResourceRebase(origin, "origin") 147 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 213 bRdr := bytes.NewReader(buf) 214 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/docker/docker/pkg/archive/ |
H A D | archive_unix_test.go | 106 bRdr := bytes.NewReader(buf) 107 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 144 bRdr, err := TarResourceRebase(origin, "origin") 149 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 214 bRdr := bytes.NewReader(buf) 215 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/sysutils/helm/helm-3.5.2/vendor/github.com/docker/docker/pkg/archive/ |
H A D | archive_unix_test.go | 105 bRdr := bytes.NewReader(buf) 106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 143 bRdr, err := TarResourceRebase(origin, "origin") 148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 212 bRdr := bytes.NewReader(buf) 213 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/devel/gitlab-runner/gitlab-runner-8925d9a06fd8e452e2161a768462652a2a13111f/vendor/github.com/docker/docker/moby-20.10.2/pkg/archive/ |
H A D | archive_unix_test.go | 104 bRdr := bytes.NewReader(buf) 105 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 142 bRdr, err := TarResourceRebase(origin, "origin") 147 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 214 bRdr := bytes.NewReader(buf) 215 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/sysutils/docker/docker-ce-18.09.5/components/engine/pkg/archive/ |
H A D | archive_unix_test.go | 103 bRdr := bytes.NewReader(buf) 104 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 141 bRdr, err := TarResourceRebase(origin, "origin") 146 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 211 bRdr := bytes.NewReader(buf) 212 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/net-mgmt/promscale/promscale-0.6.2/vendor/github.com/docker/docker/pkg/archive/ |
H A D | archive_unix_test.go | 105 bRdr := bytes.NewReader(buf) 106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 143 bRdr, err := TarResourceRebase(origin, "origin") 148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 234 bRdr := bytes.NewReader(buf) 235 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/net-mgmt/prometheus2/prometheus-2.30.3/vendor/github.com/docker/docker/pkg/archive/ |
H A D | archive_unix_test.go | 105 bRdr := bytes.NewReader(buf) 106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 143 bRdr, err := TarResourceRebase(origin, "origin") 148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 234 bRdr := bytes.NewReader(buf) 235 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|
/dports/net-im/dendrite/dendrite-0.5.1/vendor/github.com/docker/docker/pkg/archive/ |
H A D | archive_unix_test.go | 105 bRdr := bytes.NewReader(buf) 106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed}) 143 bRdr, err := TarResourceRebase(origin, "origin") 148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase) 234 bRdr := bytes.NewReader(buf) 235 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
|