Home
last modified time | relevance | path

Searched +refs:emit +refs:sc +refs:form +refs:inst (Results 1 – 25 of 210) sorted by relevance

123456789

/dports/math/abella/abella-2.0.7/src/
H A Dtactics.ml94 let emit x xv = bindings := (x, xv) :: !bindings in
100 emit v.name (Term.var Constant candidate 0 v.ty) ;
207 (* inst t1 with n = t2 *)
332 | Some sc -> Some(stateless_case_to_case sc)
781 let rec select_non_cpairs emit list =
785 select_non_cpairs (Metaterm.map_terms Term.deep_copy body :: emit) rest
786 | _::rest -> select_non_cpairs emit rest
787 | [] -> emit
972 occurring in hypotheses of the form 'member F L' *)
1033 … ~sc:(fun w -> async_obj_aux_conj n gs r ts ~sc:(fun ws -> sc (w::ws)) ~witnesses:ws)
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/subzero/src/
H A DIceClFlags.def103 cl::desc("Accept textual form of PNaCl bitcode " \
156 X(EmitRevision, bool, dev_opt_flag, "emit-revision", \
162 X(EnableShortCircuit, bool, dev_opt_flag, "enable-sc", \
174 X(SplitInstString, std::string, dev_opt_flag, "split-inst", \
360 clEnumValN(Ice::IceV_Instructions, "inst", \
/dports/editors/emacs-devel/emacs-4d1968b/doc/misc/
H A Dcl.texi891 form is a regular Lisp variable. But the @sc{car}s and @sc{cdr}s of lists,
3310 @sc{car}s of the advancing pointers.
3749 @var{y} are both cons cells, their @sc{car}s and @sc{cdr}s are
3770 on, and compares against @var{old}, both @sc{car}s and @sc{cdr}s
3796 function, if any), is compared with the @sc{car}s of
3798 @sc{cdr}.
3835 any of its @sc{cdr}s.
4317 @defun cl-struct-slot-value struct-type slot-name inst
4318 Return the value of slot @code{slot-name} in @code{inst} of
4320 @code{inst} is a structure instance. This routine is also a
[all …]
/dports/editors/emacs/emacs-27.2/doc/misc/
H A Dcl.texi898 form is a regular Lisp variable. But the @sc{car}s and @sc{cdr}s of lists,
3311 @sc{car}s of the advancing pointers.
3746 @var{y} are both cons cells, their @sc{car}s and @sc{cdr}s are
3767 on, and compares against @var{old}, both @sc{car}s and @sc{cdr}s
3793 function, if any), is compared with the @sc{car}s of
3795 @sc{cdr}.
3830 any of its @sc{cdr}s.
4312 @defun cl-struct-slot-value struct-type slot-name inst
4313 Return the value of slot @code{slot-name} in @code{inst} of
4315 @code{inst} is a structure instance. This routine is also a
[all …]
/dports/lang/gnatdroid-binutils-x86/binutils-2.27/
H A Dmd5.sum1479 494301b4f85bccf9d5e4035a58bce47e gas/config/vax-inst.h
2657 d09295209602fed0411ed5915d4a5cf6 gas/testsuite/gas/arm/inst-po.d
2659 2b204df73bd24815d3273e9ec65083f8 gas/testsuite/gas/arm/inst.d
2660 9e877a458d1c1630941383bece8ee9bb gas/testsuite/gas/arm/inst.s
3721 0004da131d3e5488db3b4b89bd259250 gas/testsuite/gas/d10v/inst.d
3722 bbe173f89d3ad611d31b7cf43d88291c gas/testsuite/gas/d10v/inst.s
3793 748040da85ada059191e19f00e2488f6 gas/testsuite/gas/d30v/inst.d
3794 39cdbdd6bd65bb5930b303daa6d76dcd gas/testsuite/gas/d30v/inst.s
5522 8776893d98fcb46514ef9f34fa7f0e9c gas/testsuite/gas/i860/form.d
5523 25dc56533faa254aa5b6b15fd9469565 gas/testsuite/gas/i860/form.s
[all …]
/dports/lang/gnatdroid-binutils/binutils-2.27/
H A Dmd5.sum1479 494301b4f85bccf9d5e4035a58bce47e gas/config/vax-inst.h
2657 d09295209602fed0411ed5915d4a5cf6 gas/testsuite/gas/arm/inst-po.d
2659 2b204df73bd24815d3273e9ec65083f8 gas/testsuite/gas/arm/inst.d
2660 9e877a458d1c1630941383bece8ee9bb gas/testsuite/gas/arm/inst.s
3721 0004da131d3e5488db3b4b89bd259250 gas/testsuite/gas/d10v/inst.d
3722 bbe173f89d3ad611d31b7cf43d88291c gas/testsuite/gas/d10v/inst.s
3793 748040da85ada059191e19f00e2488f6 gas/testsuite/gas/d30v/inst.d
3794 39cdbdd6bd65bb5930b303daa6d76dcd gas/testsuite/gas/d30v/inst.s
5522 8776893d98fcb46514ef9f34fa7f0e9c gas/testsuite/gas/i860/form.d
5523 25dc56533faa254aa5b6b15fd9469565 gas/testsuite/gas/i860/form.s
[all …]
/dports/lang/sdcc/sdcc-4.0.0/support/sdbinutils/
H A Dmd5.sum2829 25dc56533faa254aa5b6b15fd9469565 gas/testsuite/gas/i860/form.s
2837 8776893d98fcb46514ef9f34fa7f0e9c gas/testsuite/gas/i860/form.d
2917 748040da85ada059191e19f00e2488f6 gas/testsuite/gas/d30v/inst.d
2925 39cdbdd6bd65bb5930b303daa6d76dcd gas/testsuite/gas/d30v/inst.s
4436 d09295209602fed0411ed5915d4a5cf6 gas/testsuite/gas/arm/inst-po.d
4739 2b204df73bd24815d3273e9ec65083f8 gas/testsuite/gas/arm/inst.d
4882 9e877a458d1c1630941383bece8ee9bb gas/testsuite/gas/arm/inst.s
5547 0004da131d3e5488db3b4b89bd259250 gas/testsuite/gas/d10v/inst.d
5576 bbe173f89d3ad611d31b7cf43d88291c gas/testsuite/gas/d10v/inst.s
10841 f621cba33ba85507fd0575370aaf1d85 gas/config/vax-inst.h
[all …]
/dports/games/flightgear-data/fgdata/Docs/
H A DNasal-doc.tex811 \Tree [.{{\sc Tok\_Top}}
812 [.{{\sc Tok\_Semi}}
813 [.{{\sc Tok\_Assign}}
818 [.{{\sc Tok\_Semi}}
819 [.{{\sc Tok\_Assign}}
865 emit(p, val);
866 emit(p, arg);
903 emit(p, op);
905 emit(p, 0xffff); // dummy address
935 emit(p, OP_PUSHNIL);
[all …]
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gdb/gdb/doc/
H A Dgdb.texinfo8292 stabs+. Most configurations of @value{NGCC} emit either DWARF 2 or
15594 inst="mov 2, %o0"@},
15596 inst="sethi %hi(0x11800), %o2"@},
15600 inst="sethi %hi(0x11800), %o2"@},
15613 inst="save %sp, -112, %sp"@},
15615 inst="mov 2, %o0"@},
15617 inst="sethi %hi(0x11800), %o2"@},
15631 inst="save %sp, -112, %sp"@},
15633 inst="mov 2, %o0"@},
15649 inst="save %sp, -112, %sp"@}]@},
[all …]
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gdb/gdb/doc/
H A Dgdb.texinfo8292 stabs+. Most configurations of @value{NGCC} emit either DWARF 2 or
15594 inst="mov 2, %o0"@},
15596 inst="sethi %hi(0x11800), %o2"@},
15600 inst="sethi %hi(0x11800), %o2"@},
15613 inst="save %sp, -112, %sp"@},
15615 inst="mov 2, %o0"@},
15617 inst="sethi %hi(0x11800), %o2"@},
15631 inst="save %sp, -112, %sp"@},
15633 inst="mov 2, %o0"@},
15649 inst="save %sp, -112, %sp"@}]@},
[all …]
/dports/devel/avr-gdb/gdb-7.3.1/gdb/doc/
H A Dgdb.texinfo22040 details of the events they emit:
28114 inst="mov 2, %o0"@},
28116 inst="sethi %hi(0x11800), %o2"@},
28120 inst="sethi %hi(0x11800), %o2"@},
28133 inst="save %sp, -112, %sp"@},
28135 inst="mov 2, %o0"@},
28137 inst="sethi %hi(0x11800), %o2"@},
28151 inst="save %sp, -112, %sp"@},
28153 inst="mov 2, %o0"@},
28169 inst="save %sp, -112, %sp"@}]@},
[all …]
/dports/devel/djgpp-binutils/binutils-2.17/
H A Dmd5.sum1001 44d02519ce59bb2f18cd83043216746d gas/config/vax-inst.h
1392 f8708c92913f5358faaa1af7163faf70 gas/testsuite/gas/arm/inst.d
1393 349fa5f51ab1c1f651b57e3f0ea01bc5 gas/testsuite/gas/arm/inst.s
1930 0004da131d3e5488db3b4b89bd259250 gas/testsuite/gas/d10v/inst.d
1931 bbe173f89d3ad611d31b7cf43d88291c gas/testsuite/gas/d10v/inst.s
2002 748040da85ada059191e19f00e2488f6 gas/testsuite/gas/d30v/inst.d
2504 8776893d98fcb46514ef9f34fa7f0e9c gas/testsuite/gas/i860/form.d
2505 25dc56533faa254aa5b6b15fd9469565 gas/testsuite/gas/i860/form.s
4652 a97c1ddfbda3297f08c99fb2d6c2172e intl/intlh.inst.in
5741 6a24bf2c11edfd744205734d0d2776f1 ld/testsuite/ld-i386/emit-relocs.d
[all …]
/dports/devel/gdb761/gdb-7.6.1/gdb/doc/
H A Dgdb.texinfo10586 do not emit two required attributes (@samp{DW_AT_call_file} and
24516 details of the events they emit:
31455 @item inst
31460 bytes for the @samp{inst} field.
31512 inst="mov 2, %o0"@},
31514 inst="sethi %hi(0x11800), %o2"@},
31531 inst="save %sp, -112, %sp"@},
31533 inst="mov 2, %o0"@},
31535 inst="sethi %hi(0x11800), %o2"@},
31549 inst="save %sp, -112, %sp"@},
[all …]
/dports/devel/gdb/gdb-11.1/gdb/doc/
H A Dgdb.texinfo6419 on @sc{gnu}/Linux systems. On non-Posix systems the form of the regular
13841 do not emit two required attributes (@samp{DW_AT_call_file} and
25169 does not emit the DWARF-2 calling convention entry for a function.
29276 simplest way is for frontend to emit @code{-thread-select} command
29884 emit this notification several times, either for different threads,
33858 @item inst
33915 inst="mov 2, %o0"@},
33934 inst="save %sp, -112, %sp"@},
33936 inst="mov 2, %o0"@},
33952 inst="save %sp, -112, %sp"@},
[all …]
/dports/devel/eric6/eric6-21.11/eric/eric6/APIs/Python/
H A Dzope-2.11.2.api212 AccessControl.Role.instance_attrs?4(inst)
213 AccessControl.Role.instance_dict?4(inst)
1431 DateTime.DateTime._calcDependentSecond2?5(yr, mo, dy, hr, mn, sc)
6016 Testing.ZopeTestCase.ZopeLite.NullHandler.emit?4(record)
6967 ZConfig.components.logger.loghandler.NullHandler.emit?4(record)
18692 zope.datetime._calcDependentSecond2?5(yr, mo, dy, hr, mn, sc)
23828 zope.tal.talgenerator.TALGenerator.emit?4(*instruction)
23894 zope.tal.talinterpreter.AltTALGenerator.emit?4(*args)
24491 zope.testing.loggingsupport.Handler.emit?4(record)
24500 zope.testing.loghandler.Handler.emit?4(record)
[all …]
H A Dzope-2.10.7.api210 AccessControl.Role.instance_attrs?4(inst)
211 AccessControl.Role.instance_dict?4(inst)
1390 DateTime.DateTime._calcDependentSecond2?5(yr, mo, dy, hr, mn, sc)
7112 Testing.ZopeTestCase.ZopeLite.NullHandler.emit?4(record)
8059 ZConfig.components.logger.loghandler.NullHandler.emit?4(record)
21787 zope.datetime._calcDependentSecond2?5(yr, mo, dy, hr, mn, sc)
26623 zope.tal.talgenerator.TALGenerator.emit?4(*instruction)
26689 zope.tal.talinterpreter.AltTALGenerator.emit?4(*args)
27280 zope.testing.loggingsupport.Handler.emit?4(record)
27289 zope.testing.loghandler.Handler.emit?4(record)
[all …]
H A Dzope-3.3.1.api9095 twisted.flow.base.Unsupported?1(inst)
9134 twisted.flow.stage.Instruction?1(inst)
14446 twisted.python.finalize.register?4(inst)
14544 twisted.python.log.FileLogObserver.emit?4(eventDict)
14802 twisted.python.syslog.SyslogObserver.emit?4(eventDict)
25858 zope.datetime._calcDependentSecond2?5(yr, mo, dy, hr, mn, sc)
30700 zope.tal.talgenerator.TALGenerator.emit?4(*instruction)
30766 zope.tal.talinterpreter.AltTALGenerator.emit?4(*args)
31350 zope.testing.loggingsupport.Handler.emit?4(record)
31359 zope.testing.loghandler.Handler.emit?4(record)
[all …]
/dports/www/py-freenit/freenit-0.1.25/freenit/static/swaggerui/
H A Dswagger-ui-bundle.js.map1 …form-data/lib/browser.js","webpack:///./node_modules/fast-json-patch/lib/duplex.js","webpack:///./…
/dports/net-mgmt/netdisco/App-Netdisco-2.047002/share/public/swagger-ui/
H A Dswagger-ui-bundle.js.map1 …form-data/lib/browser.js","webpack:///./node_modules/fast-json-patch/lib/duplex.js","webpack:///./…
/dports/lang/smalltalk/smalltalk-3.2.5/packages/seaside/core/
H A DSeaside-Core.st2781 ^'form'
4297 form [
4980 form [
9188 srd||sc|Sardinian|sarde
11252 form ifNotNil: [:foo | self removeDecoration: form]
11369 contact := Contact new. "contact is an inst var"
11558 (html form)
11757 html form:
11998 html form:
12867 - #renderContentOn: to emit xhtml around the decorated component. Call #renderOwnerOn: to let the o…
[all …]
/dports/www/py-flask-restx/flask-restx-0.5.1/flask_restx/static/
H A Dswagger-ui-bundle.js.map1 …inst","hostInst","_hostNode","precacheChildNodes","_flags","hasCachedChildNodes","children","_rend…
H A Dswagger-ui-es-bundle.js.map1 …inst","hostInst","_hostNode","precacheChildNodes","_flags","hasCachedChildNodes","children","_rend…
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/status-im/keycard-go/vendor/github.com/ethereum/go-ethereum/dashboard/
H A Dassets.go15918 function sc(a) {
17185 var t = sc(h);
17255 if (sc(f)) return E(a, d, f, h);
19244 if (d !== a && d.form === a.form) {
19584 return inst && (inst.tag === HostComponent || inst.tag === HostText) ? inst : null;
19598 inst = inst.return;
19617 for (var path = []; inst; ) path.push(inst), inst = getParent(inst);
20216 if (otherNode !== rootNode && otherNode.form === rootNode.form) {
20451 for (;inst.return; ) inst = inst.return;
25298 form: "form",
[all …]
/dports/textproc/py-gensim/gensim-4.0.1/gensim/test/test_data/
H A Dhead500.noblanks.cor5 …form serv basi form correspond close hebrew aleph ancient greek adopt alphabet glottal stop letter…
12 …form synchronis univers time begin drift oper tai frequenc standard weight averag time atom clock …
30 …form point life-cycl famou organ amoeba proteu amoeba various describ close rel organ similar amoe…
71 …form argument form invalid rare case argument instanti valid form effect mean argument form give g…
137 …form twelv labour heracl associ pour river nearbi constel capricornu sourc myth augean stabl form …
185 …form argon inert condit form confirm stabl compound room temperatur argon nobl ga capabl form comp…
187 …form stabl form antimoni blue-whit metalloid yellow black antimoni unstabl non-met antimoni paint …
189 …emit intens gamma rai creat exposur problem handl element americium fissil critic mass unreflect s…
191 …form chemic compound wurtz dalton addit valid particl theori extens atom theori occur botanist rob…
219 …form compound umbel root word umbrella obviou reason member small flower radial symmetr small sepa…
[all …]
/dports/lang/guile2/guile-2.2.7/
H A DChangeLog3517 (emit-br-if-f64-<=, emit-br-if-f64->, emit-br-if-f64->=): Export.
8428 * module/system/vm/assembler.scm (emit-uadd, emit-usub, emit-umul): New
37900 am/pre-inst-guile.
65501 replace sc-expand with sc-expand3, removing binding for sc-expand3
65503 * module/ice-9/psyntax.scm (sc-expand3): Replace sc-expand with
65938 (sc-expand, sc-expand3, sc-chi, install-global-transformer)
66582 * am/pre-inst-guile:
71030 add gdb-pre-inst-guile
71032 * gdb-pre-inst-guile.in: Add gdb-pre-inst-guile, because I'm tired of
73441 make pre-inst-guile use pre-inst-guile-env
[all …]

123456789