/dports/math/py-pysmt/pysmt-0.9.0/pysmt/cmd/installers/ |
H A D | btor.py | 36 bindings_dir=bindings_dir, 37 solver_version=solver_version, 59 SolverInstaller.untar(os.path.join(self.base_dir, self.archive_name), 64 directory=self.extract_path) 72 SolverInstaller.run("bash ./configure.sh --python", 80 libdir = os.path.join(self.extract_path, "build", "lib") 90 res = self.get_installed_version_script(self.bindings_dir, "btor") 97 m = re.search('set\(VERSION "(.*)"\)', content)
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/h8300/ |
H A D | h8300-coff.exp | 37 } 39 # This was intended to do any cleanup necessary. It kinda looks like it 58 -re " +\[0-9\]+ 0002 5A000000\[^\n\]*\n" { set x [expr $x+1] } 69 # This was intended to do any cleanup necessary. It kinda looks like it 78 set testname "cbranchh.s: h8300h conditional branch tests" 87 -re " +\[0-9\]+ 0000 4000\[^\n\]*\n" { set x [expr $x+1] } 96 -re " +\[0-9\]+ 0012 4500\[^\n\]*\n" { set x [expr $x+1] } 105 -re " +\[0-9\]+ 0024 4E00\[^\n\]*\n" { set x [expr $x+1] } 127 timeout { perror "timeout\n; break }
|
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/status-im/keycard-go/vendor/github.com/ethereum/go-ethereum/crypto/bn256/cloudflare/ |
H A D | bn256.go | 34 type G1 struct { struct 49 return "bn256.G1" + g.p.String() 54 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 63 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 72 func (e *G1) Add(a, b *G1) *G1 { 81 func (e *G1) Neg(a *G1) *G1 { 90 func (e *G1) Set(a *G1) *G1 { 99 func (e *G1) Marshal() []byte { 308 func Pair(g1 *G1, g2 *G2) *GT { 313 func PairingCheck(a []*G1, b []*G2) bool { [all …]
|
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/crypto/bn256/cloudflare/ |
H A D | bn256.go | 39 type G1 struct { struct 54 return "bn256.G1" + g.p.String() 59 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 68 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 77 func (e *G1) Add(a, b *G1) *G1 { 86 func (e *G1) Neg(a *G1) *G1 { 95 func (e *G1) Set(a *G1) *G1 { 104 func (e *G1) Marshal() []byte { 317 func Pair(g1 *G1, g2 *G2) *GT { 322 func PairingCheck(a []*G1, b []*G2) bool { [all …]
|
/dports/science/votca/votca-2021.2-18560-gfbe18d971/xtp/xtp-2a31d70/src/libxtp/ |
H A D | atom.cc | 51 if (found_element_name && found_element_type) { 69 : Atom(-1, element, atom_id, pos, element) {} 75 if (std::islower(MDName[1])) { 91 table.addCol<std::string>("name", HOFFSET(data, name)); 119 } // namespace xtp
|
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/status-im/keycard-go/vendor/github.com/ethereum/go-ethereum/crypto/bn256/google/ |
H A D | bn256.go | 35 type G1 struct { struct 58 return "bn256.G1" + e.p.String() 62 func (e *G1) CurvePoints() (*big.Int, *big.Int, *big.Int, *big.Int) { 68 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 77 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) ([]byte, error) { 403 func Pair(g1 *G1, g2 *G2) *GT { [all …]
|
/dports/net/grpcui/grpcui-1.1.0/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/mail/mailhog/MailHog-1.0.0/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 30 type G1 struct { struct 53 return "bn256.G1" + g.p.String() 58 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 67 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 77 func (e *G1) Add(a, b *G1) *G1 { 86 func (e *G1) Neg(a *G1) *G1 { 95 func (n *G1) Marshal() []byte { 113 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 367 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/net/goreplay/goreplay-1.2.0/vendor/golang.org/x/crypto/crypto-75b288015ac9/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/devel/gh/cli-2.4.0/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/net/rclone/rclone-1.57.0/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/databases/pg_tileserv/pg_tileserv-1.0.8/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/sysutils/cbsd-mq-api/cbsd-mq-api-0.3/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/sysutils/cbsd-mq-router/cbsd-mq-router-0.2/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/databases/tile38/tile38-1.12.0/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 30 type G1 struct { struct 53 return "bn256.G1" + g.p.String() 58 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 67 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 77 func (e *G1) Add(a, b *G1) *G1 { 86 func (e *G1) Neg(a *G1) *G1 { 95 func (n *G1) Marshal() []byte { 113 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 367 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/sysutils/aptly/aptly-1.4.0/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 34 type G1 struct { struct 57 return "bn256.G1" + e.p.String() 62 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 71 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 81 func (e *G1) Add(a, b *G1) *G1 { 90 func (e *G1) Neg(a *G1) *G1 { 99 func (e *G1) Marshal() []byte { 117 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 371 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/security/vault/vault-1.8.2/vendor/github.com/joyent/triton-go/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 34 type G1 struct { struct 57 return "bn256.G1" + e.p.String() 62 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 71 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 81 func (e *G1) Add(a, b *G1) *G1 { 90 func (e *G1) Neg(a *G1) *G1 { 99 func (e *G1) Marshal() []byte { 117 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 371 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/deskutils/pet/pet-0.4.0/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/security/vault/vault-1.8.2/vendor/github.com/keybase/go-crypto/bn256/ |
H A D | bn256.go | 34 type G1 struct { struct 57 return "bn256.G1" + e.p.String() 62 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 71 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 81 func (e *G1) Add(a, b *G1) *G1 { 90 func (e *G1) Neg(a *G1) *G1 { 99 func (e *G1) Marshal() []byte { 121 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 379 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/security/vault/vault-1.8.2/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/dns/rdap/rdap-e2ea151/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/www/go-www/www-2.0.0/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 34 type G1 struct { struct 57 return "bn256.G1" + e.p.String() 62 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 71 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 81 func (e *G1) Add(a, b *G1) *G1 { 90 func (e *G1) Neg(a *G1) *G1 { 99 func (e *G1) Marshal() []byte { 121 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 379 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/security/certmgr/certmgr-3.0.3/vendor/golang.org/x/crypto/crypto-5c40567a22f8/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/workhorse/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|
/dports/security/totp-cli/totp-cli-1.1.17/vendor/golang.org/x/crypto/bn256/ |
H A D | bn256.go | 36 type G1 struct { struct 60 return "bn256.G1" + newCurvePoint(nil).String() 67 func (e *G1) ScalarBaseMult(k *big.Int) *G1 { 76 func (e *G1) ScalarMult(a *G1, k *big.Int) *G1 { 87 func (e *G1) Add(a, b *G1) *G1 { 96 func (e *G1) Neg(a *G1) *G1 { 105 func (e *G1) Marshal() []byte { 127 func (e *G1) Unmarshal(m []byte) (*G1, bool) { 392 func Pair(g1 *G1, g2 *G2) *GT {
|