| /dports/math/kalker/gmp-mpfr-sys-21966f4bfb56c87d407eb14c72e92ef4e55856aa/mpfr-4.1.0-p13-c/src/ |
| H A D | sub1sp1_extracted.c | 294 lit0.fst = b; in MPFR_Sub1sp1_mpfr_sub1sp1()
295 lit0.snd = c; in MPFR_Sub1sp1_mpfr_sub1sp1()
297 lit0.f3 = cx; in MPFR_Sub1sp1_mpfr_sub1sp1()
298 lit0.f4 = bp; in MPFR_Sub1sp1_mpfr_sub1sp1()
299 lit0.f5 = cp; in MPFR_Sub1sp1_mpfr_sub1sp1()
300 scrut = lit0; in MPFR_Sub1sp1_mpfr_sub1sp1()
315 lit0.fst = c; in MPFR_Sub1sp1_mpfr_sub1sp1()
316 lit0.snd = b; in MPFR_Sub1sp1_mpfr_sub1sp1()
318 lit0.f3 = bx; in MPFR_Sub1sp1_mpfr_sub1sp1()
319 lit0.f4 = cp; in MPFR_Sub1sp1_mpfr_sub1sp1()
[all …]
|
| /dports/math/cadical/cadical-1.0.3-cb89cbf/src/ |
| H A D | watch.cpp | 48 int lit0 = c->literals[0]; in connect_watches() local
50 int tmp0 = val (lit0); in connect_watches()
55 const size_t pos0 = var (lit0).trail; in connect_watches()
58 LOG ("literal %d resets propagated to %zd", lit0, pos0); in connect_watches()
|
| H A D | vivify.cpp | 505 const int lit0 = clause[0], val0 = val (lit0); in vivify_strengthen() local
507 const int level0 = var (lit0).level; in vivify_strengthen()
508 LOG ("1st watch %d negative at level %d", lit0, level0); in vivify_strengthen()
514 !(val0 > 0 && var (lit0).level <= var (lit1).level)) { in vivify_strengthen()
522 assert (val (lit0) >= 0); in vivify_strengthen()
524 (val (lit0) > 0 && in vivify_strengthen()
526 var (lit0).level <= var (lit1).level)); in vivify_strengthen()
|
| /dports/devel/elfutils/elfutils-0.179/tests/ |
| H A D | run-readelf-discr.sh | 150 [ 1] lit0
167 [22] lit0
173 [ 1] lit0
180 [11] lit0
190 [28] lit0
302 [ 8] lit0
306 [14] lit0
|
| H A D | run-varlocs.sh | 581 [401050,40106e) {lit0, stack_value}
584 [401095,40109c) {lit0, stack_value}
599 [401180,401189) {lit0, stack_value}
601 [4011a0,4011a1) {lit0, stack_value}
|
| H A D | run-readelf-loc.sh | 1075 [ 0] lit0
1084 [ 0] lit0
1128 [ 0] lit0
1144 [ 0] lit0
|
| /dports/devel/gdb/gdb-11.1/gdb/testsuite/gdb.compile/ |
| H A D | compile-ops.exp | 38 lit0
44 lit0
344 lit0
350 lit0
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/spacer/ |
| H A D | spacer_proof_utils.cpp | 111 bool process_lit(scaled_lit &lit0) { in process_lit() argument
113 app* lit = lit0.lit; in process_lit()
114 rational &coeff = lit0.coeff; in process_lit()
115 bool is_pos = lit0.is_pos; in process_lit()
251 static expr_ref get_coeff(expr *lit0, expr_ref &var) { in get_coeff() argument
256 if (!m.is_not(lit0, lit)) lit = lit0; in get_coeff()
300 expr_ref lit0(m); in mk_fk_from_ab() local
301 lit0 = m.get_fact(parents.get(0)); in mk_fk_from_ab()
308 tout << "lit0 is: " << lit0 << "\n" in mk_fk_from_ab()
312 val1 = get_coeff(lit0, var); in mk_fk_from_ab()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/ |
| H A D | spacer_proof_utils.cpp | 111 bool process_lit(scaled_lit &lit0) { in process_lit() argument
113 app* lit = lit0.lit; in process_lit()
114 rational &coeff = lit0.coeff; in process_lit()
115 bool is_pos = lit0.is_pos; in process_lit()
251 static expr_ref get_coeff(expr *lit0, expr_ref &var) { in get_coeff() argument
256 if (!m.is_not(lit0, lit)) lit = lit0; in get_coeff()
300 expr_ref lit0(m); in mk_fk_from_ab() local
301 lit0 = m.get_fact(parents.get(0)); in mk_fk_from_ab()
308 tout << "lit0 is: " << lit0 << "\n" in mk_fk_from_ab()
312 val1 = get_coeff(lit0, var); in mk_fk_from_ab()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/tactic/ |
| H A D | sat2goal.cpp | 72 sat::literal lit0 = clause[0]; in flush_gmc() local
76 def = m.mk_or(lit2expr(lit0), mk_and(tail)); in flush_gmc()
77 if (lit0.sign()) { in flush_gmc()
78 lit0.neg(); in flush_gmc()
81 expr_ref e = lit2expr(lit0); in flush_gmc()
|
| /dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
| H A D | implied_bounds.cc | 277 Literal lit0 = size2_enc[0].literal; in TryToReconcileEncodings() local
285 std::swap(lit0, lit1); in TryToReconcileEncodings()
288 if (candidate_literal != lit0) continue; in TryToReconcileEncodings()
293 const IntegerValue energy = literal == lit0 in TryToReconcileEncodings()
303 const IntegerValue energy = literal == lit0 in TryToReconcileEncodings()
|
| /dports/math/vampire/vampire-4.5.1/Inferences/ |
| H A D | HyperSuperposition.cpp | 298 Literal* lit0 = (*cl)[i]; in tryUnifyingSuperpositioins() local
301 ASS_EQ(lit0, t1); in tryUnifyingSuperpositioins()
305 Literal* lSubst = subst.apply(lit0, 0); in tryUnifyingSuperpositioins()
311 Literal* lSubst = subst.apply(lit0, 0); in tryUnifyingSuperpositioins()
|
| /dports/net-mgmt/bosun/bosun-0.9.0-preview/vendor/github.com/influxdata/influxql/ |
| H A D | scanner.go | 203 tok0, pos0, lit0 := s.scanString()
205 return tok0, pos0, lit0
207 return IDENT, pos, lit0
|
| /dports/editors/madedit/madedit-0.2.9/src/MadEdit/ |
| H A D | MadEditSearch.cpp | 414 UCIterator(wxFileOffset pos0, const MadLineIterator &lit0, wxFileOffset linepos0) in UCIterator()
415 :pos(pos0), lit(lit0), linepos(linepos0) in UCIterator()
960 ByteIterator(wxFileOffset pos0, const MadLineIterator &lit0, wxFileOffset linepos0) in ByteIterator()
961 :pos(pos0), lit(lit0), linepos(linepos0) in ByteIterator()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/libgo/go/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/lang/gcc8/gcc-8.5.0/libgo/go/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libgo/go/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/libgo/go/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libgo/go/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/lang/gnat_util/gcc-6-20180516/libgo/go/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/libgo/go/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/libgo/go/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/llgo/third_party/gofrontend/libgo/go/go/scanner/ |
| H A D | scanner_test.go | 643 _, tok0, lit0 := s.Scan()
647 if tok0 != token.ILLEGAL && lit0 != lit {
648 t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
|
| /dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gdb/gdb/ |
| H A D | dwarf2loc.c | 284 static char lit0 = DW_OP_lit0; in needs_frame_frame_base() local
287 *start = &lit0; in needs_frame_frame_base()
|