Home
last modified time | relevance | path

Searched refs:oracles (Results 1 – 25 of 455) sorted by relevance

12345678910>>...19

/dports/lang/solidity/solidity_0.8.11/test/compilationTests/gnosis/Oracles/
H A DMajorityOracle.sol12 Oracle[] public oracles;
21 // At least 2 oracles should be defined
26 oracles = _oracles;
29 /// @dev Allows to registers oracles for a majority vote
38 int[] memory outcomes = new int[](oracles.length);
39 uint[] memory validations = new uint[](oracles.length);
40 for (i = 0; i < oracles.length; i++)
41 if (oracles[i].isOutcomeSet()) {
42 int _outcome = oracles[i].getOutcome();
56 for (i = 0; i < oracles.length; i++)
[all …]
H A DMajorityOracleFactory.sol12 …t MajorityOracleCreation(address indexed creator, MajorityOracle majorityOracle, Oracle[] oracles);
18 /// @param oracles List of oracles taking part in the majority vote
20 function createMajorityOracle(Oracle[] memory oracles)
24 majorityOracle = new MajorityOracle(oracles);
25 emit MajorityOracleCreation(msg.sender, majorityOracle, oracles);
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/
H A Denvironment.py28 import pysmt.oracles
51 QuantifierOracleClass = pysmt.oracles.QuantifierOracle
52 TheoryOracleClass = pysmt.oracles.TheoryOracle
53 FreeVarsOracleClass= pysmt.oracles.FreeVarsOracle
54 SizeOracleClass = pysmt.oracles.SizeOracle
55 AtomsOracleClass = pysmt.oracles.AtomsOracle
56 TypesOracleClass = pysmt.oracles.TypesOracle
/dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/tests/all/
H A Dfuzzing.rs9 use wasmtime_fuzzing::oracles;
14 oracles::instantiate(&data, Strategy::Auto); in instantiate_empty_module()
20 oracles::instantiate(&data, Strategy::Auto); in instantiate_empty_module_with_memory()
29 oracles::instantiate_with_config(&data, config); in instantiate_module_that_compiled_to_x64_has_register_32()
/dports/games/julius/julius-1.7.0/src/city/
H A Dculture.c110 int oracles = building_count_total(BUILDING_ORACLE); in city_culture_update_coverage() local
112 500 * oracles + in city_culture_update_coverage()
117 500 * oracles + in city_culture_update_coverage()
122 500 * oracles + in city_culture_update_coverage()
127 500 * oracles + in city_culture_update_coverage()
132 500 * oracles + in city_culture_update_coverage()
136 coverage.oracle = top(calc_percentage(500 * oracles, population)); in city_culture_update_coverage()
/dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/fuzz/fuzz_targets/
H A Dcompile.rs5 use wasmtime_fuzzing::oracles;
8 oracles::compile(data, Strategy::Cranelift);
13 oracles::compile(data, Strategy::Lightbeam);
/dports/games/xnethack/xNetHack-xnh6.1/sys/vms/
H A DMakefile.dat29 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.;,\
57 oracles : oracles.;
119 oracles.; : oracles.txt $(MAKEDEFS)
/dports/games/nethack33/nethack-3.3.1/src/
H A Drumors.c235 dlb *oracles; local
243 oracles = dlb_fopen(ORACLEFILE, "r");
245 if (oracles) {
248 init_oracles(oracles);
256 (void) dlb_fseek(oracles, oracle_loc[oracle_idx], SEEK_SET);
268 while(dlb_fgets(line, COLNO, oracles) && strcmp(line,"---\n")) {
274 (void) dlb_fclose(oracles);
/dports/games/nethack33-nox11/nethack-3.3.1/src/
H A Drumors.c235 dlb *oracles; local
243 oracles = dlb_fopen(ORACLEFILE, "r");
245 if (oracles) {
248 init_oracles(oracles);
256 (void) dlb_fseek(oracles, oracle_loc[oracle_idx], SEEK_SET);
268 while(dlb_fgets(line, COLNO, oracles) && strcmp(line,"---\n")) {
274 (void) dlb_fclose(oracles);
/dports/games/falconseye/falconseye-1.9.3_11/src/
H A Drumors.c235 dlb *oracles; local
243 oracles = dlb_fopen(ORACLEFILE, "r");
245 if (oracles) {
248 init_oracles(oracles);
256 (void) dlb_fseek(oracles, oracle_loc[oracle_idx], SEEK_SET);
268 while(dlb_fgets(line, COLNO, oracles) && strcmp(line,"---\n")) {
274 (void) dlb_fclose(oracles);
/dports/games/nethack34/nethack-3.4.3/src/
H A Drumors.c240 dlb *oracles; local
248 oracles = dlb_fopen(ORACLEFILE, "r");
250 if (oracles) {
253 init_oracles(oracles);
261 (void) dlb_fseek(oracles, oracle_loc[oracle_idx], SEEK_SET);
273 while(dlb_fgets(line, COLNO, oracles) && strcmp(line,"---\n")) {
279 (void) dlb_fclose(oracles);
/dports/games/nethack34-nox11/nethack-3.4.3/src/
H A Drumors.c240 dlb *oracles; local
248 oracles = dlb_fopen(ORACLEFILE, "r");
250 if (oracles) {
253 init_oracles(oracles);
261 (void) dlb_fseek(oracles, oracle_loc[oracle_idx], SEEK_SET);
273 while(dlb_fgets(line, COLNO, oracles) && strcmp(line,"---\n")) {
279 (void) dlb_fclose(oracles);
/dports/games/vultures-eye/vulture-2.3.67/nethack/src/
H A Drumors.c240 dlb *oracles; local
248 oracles = dlb_fopen(ORACLEFILE, "r");
250 if (oracles) {
253 init_oracles(oracles);
261 (void) dlb_fseek(oracles, oracle_loc[oracle_idx], SEEK_SET);
273 while(dlb_fgets(line, COLNO, oracles) && strcmp(line,"---\n")) {
279 (void) dlb_fclose(oracles);
/dports/games/vultures-eye/vulture-2.3.67/slashem/src/
H A Drumors.c240 dlb *oracles; local
248 oracles = dlb_fopen_area(NH_ORACLEAREA, NH_ORACLEFILE, "r");
250 if (oracles) {
253 init_oracles(oracles);
261 (void) dlb_fseek(oracles, oracle_loc[oracle_idx], SEEK_SET);
273 while(dlb_fgets(line, COLNO, oracles) && strcmp(line,"---\n")) {
279 (void) dlb_fclose(oracles);
/dports/games/vultures-eye/vulture-2.3.67/unnethack/src/
H A Drumors.c240 dlb *oracles; local
248 oracles = dlb_fopen(ORACLEFILE, "r");
250 if (oracles) {
253 init_oracles(oracles);
261 (void) dlb_fseek(oracles, oracle_loc[oracle_idx], SEEK_SET);
273 while(dlb_fgets(line, COLNO, oracles) && strcmp(line,"---\n")) {
279 (void) dlb_fclose(oracles);
/dports/games/augustus/augustus-3.1.0/src/city/
H A Dculture.c140 int oracles = building_count_active(BUILDING_ORACLE); in city_culture_update_coverage() local
147 ORACLE_COVERAGE * oracles + in city_culture_update_coverage()
158 ORACLE_COVERAGE * oracles + in city_culture_update_coverage()
169 ORACLE_COVERAGE * oracles + in city_culture_update_coverage()
180 ORACLE_COVERAGE * oracles + in city_culture_update_coverage()
191 ORACLE_COVERAGE * oracles + in city_culture_update_coverage()
200 coverage.oracle = top(calc_percentage(ORACLE_COVERAGE * oracles, population)); in city_culture_update_coverage()
/dports/games/unnethack/unnethack-5.1.0-20131208/src/
H A Drumors.c240 dlb *oracles; local
248 oracles = dlb_fopen_area(NH_ORACLEAREA, ORACLEFILE, "r");
250 if (oracles) {
253 init_oracles(oracles);
261 (void) dlb_fseek(oracles, oracle_loc[oracle_idx], SEEK_SET);
273 while(dlb_fgets(line, COLNO, oracles) && strcmp(line,"---\n")) {
279 (void) dlb_fclose(oracles);
/dports/games/nethack33/nethack-3.3.1/sys/vms/
H A DMakefile.dat26 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.;
52 oracles : oracles.;
105 oracles.; : oracles.txt $(MAKEDEFS)
/dports/games/nethack33-nox11/nethack-3.3.1/sys/vms/
H A DMakefile.dat26 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.;
52 oracles : oracles.;
105 oracles.; : oracles.txt $(MAKEDEFS)
/dports/games/nethack34/nethack-3.4.3/sys/vms/
H A DMakefile.dat27 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.;
53 oracles : oracles.;
106 oracles.; : oracles.txt $(MAKEDEFS)
/dports/games/nethack34-nox11/nethack-3.4.3/sys/vms/
H A DMakefile.dat27 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.;
53 oracles : oracles.;
106 oracles.; : oracles.txt $(MAKEDEFS)
/dports/games/vultures-eye/vulture-2.3.67/nethack/sys/vms/
H A DMakefile.dat27 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.;
53 oracles : oracles.;
106 oracles.; : oracles.txt $(MAKEDEFS)
/dports/games/falconseye/falconseye-1.9.3_11/sys/vms/
H A DMakefile.dat26 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.;
52 oracles : oracles.;
105 oracles.; : oracles.txt $(MAKEDEFS)
/dports/games/vultures-eye/vulture-2.3.67/slashem/sys/vms/
H A DMakefile.dat27 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.;
53 oracles : oracles.;
106 oracles.; : oracles.txt $(MAKEDEFS)
/dports/games/unnethack/unnethack-5.1.0-20131208/sys/unsupported/vms/
H A DMakefile.dat27 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.;
53 oracles : oracles.;
106 oracles.; : oracles.txt $(MAKEDEFS)

12345678910>>...19