Home
last modified time | relevance | path

Searched +refs:product +refs:run +refs:checkers (Results 1 – 25 of 389) sorted by relevance

12345678910>>...16

/dports/security/vault/vault-1.8.2/vendor/honnef.co/go/tools/internal/gosmith/
H A DREADME.md5 …nown_to_fail_type=allwords&cf_known_to_work_type=allwords&f0=OP&f1=OP&f2=product&f3=component&f4=a…
23 go run driver.go -checkers=amd64,386,arm,exec
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/workhorse/vendor/honnef.co/go/tools/internal/gosmith/
H A DREADME.md5 …nown_to_fail_type=allwords&cf_known_to_work_type=allwords&f0=OP&f1=OP&f2=product&f3=component&f4=a…
23 go run driver.go -checkers=amd64,386,arm,exec
/dports/sysutils/terraform-docs/terraform-docs-0.16.0/vendor/honnef.co/go/tools/internal/gosmith/
H A DREADME.md5 …nown_to_fail_type=allwords&cf_known_to_work_type=allwords&f0=OP&f1=OP&f2=product&f3=component&f4=a…
23 go run driver.go -checkers=amd64,386,arm,exec
/dports/multimedia/navidrome/navidrome-0.40.0/vendor/honnef.co/go/tools/internal/gosmith/
H A DREADME.md5 …nown_to_fail_type=allwords&cf_known_to_work_type=allwords&f0=OP&f1=OP&f2=product&f3=component&f4=a…
23 go run driver.go -checkers=amd64,386,arm,exec
/dports/math/giacxcas/fltk-1.3.0/
H A Dfltk.list4 # EPM product list file for the Fast Light Tool Kit (FLTK).
30 %product Fast Light Tool Kit (FLTK)
114 %description You'll need to install the fltk package if you plan to run
399 f 0444 root sys /Applications/checkers.app/Contents/PkgInfo test/checkers.app/Contents/PkgInfo
401 f 0555 root sys /Applications/checkers.app/Contents/MacOS/checkers test/checkers
403 f 0444 root sys /Applications/checkers.app/Contents/Resources/checkers.icns test/checkers.app/Conte…
422 f 0555 root sys $bindir/checkers test/checkers
423 f 0444 root sys /usr/share/applications/checkers.desktop test/desktop/checkers.desktop
424 f 0444 root sys /usr/share/icons/hicolor/32x32/apps/checkers.png test/desktop/checkers-32.png
434 f 0444 root sys $mandir/cat6/checkers.$CAT6EXT documentation/src/checkers.$CAT6EXT
[all …]
H A Dfltk.list.in4 # EPM product list file for the Fast Light Tool Kit (FLTK).
30 %product Fast Light Tool Kit (FLTK)
114 %description You'll need to install the fltk package if you plan to run
399 f 0444 root sys /Applications/checkers.app/Contents/PkgInfo test/checkers.app/Contents/PkgInfo
401 f 0555 root sys /Applications/checkers.app/Contents/MacOS/checkers test/checkers
403 f 0444 root sys /Applications/checkers.app/Contents/Resources/checkers.icns test/checkers.app/Conte…
422 f 0555 root sys $bindir/checkers test/checkers
423 f 0444 root sys /usr/share/applications/checkers.desktop test/desktop/checkers.desktop
424 f 0444 root sys /usr/share/icons/hicolor/32x32/apps/checkers.png test/desktop/checkers-32.png
434 f 0444 root sys $mandir/cat6/checkers.$CAT6EXT documentation/src/checkers.$CAT6EXT
[all …]
/dports/devel/pytype/pytype-2021.9.9/
H A DREADME.md26 ## How is pytype different from other type checkers?
30 detect issues with code like this, which other type checkers would miss:
45 checkers, which assign types to variables as soon as they are initialized:
62 To quickly get started with type-checking a file or directory, run the
79 Now you can run the no-argument command `pytype` to type-check the package. It's
93 You need a Python 3.6-3.8 interpreter to run pytype, as well as an
132 Instead of using `--recurse-submodules`, you could also have run
173 For a full list of options, run `pytype --help`.
272 This is not an official Google product.
276 [faq-diff]: docs/faq.md#how-is-pytype-different-from-other-type-checkers
H A DPKG-INFO38 ## How is pytype different from other type checkers?
42 detect issues with code like this, which other type checkers would miss:
57 checkers, which assign types to variables as soon as they are initialized:
74 To quickly get started with type-checking a file or directory, run the
91 Now you can run the no-argument command `pytype` to type-check the package. It's
105 You need a Python 3.6-3.8 interpreter to run pytype, as well as an
144 Instead of using `--recurse-submodules`, you could also have run
185 For a full list of options, run `pytype --help`.
284 This is not an official Google product.
288 …//github.com/google/pytype/blob/master/docs/faq.md#how-is-pytype-different-from-other-type-checkers
/dports/x11-toolkits/fltk/fltk-1.3.8/
H A Dfltk.list.in2 # EPM product list file for the Fast Light Tool Kit (FLTK).
19 %product Fast Light Tool Kit (FLTK)
103 %description You'll need to install the fltk package if you plan to run
388 f 0555 root sys /Applications/checkers.app/Contents/MacOS/checkers test/checkers
390 f 0444 root sys /Applications/checkers.app/Contents/Resources/checkers.icns test/checkers.app/Conte…
408 f 0555 root sys $bindir/checkers test/checkers
409 f 0444 root sys /usr/share/applications/checkers.desktop test/desktop/checkers.desktop
410 f 0444 root sys /usr/share/icons/hicolor/32x32/apps/checkers.png test/desktop/checkers-32.png
411 f 0444 root sys /usr/share/icons/hicolor/128x128/apps/checkers.png test/desktop/checkers-128.png
420 f 0444 root sys $mandir/cat6/checkers.$CAT6EXT documentation/src/checkers.$CAT6EXT
[all …]
/dports/devel/pytype/pytype-2021.9.9/pytype.egg-info/
H A DPKG-INFO38 ## How is pytype different from other type checkers?
42 detect issues with code like this, which other type checkers would miss:
57 checkers, which assign types to variables as soon as they are initialized:
74 To quickly get started with type-checking a file or directory, run the
91 Now you can run the no-argument command `pytype` to type-check the package. It's
105 You need a Python 3.6-3.8 interpreter to run pytype, as well as an
144 Instead of using `--recurse-submodules`, you could also have run
185 For a full list of options, run `pytype --help`.
284 This is not an official Google product.
288 …//github.com/google/pytype/blob/master/docs/faq.md#how-is-pytype-different-from-other-type-checkers
/dports/www/firefox-esr/firefox-91.8.0/docs/contributing/
H A Dvscode.rst50 …alysis using `clang-tidy` and our list of enabled checkers. (This is still in progress not all che…
68 In order to build the configuration for `VS Code` simply run from
136 Bugs should be filed in the `Firefox Build System` product under `Developer Environment Integration…
/dports/www/firefox/firefox-99.0/docs/contributing/
H A Dvscode.rst50 …alysis using `clang-tidy` and our list of enabled checkers. (This is still in progress not all che…
68 In order to build the configuration for `VS Code` simply run from
136 Bugs should be filed in the `Firefox Build System` product under `Developer Environment Integration…
/dports/mail/thunderbird/thunderbird-91.8.0/docs/contributing/
H A Dvscode.rst50 …alysis using `clang-tidy` and our list of enabled checkers. (This is still in progress not all che…
68 In order to build the configuration for `VS Code` simply run from
136 Bugs should be filed in the `Firefox Build System` product under `Developer Environment Integration…
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/doc/development/documentation/
H A Dtesting.md30 run these tests on your local computer. This has the advantage of:
33 without waiting for a CI/CD pipeline to run.
37 To run tests locally, it's important to:
99 To run the `ui-docs-links` test locally:
108 If you receive an error the first time you run this test, run `bundle install`, which
220 | *correctly-capitalized* name of a product or service | Add the word to the [vale spelling excepti…
224 | UI text from a third-party product | Rewrite the sentence to avoid it, or [add …
263 `brew` for macOS, run:
273 It's important to use linter versions that are the same or newer than those run in
345 :next-checkers ((t . markdown-markdownlint-cli))
[all …]
/dports/math/fflas-ffpack/fflas-ffpack-2.4.3/
H A DChangeLog45 * new pfgemv routine (parallel matrix vector product)
59 * new feature: checkers for Freivalds based verification
77 * run most tests over a wide range of fields
94 * a lot of new sparse mat-vec product improvements
/dports/math/spot/spot-2.10.2/doc/org/
H A Dtut51.org10 condition is =t=). They are typically used by model checkers to
42 product of a Kripke structure with a =twa= is slightly more efficient
43 than the on-the-fly product of two =twa=.
412 build the product of this automaton with our Kripke structure, and
438 if (auto run = k->intersecting_run(af))
439 std::cout << "formula is violated by the following run:\n" << *run;
461 =t=, i.e., accepting every infinite run).
497 if (auto run = k->intersecting_run(af))
499 run->highlight(5); // 5 is a color number.
548 if (auto run = k->intersecting_run(af))
[all …]
H A Dtut52.org9 condition is =t=). They are typically used by model checkers to
150 build the product of this automaton with our Kripke structure, and
172 spot::twa_graph_ptr af = spot::translator(d).run(f);
174 // Find a run of our Kripke structure that intersects af.
176 if (auto run = k->intersecting_run(af))
177 std::cout << "formula is violated by the following run:\n" << *run;
292 # Find a run of our Kripke structure that intersects af.
294 run = k.intersecting_run(af)
295 if run:
296 print("formula is violated by the following run:\n", run)
/dports/math/py-spot/spot-2.10.2/doc/org/
H A Dtut51.org10 condition is =t=). They are typically used by model checkers to
42 product of a Kripke structure with a =twa= is slightly more efficient
43 than the on-the-fly product of two =twa=.
412 build the product of this automaton with our Kripke structure, and
438 if (auto run = k->intersecting_run(af))
439 std::cout << "formula is violated by the following run:\n" << *run;
461 =t=, i.e., accepting every infinite run).
497 if (auto run = k->intersecting_run(af))
499 run->highlight(5); // 5 is a color number.
548 if (auto run = k->intersecting_run(af))
[all …]
H A Dtut52.org9 condition is =t=). They are typically used by model checkers to
150 build the product of this automaton with our Kripke structure, and
172 spot::twa_graph_ptr af = spot::translator(d).run(f);
174 // Find a run of our Kripke structure that intersects af.
176 if (auto run = k->intersecting_run(af))
177 std::cout << "formula is violated by the following run:\n" << *run;
292 # Find a run of our Kripke structure that intersects af.
294 run = k.intersecting_run(af)
295 if run:
296 print("formula is violated by the following run:\n", run)
/dports/devel/pylint/pylint-2.12.1/pylint/checkers/
H A Dsimilar.py73 from pylint.checkers import BaseChecker, MapReduceMixin, table_lines_from_stats
401 def run(self) -> None: member in Similar
505 for indices_in_linesets in itertools.product(
939 sim.run()
/dports/lang/parrot/parrot-8.1.0/docs/binaries/
H A Dparrot.pod165 checkers.
244 =item B<--run-pbc> Only useful after C<-o> or C<--output-pbc>.
307 Parrot is a product of the contributions of a great many people. For a list of
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/wuffs/src/
H A DREADME.md14 checks are done at compile time, not at run time. *If it compiles, it is safe*,
102 gif/basic.c clang PASS (8 tests run)
103 gif/basic.c gcc PASS (8 tests run)
159 process that input. Those addresses can vary from run to run and from system to
171 it's a [run time
178 Even if overflow is checked, it is usually checked at run time. Similarly,
179 modern languages do their bounds checking at run time. An expression like
190 happen at compile time, with zero run time overhead.
239 optionally run its tests.
277 system variance, such as software updates or virus checkers running in the
[all …]
/dports/net/kea/kea-2.0.1/doc/sphinx/arm/
H A Dsecurity.rst170 use of the capabilities mechanism on Linux systems, Kea can run from an unprivileged account. See
171 :ref:`non-root` Section for details on how to run Kea without root access.
183 to run as non-root, the owner of the process can write to it. Access can be controlled using normal
210 database is a concern, the database can be run locally on the Kea server.
224 … support for two cryptographic libraries: Botan and OpenSSL. This creates both compile and run-time
241 libraries would still be needed to build and run Kea, but the code would never be used, so any
352 tests, and in some cases also performance tests) are run for every commit. Many lighter tests are
353 run on branches, before the code is even accepted.
358 internally-developed sanity checkers.
366 are two modes which are run. The first mode fuzzes incoming packets, effectively throwing millions …
[all …]
/dports/textproc/py-QDarkStyle/QDarkStyle-3.0.3/
H A DCONTRIBUTING.rst221 `run\_ui\_css\_edition.py <https://github.com/ColinDuquesnoy/QDarkStyleSheet/blob/master/script/run…
257 - `Material <https://material.io/design/iconography/product-icons.html#grid-keyline-shapes>`__
332 passed all tests and checkers before continue. You must have accounts to
/dports/shells/fish/fish-3.3.1/doc_src/
H A Dlanguage.rst25 …e filename, including the directory (like ``/home/me/code/checkers/checkers`` or ``../checkers``) …
54 - **Command**: A program that the shell can run, or more specifically an external program that the …
218 …and have the job run in the background. To create a background job, append an \& (ampersand) to yo…
255 Fish's prompt is also defined in a function, called :ref:`fish_prompt <cmd-fish_prompt>`. It is run…
542 … out any other strings attached to it. See the :ref:`cartesian product <cartesian-product>` sectio…
643 …aces, the argument will be removed (see :ref:`the cartesian product section <cartesian-product>`)::
655 .. _cartesian-product:
919 # Typically you'd run this interactively, fish takes care of keeping it.
959 # If no file exists it will still be run with no arguments
962 …alling a command after setting a variable override will result in the exact same command being run.
[all …]

12345678910>>...16