/dports/lang/solidity/solidity_0.8.11/test/compilationTests/gnosis/Oracles/ |
H A D | MajorityOracle.sol | 12 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 D | MajorityOracleFactory.sol | 12 …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 D | environment.py | 28 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 D | fuzzing.rs | 9 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 D | culture.c | 110 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 D | compile.rs | 5 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 D | Makefile.dat | 29 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 D | rumors.c | 235 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 D | rumors.c | 235 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 D | rumors.c | 235 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 D | rumors.c | 240 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 D | rumors.c | 240 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 D | rumors.c | 240 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 D | rumors.c | 240 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 D | rumors.c | 240 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 D | culture.c | 140 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 D | rumors.c | 240 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 D | Makefile.dat | 26 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 D | Makefile.dat | 26 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 D | Makefile.dat | 27 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 D | Makefile.dat | 27 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 D | Makefile.dat | 27 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 D | Makefile.dat | 26 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 D | Makefile.dat | 27 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 D | Makefile.dat | 27 VARDAT = data.;,rumors.;,quest.dat;,oracles.;,options.; 53 oracles : oracles.; 106 oracles.; : oracles.txt $(MAKEDEFS)
|