| /dports/devel/llvm12/llvm-project-12.0.1.src/mlir/docs/Rationale/ |
| H A D | RationaleLinalgDialect.md | 11 This document describes the key design principles
42 be able to **use the primitive** when possible *and* generate code otherwise.
121 - [LIFT](https://www.lift-project.org/),
174 [LIFT](https://www.lift-project.org/) is a system to write computational
179 rules](https://www.lift-project.org/presentations/2015/ICFP-2015.pdf) that
197 [sparse](https://www.lift-project.org/publications/2016/harries16sparse.pdf)
199 arrays](https://www.lift-project.org/publications/2019/pizzuti19positiondependentarrays.pdf).
327 generate efficient code from domain-specific languages such as
418 - develop a set of key transformations, and
586 This is a key design principle of polyhedral IRs such as
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/docs/Rationale/ |
| H A D | RationaleLinalgDialect.md | 11 This document describes the key design principles
42 be able to **use the primitive** when possible *and* generate code otherwise.
121 - [LIFT](https://www.lift-project.org/),
174 [LIFT](https://www.lift-project.org/) is a system to write computational
179 rules](https://www.lift-project.org/presentations/2015/ICFP-2015.pdf) that
197 [sparse](https://www.lift-project.org/publications/2016/harries16sparse.pdf)
199 arrays](https://www.lift-project.org/publications/2019/pizzuti19positiondependentarrays.pdf).
327 generate efficient code from domain-specific languages such as
418 - develop a set of key transformations, and
586 This is a key design principle of polyhedral IRs such as
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/mlir/docs/Rationale/ |
| H A D | RationaleLinalgDialect.md | 11 This document describes the key design principles
42 be able to **use the primitive** when possible *and* generate code otherwise.
121 - [LIFT](https://www.lift-project.org/),
174 [LIFT](https://www.lift-project.org/) is a system to write computational
179 rules](https://www.lift-project.org/presentations/2015/ICFP-2015.pdf) that
197 [sparse](https://www.lift-project.org/publications/2016/harries16sparse.pdf)
199 arrays](https://www.lift-project.org/publications/2019/pizzuti19positiondependentarrays.pdf).
327 generate efficient code from domain-specific languages such as
418 - develop a set of key transformations, and
586 This is a key design principle of polyhedral IRs such as
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/docs/Rationale/ |
| H A D | RationaleLinalgDialect.md | 11 This document describes the key design principles
42 be able to **use the primitive** when possible *and* generate code otherwise.
121 - [LIFT](https://www.lift-project.org/),
174 [LIFT](https://www.lift-project.org/) is a system to write computational
179 rules](https://www.lift-project.org/presentations/2015/ICFP-2015.pdf) that
197 [sparse](https://www.lift-project.org/publications/2016/harries16sparse.pdf)
199 arrays](https://www.lift-project.org/publications/2019/pizzuti19positiondependentarrays.pdf).
327 generate efficient code from domain-specific languages such as
418 - develop a set of key transformations, and
586 This is a key design principle of polyhedral IRs such as
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/mlir/docs/Rationale/ |
| H A D | RationaleLinalgDialect.md | 11 This document describes the key design principles
42 be able to **use the primitive** when possible *and* generate code otherwise.
121 - [LIFT](https://www.lift-project.org/),
174 [LIFT](https://www.lift-project.org/) is a system to write computational
179 rules](https://www.lift-project.org/presentations/2015/ICFP-2015.pdf) that
197 [sparse](https://www.lift-project.org/publications/2016/harries16sparse.pdf)
199 arrays](https://www.lift-project.org/publications/2019/pizzuti19positiondependentarrays.pdf).
327 generate efficient code from domain-specific languages such as
418 - develop a set of key transformations, and
586 This is a key design principle of polyhedral IRs such as
[all …]
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/mlir/docs/Rationale/ |
| H A D | RationaleLinalgDialect.md | 11 This document describes the key design principles
42 be able to **use the primitive** when possible *and* generate code otherwise.
121 - [LIFT](https://www.lift-project.org/),
174 [LIFT](https://www.lift-project.org/) is a system to write computational
179 rules](https://www.lift-project.org/presentations/2015/ICFP-2015.pdf) that
197 [sparse](https://www.lift-project.org/publications/2016/harries16sparse.pdf)
199 arrays](https://www.lift-project.org/publications/2019/pizzuti19positiondependentarrays.pdf).
327 generate efficient code from domain-specific languages such as
418 - develop a set of key transformations, and
586 This is a key design principle of polyhedral IRs such as
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | stx-trans.scrbl | 325 For a particular @tech{internal-definition context}, generate a unique
449 [lift-ctx any/c (gensym 'lifts)])
480 [lift-ctx any/c (gensym 'lifts)])
868 a lift target is available, as indicated by
881 @defproc[(syntax-local-lift-context)
894 @defproc[(syntax-local-lift-module [stx syntax?])
954 @racket[syntax-local-lift-require], and then
1204 @defproc[(make-interned-syntax-introducer [key (and/c symbol? symbol-interned?)])
1208 @racket[make-interned-syntax-introducer] with the same @racket[key] will produce procedures that fl…
1224 #:changed "8.2.0.4" @elem{Added the constraint that @racket[key] is @tech{interned}.}]}
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/scribble-lib/scribble/ |
| H A D | base-render.rkt | 176 #:key car))))
256 (define/private (extract-content d lift-proc)
260 (define lifted (lift-proc b loop))
416 ;; v is a search key; see if any key in the set was resolved:
516 key)
660 (let ([t (generate-tag t ci)])
727 (let ([t (generate-tag (target-element-tag i) ci)])
735 `(index-entry ,(generate-tag (index-element-tag i) ci))
1139 (make-table plain (generate-toc part
1160 (define/private (generate-toc part ri base-len skip? quiet depth prefixes)
[all …]
|
| H A D | struct.rkt | 128 ; generate-tag tag-key current-tag-prefixes add-current-tag-prefix
137 info-key? part-collected-info collect-put!
419 ;; lift nested attributes out:
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/salsa-0.17.0-pre.2/book/src/rfcs/ |
| H A D | RFC0006-Dynamic-Databases.md | 72 fn derived(&self, key: usize) -> usize;
76 key * 2
96 The primary goal of this RFC is to make it so that the glue code we generate for
224 fn input_string(&self, key: ()) -> Arc<String>;
226 fn length(&self, key: ()) -> usize;
266 /// Identifies the key within the query.
315 let _ = (db, cycle, key);
463 generic parameters. But it would be good to lift in the future, especially as we
475 When `#[salsa::query_group]` is applied to a trait, we currently generate a copy
486 will generate a trait like:
[all …]
|
| /dports/devel/texlab/texlab-3.3.0/cargo-crates/salsa-0.15.2/book/src/rfcs/ |
| H A D | RFC0006-Dynamic-Databases.md | 72 fn derived(&self, key: usize) -> usize;
76 key * 2
96 The primary goal of this RFC is to make it so that the glue code we generate for
224 fn input_string(&self, key: ()) -> Arc<String>;
226 fn length(&self, key: ()) -> usize;
266 /// Identifies the key within the query.
315 let _ = (db, cycle, key);
463 generic parameters. But it would be good to lift in the future, especially as we
475 When `#[salsa::query_group]` is applied to a trait, we currently generate a copy
486 will generate a trait like:
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/salsa/book/src/rfcs/ |
| H A D | RFC0006-Dynamic-Databases.md | 72 fn derived(&self, key: usize) -> usize;
76 key * 2
96 The primary goal of this RFC is to make it so that the glue code we generate for
224 fn input_string(&self, key: ()) -> Arc<String>;
226 fn length(&self, key: ()) -> usize;
266 /// Identifies the key within the query.
315 let _ = (db, cycle, key);
463 generic parameters. But it would be good to lift in the future, especially as we
475 When `#[salsa::query_group]` is applied to a trait, we currently generate a copy
486 will generate a trait like:
[all …]
|
| /dports/lang/racket/racket-8.3/collects/pkg/private/ |
| H A D | stage.rkt | 246 (lift-git-directory-content tmp-dir path)]
322 (lift-git-directory-content tmp-dir path)
395 (lift-directory-content tmp-dir path))
650 (generate-stripped-directory strip-mode pkg-path pkg-path)
661 (generate-stripped-directory strip-mode pkg-path pkg-dir))
831 (andmap (λ (b) (hash-has-key? b 'name)) branches)
832 (andmap (λ (b) (hash-has-key? b 'commit)) branches))
913 (define (lift-git-directory-content tmp-dir path)
920 (lift-directory-content tmp-dir path)))
|
| /dports/lang/racket-minimal/racket-8.3/collects/pkg/private/ |
| H A D | stage.rkt | 246 (lift-git-directory-content tmp-dir path)]
322 (lift-git-directory-content tmp-dir path)
395 (lift-directory-content tmp-dir path))
650 (generate-stripped-directory strip-mode pkg-path pkg-path)
661 (generate-stripped-directory strip-mode pkg-path pkg-dir))
831 (andmap (λ (b) (hash-has-key? b 'name)) branches)
832 (andmap (λ (b) (hash-has-key? b 'commit)) branches))
913 (define (lift-git-directory-content tmp-dir path)
920 (lift-directory-content tmp-dir path)))
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/docs/Dialects/ |
| H A D | Linalg.md | 18 The following key transformations have been central to driving the design of
24 work. Still, it is useful to at least the key transformations that are
39 generic properties that enable [key transformations](#key_transformations),
141 [sparse](https://www.lift-project.org/publications/2016/harries16sparse.pdf)
143 arrays](https://www.lift-project.org/publications/2019/pizzuti19positiondependentarrays.pdf),
224 The key idea of legality of loop transformations expressed by Kennedy is
431 loops that has proven to be key in simplifying transformations.
446 The key implication is that this conversion to deep predication needs to be
545 [sparse](https://www.lift-project.org/publications/2016/harries16sparse.pdf)
547 arrays](https://www.lift-project.org/publications/2019/pizzuti19positiondependentarrays.pdf).
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | module.rkt | 24 "lift-context.rkt"
25 "lift-key.rkt"
274 ;; For `syntax-local-lift-module-end-declaration`, which is accumulated
321 … [lift-key #:parent root-expand-context (generate-lift-key)]
322 [lifts (make-lift-context
326 [module-lifts (make-module-lift-context phase #t)]
327 [require-lifts (make-require-lift-context
332 [to-module-lifts (make-to-module-lift-context
368 [to-module-lifts (make-to-module-lift-context phase
487 [require-lifts (make-require-lift-context
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | module.rkt | 24 "lift-context.rkt"
25 "lift-key.rkt"
274 ;; For `syntax-local-lift-module-end-declaration`, which is accumulated
321 … [lift-key #:parent root-expand-context (generate-lift-key)]
322 [lifts (make-lift-context
326 [module-lifts (make-module-lift-context phase #t)]
327 [require-lifts (make-require-lift-context
332 [to-module-lifts (make-to-module-lift-context
368 [to-module-lifts (make-to-module-lift-context phase
487 [require-lifts (make-require-lift-context
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-cheat/ |
| H A D | racket-cheat.scrbl | 150 …cribblings/reference/reference.scrbl")]{keyword args} @racket[(_fn _arg1 #:key _arg2)] @LB @racket…
154 (λ (x #:req key) (+ x key)) #,LB
155 (λ (x #:opt [key 1]) (+ x key))])
229 @racket[hash? hash-ref hash-has-key? hash-count in-hash in-hash-keys in-hash-values])
256 @racket[hash? hash-ref hash-has-key? hash-count in-hash in-hash-keys in-hash-values])
359 …@racket[syntax-source syntax-line #,MORE syntax->datum datum->syntax generate-temporaries format-i…
361 …transformer local-expand syntax-local-value syntax-local-name syntax-local-lift-expression #,MORE])
|
| /dports/lang/racket/racket-8.3/collects/racket/private/ |
| H A D | kw.rkt | 24 "kw-prop-key.rkt"
226 (define (generate-arity-string proc)
402 ;; (This macro is used with lift-values-expression, so that the same constructor
855 (syntax-local-lift-values-expression
898 (generate-proc-id local-name #f)]
902 (generate-proc-id default #f)]))
1201 (generate-direct
1258 #,(generate-direct
1345 [lift-args (lambda (k)
1347 ;; caller didn't lift expressions out
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/private/ |
| H A D | kw.rkt | 24 "kw-prop-key.rkt"
226 (define (generate-arity-string proc)
402 ;; (This macro is used with lift-values-expression, so that the same constructor
855 (syntax-local-lift-values-expression
898 (generate-proc-id local-name #f)]
902 (generate-proc-id default #f)]))
1201 (generate-direct
1258 #,(generate-direct
1345 [lift-args (lambda (k)
1347 ;; caller didn't lift expressions out
[all …]
|
| /dports/games/freedroid/freedroid-1.0.2/ |
| H A D | TODO | 74 - DONE Lift: show level-change in lift: probably just some
194 bequem einstellen kann: Use ESCAPE key to access menu
302 - more mouse-support in Konsole, lift + menu
321 - force "release key" instead of waiting for it
342 - generate 3D rotation models for droids and use them in show_droid_info!
|
| /dports/lang/racket/racket-8.3/doc/reference/ |
| H A D | blueboxes.rktd | 4193 (sequence-generate* seq)
5638 (generate-member-key) -> member-name-key?
7118 #:generate generate
7417 contract-random-generate-fail : contract-random-generate-fail?
9048 lift-ctx : any/c = (gensym 'lifts)
9061 lift-ctx : any/c = (gensym 'lifts)
9151 (syntax-local-lift-values-expression n stx)
9156 (syntax-local-lift-context) -> any/c
9158 (syntax-local-lift-module stx) -> void?
9164 (syntax-local-lift-require raw-require-spec
[all …]
|
| /dports/irc/cwirc/cwirc-2.0.0/ |
| H A D | README | 150 in the mouse keying zone changes to a straight key or an iambic key
180 will get confused and generate garbage. If you really need to decode a
364 CWirc generate a fake signal strength for incoming signals that have been
651 not ideal. If you have a real morse key, you can use it to key morse in CWirc
745 - Allow CWirc to ask /dev/rtc to generate 1024 interrupts per second by
763 to receive audio synchronously as you hear it, and key as you'd key.
836 says "cannot set /dev/rtc to generate 1024 interrupts per second."
839 real-time clock to generate more than 64 interrupts per second. CWirc
840 needs 1024, so it's necessary that you tell the kernel to lift that safety
860 Q: The plugin starts fine but nothing happens when I key with my real key
[all …]
|
| /dports/biology/minimap2/minimap2-2.24/ |
| H A D | cookbook.md | 53 **HOWEVER**, key algorithm parameters such as the k-mer length and window
84 provide scripts to generate the right format. Simulated reads in this cookbook
206 enough to lift millions of regions.
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/base-env/ |
| H A D | base-env.rkt | 1129 [sequence-generate
1132 ;[sequence-generate* (-poly (a) ((-seq a) . -> . (-mu t (-values (list (Un (-lst a) (-val #f)) t))…
1701 [generate-temporaries (-> (Un (-Syntax (-lst Univ)) (-lst Univ)) (-lst (-Syntax Sym)))]
1834 [syntax-local-lift-expression (-> (-Syntax Univ) (-Syntax Sym))]
1835 [syntax-local-lift-values-expression (-> -Nat (-Syntax Univ) (-lst (-Syntax Sym)))]
1836 [syntax-local-lift-context (-> Univ)]
1837 [syntax-local-lift-module (-> (-Syntax Univ) -Void)]
1838 [syntax-local-lift-module-end-declaration (-> (-Syntax Univ) -Void)]
1839 [syntax-local-lift-require (-poly (a) (-> Univ (-Syntax a) (-Syntax a)))]
1840 [syntax-local-lift-provide (-> Univ -Void)]
[all …]
|