| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/wuffs/src/doc/note/ |
| H A D | assertions.md | 4 [facts](/doc/note/facts.md). They are not comments, as removing them can
13 Arithmetic inside assertions is performed in ideal integer math, working in the
14 integer ring ℤ. An expression like `x + y` in an assertion never overflows,
15 even if `x` and `y` have a realized (non-ideal) integer type like `u32`.
21 [reconciliation](/doc/note/facts.md#situations-and-reconciliation) requires the
22 facts in each arm's final situation to match exactly:
76 proving both `n_bits < width` and `width <= 12`, from existing facts or from
83 The [compiler's built-in axioms](/lang/check/axioms.md) are listed separately.
|
| H A D | interval-arithmetic.md | 11 With integer interval arithmetic, addition is trivial: the lower and upper
21 In Wuffs, integer interval arithmetic is used for bounds and overflow checking.
54 unrefined type, such as `base.u32`, then this is essentially an overflow check.
77 by dynamic constraints, or [facts](/doc/note/facts.md). For example, while a
120 // unsigned integer type.
130 For those programmers wishing to work with integer interval arithmetic, the
|
| /dports/math/maxima/maxima-5.43.2/ |
| H A D | ChangeLog-5.21 | 57 2920190: non-integer value for maxposex
83 1620165: assoc needs to check argument, was: Strange error
97 856209: inconsistency between facts() and facts(v)
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/wuffs/src/hello-wuffs-c/ |
| H A D | README.md | 16 and returns an integer (like `123`). It'll be similar to the C `atoi` function,
71 indication that integer overflow could occur, yet integer overflow can lead to
75 run-time checks for integer overflow, but these are typically disabled by
83 Anyway, in Wuffs, integer overflow is a mandatory concern. Addressing that
106 // Uncomment this assertion to see what facts are known here.
114 that, unlike C, Wuffs doesn't let you forget to consider integer (or buffer)
134 // Uncomment this assertion to see what facts are known here.
139 check: expression "(10 * this.val) + (c as base.u32)" bounds [4294967290 ..= 4294967299] is not wit…
|
| /dports/cad/py-lcapy/lcapy-23c940f/doc/ |
| H A D | internals.rst | 109 x = Symbol('x', integer=True)
114 The new method stores facts, these need not just be about symbols, for
121 global_assumptions.add(Q.integer(x))
125 The new method has the advantage that we can collect facts about a
127 same symbol, there is no problem updating these facts. The big
146 manipulation. If so, do we check the assumptions during tests for
|
| /dports/devel/rapidcheck/rapidcheck-7bc7d30/ |
| H A D | README.md | 3 …facts about your code that given certain precondition should always be true. RapidCheck then gener…
42 rc::check("double reversal yields the original value",
54 The `check` function is used to check properties. The first parameter is an optional string which d…
|
| /dports/sysutils/ansible/ansible-4.7.0/ansible_collections/ansible/windows/changelogs/ |
| H A D | changelog.yaml | 7 to mirror the POSIX facts. The ``ansible_date_time.epoch_local`` contains
52 …- setup.ps1 - parity with linux regarding missing local facts path (https://github.com/ansible/ans…
91 - setup.ps1-parity-with-linux-regarding-missing-local-facts-path.yml
137 - win_user - Added check mode support
183 …- setup - add ``epoch_int`` option to date_time facts (https://github.com/ansible/ansible/issues/7…
209 - setup - Added more virtualization types to the virtual facts based on the
220 - setup - Return correct epoch integer value for the ``ansible_date_time.epoch_int``
320 - win_updates - Fixed ``win_updates`` output to not cast to an integer to preserve
321 …original behaviour and issues with non integer values - https://github.com/ansible-collections/ans…
346 - win_user - Set validate user logic to always check local database
|
| /dports/www/py-puppetboard/puppetboard-3.3.0/ |
| H A D | CHANGELOG.md | 14 * Fix missing trailing 'u' character in facts with hashes ([#567](https://github.com/voxpupuli/pupp…
30 * Improve facts columns balancing (#618)
44 * Change the default sort order of facts table to a-z,
53 * Fix issue with no render when facts are empty (#607)
103 * Ignore facts environment for compatibility and performance
123 * Add basic health check endpoint
163 * Add environment filter for facts.
234 …es rendered from JSON valued facts return no results. A more sophisticated API is required to make…
253 * Fix the sorting of the different tables containing facts.
295 * `PUPPETDB_API`: an integer, defaulting to `3`, representing the API version we want to use.
[all …]
|
| /dports/sysutils/py-ansible-base/ansible-base-2.10.15/docs/docsite/rst/user_guide/ |
| H A D | playbooks_conditionals.rst | 39 …facts. Facts are attributes of individual hosts, including IP address, operating system, the statu…
47 - name: Show facts available on the system
79 … mathematical comparison on it, use a filter to ensure that Ansible reads the value as an integer::
128 …task only on hosts where the stdout of your registered variable is empty, check the registered var…
132 - name: check registered variable for emptiness
246 Loading custom facts
369 Selecting variables, files, or templates based on facts
380 Selecting variables files based on facts argument
406 Selecting files and templates based on facts argument
426 Commonly-used facts
[all …]
|
| /dports/sysutils/py-ansible-core/ansible-core-2.11.6/docs/docsite/rst/user_guide/ |
| H A D | playbooks_conditionals.rst | 39 …facts. Facts are attributes of individual hosts, including IP address, operating system, the statu…
47 - name: Show facts available on the system
79 … mathematical comparison on it, use a filter to ensure that Ansible reads the value as an integer::
128 …task only on hosts where the stdout of your registered variable is empty, check the registered var…
132 - name: check registered variable for emptiness
246 Loading custom facts
369 Selecting variables, files, or templates based on facts
380 Selecting variables files based on facts argument
406 Selecting files and templates based on facts argument
426 Commonly-used facts
[all …]
|
| /dports/lang/yap/yap-6.2.2/packages/ProbLog/ |
| H A D | problog.tex | 131 This predicate returns the most likely explanation of proving the goal G and the facts used in achi…
171 …raining example. They are encoded as the conjunction of the probabilistic facts used in the proof.
217 The possible values for this flag are any integer
227 The possible values for this flag are any integer
246 Flag telling whether to perform subset check in nested tries.
267 The possible values for this flag are list or integer
272 The possible values for this flag are any integer.
282 The possible values for this flag are any integer greater than zero.
326 Flag related to inference telling whether to stop derivations including all facts of known proofs.
332 The possible values for this flag are any integer greater than zero.
[all …]
|
| /dports/sysutils/ansible/ansible-4.7.0/ansible_collections/ansible/windows/ |
| H A D | CHANGELOG.rst | 21 - win_user - Set validate user logic to always check local database
39 …d ``win_updates`` output to not cast to an integer to preserve original behaviour and issues with …
113 - setup - Return correct epoch integer value for the ``ansible_date_time.epoch_int`` fact
128 - setup - Added more virtualization types to the virtual facts based on the Linux setup module
142 - setup - add ``epoch_int`` option to date_time facts (https://github.com/ansible/ansible/issues/72…
176 - win_user - Added check mode support
226 - setup.ps1 - parity with linux regarding missing local facts path (https://github.com/ansible/ansi…
246 …sible_date_time.epoch`` is seconds since EPOCH in UTC to mirror the POSIX facts. The ``ansible_dat…
|
| /dports/math/gap/gap-4.11.0/pkg/FactInt-1.6.3/lib/ |
| H A D | general.gi | 6 ## This file contains the general routines for integer factorization and
261 BindGlobal("CleanedFactorsList", function ( facts, f, max_k )
266 smldivpos := List(facts,p->First([1..max_k],k->val[k] mod p = 0));
267 result := List([1..max_k],k->facts{Filtered([1..Length(smldivpos)],
470 steps1, steps2, facts, result;
500 facts := List([a-b,a+b],m->m/Gcd(m,mult));
501 result[1] := Filtered(facts,IsProbablyPrimeInt);
502 result[2] := Difference(facts,result[1]);
703 then Error("Usage : FactInt( <n> ), for an integer <n>"); fi;
766 # First of all, check whether n = b^k +/- 1 for some b, k
[all …]
|
| /dports/sysutils/ansible2/ansible-2.9.27/changelogs/ |
| H A D | CHANGELOG-v2.9.rst | 865 - yum/dnf - check type of elements in a name
1419 - ovirt_host_network: correct dictionary check.
1803 - meraki_admin - Add support for check mode.
1804 - meraki_config_template - Enable check mode.
1805 - meraki_content_filtering - Add support for check mode.
1810 - meraki_snmp - Add support for check mode.
1812 - meraki_vlan - Add support for check mode.
2301 - ipaddr: prevent integer indices from being parsed as ip nets
2348 - openssl_certificate - ``invalid_at`` check was broken.
2407 - route53_facts - the module did not advertise check mode support, causing it not to be run in chec…
[all …]
|
| /dports/math/maxima/maxima-5.43.2/tests/ |
| H A D | rtest_abs.mac | 89 /*--database facts -----*/
292 /* check sign before using multiplicative identity; from x*y > 0 */
302 /* check sign before using abs(x^n) = abs(x)^n. */
312 (declare(n, integer, e, even), 0);
324 (remove(n, integer, e, even), 0);
|
| /dports/databases/py-sqlite3/Python-3.8.12/Doc/library/ |
| H A D | ftplib.rst | 97 The class now supports hostname check with
308 *rest* to a string, but no check is performed on the string's contents. If the
322 .. method:: FTP.mlsd(path="", facts=[])
326 *facts* is a list of strings representing the type of information desired
329 file name, the second one is a dictionary containing facts about the file
330 name. Content of this dictionary might be limited by the *facts* argument
331 but server is not guaranteed to return all requested facts.
393 size of the file is returned as an integer, otherwise ``None`` is returned.
431 The method now supports hostname check with
|
| /dports/databases/py-gdbm/Python-3.8.12/Doc/library/ |
| H A D | ftplib.rst | 97 The class now supports hostname check with
308 *rest* to a string, but no check is performed on the string's contents. If the
322 .. method:: FTP.mlsd(path="", facts=[])
326 *facts* is a list of strings representing the type of information desired
329 file name, the second one is a dictionary containing facts about the file
330 name. Content of this dictionary might be limited by the *facts* argument
331 but server is not guaranteed to return all requested facts.
393 size of the file is returned as an integer, otherwise ``None`` is returned.
431 The method now supports hostname check with
|
| /dports/lang/python-tools/Python-3.8.12/Doc/library/ |
| H A D | ftplib.rst | 97 The class now supports hostname check with
308 *rest* to a string, but no check is performed on the string's contents. If the
322 .. method:: FTP.mlsd(path="", facts=[])
326 *facts* is a list of strings representing the type of information desired
329 file name, the second one is a dictionary containing facts about the file
330 name. Content of this dictionary might be limited by the *facts* argument
331 but server is not guaranteed to return all requested facts.
393 size of the file is returned as an integer, otherwise ``None`` is returned.
431 The method now supports hostname check with
|
| /dports/lang/python37/Python-3.7.12/Doc/library/ |
| H A D | ftplib.rst | 97 The class now supports hostname check with
302 *rest* to a string, but no check is performed on the string's contents. If the
316 .. method:: FTP.mlsd(path="", facts=[])
320 *facts* is a list of strings representing the type of information desired
323 file name, the second one is a dictionary containing facts about the file
324 name. Content of this dictionary might be limited by the *facts* argument
325 but server is not guaranteed to return all requested facts.
387 size of the file is returned as an integer, otherwise ``None`` is returned.
425 The method now supports hostname check with
|
| /dports/lang/python38/Python-3.8.12/Doc/library/ |
| H A D | ftplib.rst | 97 The class now supports hostname check with
308 *rest* to a string, but no check is performed on the string's contents. If the
322 .. method:: FTP.mlsd(path="", facts=[])
326 *facts* is a list of strings representing the type of information desired
329 file name, the second one is a dictionary containing facts about the file
330 name. Content of this dictionary might be limited by the *facts* argument
331 but server is not guaranteed to return all requested facts.
393 size of the file is returned as an integer, otherwise ``None`` is returned.
431 The method now supports hostname check with
|
| /dports/x11-toolkits/py-tkinter/Python-3.8.12/Doc/library/ |
| H A D | ftplib.rst | 97 The class now supports hostname check with
308 *rest* to a string, but no check is performed on the string's contents. If the
322 .. method:: FTP.mlsd(path="", facts=[])
326 *facts* is a list of strings representing the type of information desired
329 file name, the second one is a dictionary containing facts about the file
330 name. Content of this dictionary might be limited by the *facts* argument
331 but server is not guaranteed to return all requested facts.
393 size of the file is returned as an integer, otherwise ``None`` is returned.
431 The method now supports hostname check with
|
| /dports/sysutils/py-ansible-core/ansible-core-2.11.6/lib/ansible/config/ |
| H A D | base.yml | 179 type: integer
673 type: integer
712 type: integer
985 type: integer
1015 type: integer
1150 type: integer
1236 type: integer
1268 type: integer
1732 type: integer
1740 type: integer
[all …]
|
| /dports/math/gap/gap-4.11.0/lib/ |
| H A D | ctblmono.gi | 506 # check the arguments
788 # We have to check recursively.
930 #M IsMonomialNumber( <n> ) . . . . . . . . . . . . . for a positive integer
933 "for a positive integer",
1104 # Let $b$ be an integer such that $\chi(1) = [G : P] p^b$,
1664 check, #
1837 check:= newnsg[k];
1970 facts:= Factors(Integers, Size( F ) );
1971 p:= Set( facts );
1976 m:= Length( facts );
[all …]
|
| /dports/sysutils/py-ansible-base/ansible-base-2.10.15/lib/ansible/config/ |
| H A D | base.yml | 155 type: integer
219 type: integer
651 type: integer
690 type: integer
963 type: integer
993 type: integer
1174 type: integer
1260 type: integer
1292 type: integer
1741 type: integer
[all …]
|
| /dports/databases/puppetdb7/puppetdb-7.8.0/ext/docs/puppetdb/ |
| H A D | release_notes_older.markdown | 324 * Updated PuppetDB node check-ins to hourly rather than only on startup.
594 encounter issues you should double check that the new pathing is in place.
1034 with more parameters than can be represented with a 16-bit integer, which is the
1211 to the new locations. After upgrade you should double check the migrated
1246 way we check if objects (such as catalogs) are up to date.
1665 with more parameters than can be represented with a 16-bit integer, which is the
2456 which may include a hash, array, real, integer, boolean or string.
3542 * `limit`: an integer specifying the maximum number of results to
3547 * `offset`: an integer specifying the first result in the result set that
3845 * Don't check for newer versions in the PE-PuppetDB dashboard
[all …]
|