/dports/math/vampire/vampire-4.5.1/scripts/ |
H A D | dogcov.sh | 12 lcov --directory ~/git/vampire/ --capture --output-file vampire.info 13 mv vampire.info gcovdata 15 genhtml vampire.info
|
/dports/games/nethack34/nethack-3.4.3/dat/ |
H A D | Wizard.des | 211 MONSTER:'B',"vampire bat",random 212 MONSTER:'B',"vampire bat",random 213 MONSTER:'B',"vampire bat",random 214 MONSTER:'B',"vampire bat",random 215 MONSTER:'B',"vampire bat",random 216 MONSTER:'B',"vampire bat",random 217 MONSTER:'B',"vampire bat",random 336 MONSTER:'B',"vampire bat",random 337 MONSTER:'B',"vampire bat",random 338 MONSTER:'B',"vampire bat",random [all …]
|
H A D | gehennom.des | 138 MONSTER:'B',"vampire bat",random 139 MONSTER:'B',"vampire bat",random 140 MONSTER:'B',"vampire bat",random 378 MONSTER:'V',"vampire",(35,16) 379 MONSTER:'V',"vampire",(35,14) 380 MONSTER:'V',"vampire lord",(36,14) 401 MONSTER:'V',"vampire",random 402 MONSTER:'V',"vampire",random 403 MONSTER:'V',"vampire",random 404 MONSTER:'V',"vampire lord",random [all …]
|
/dports/games/nethack33-nox11/nethack-3.3.1/dat/ |
H A D | Wizard.des | 211 MONSTER:'B',"vampire bat",random 212 MONSTER:'B',"vampire bat",random 213 MONSTER:'B',"vampire bat",random 214 MONSTER:'B',"vampire bat",random 215 MONSTER:'B',"vampire bat",random 216 MONSTER:'B',"vampire bat",random 217 MONSTER:'B',"vampire bat",random 336 MONSTER:'B',"vampire bat",random 337 MONSTER:'B',"vampire bat",random 338 MONSTER:'B',"vampire bat",random [all …]
|
H A D | gehennom.des | 138 MONSTER:'B',"vampire bat",random 139 MONSTER:'B',"vampire bat",random 140 MONSTER:'B',"vampire bat",random 378 MONSTER:'V',"vampire",(35,16) 379 MONSTER:'V',"vampire",(35,14) 380 MONSTER:'V',"vampire lord",(36,14) 401 MONSTER:'V',"vampire",random 402 MONSTER:'V',"vampire",random 403 MONSTER:'V',"vampire",random 404 MONSTER:'V',"vampire lord",random [all …]
|
/dports/games/nethack34-nox11/nethack-3.4.3/dat/ |
H A D | Wizard.des | 211 MONSTER:'B',"vampire bat",random 212 MONSTER:'B',"vampire bat",random 213 MONSTER:'B',"vampire bat",random 214 MONSTER:'B',"vampire bat",random 215 MONSTER:'B',"vampire bat",random 216 MONSTER:'B',"vampire bat",random 217 MONSTER:'B',"vampire bat",random 336 MONSTER:'B',"vampire bat",random 337 MONSTER:'B',"vampire bat",random 338 MONSTER:'B',"vampire bat",random [all …]
|
H A D | gehennom.des | 138 MONSTER:'B',"vampire bat",random 139 MONSTER:'B',"vampire bat",random 140 MONSTER:'B',"vampire bat",random 378 MONSTER:'V',"vampire",(35,16) 379 MONSTER:'V',"vampire",(35,14) 380 MONSTER:'V',"vampire lord",(36,14) 401 MONSTER:'V',"vampire",random 402 MONSTER:'V',"vampire",random 403 MONSTER:'V',"vampire",random 404 MONSTER:'V',"vampire lord",random [all …]
|
/dports/games/nethack36-nox11/NetHack-NetHack-3.6.6_Released/dat/ |
H A D | Wizard.des | 232 MONSTER:('B',"vampire bat"),random 233 MONSTER:('B',"vampire bat"),random 234 MONSTER:('B',"vampire bat"),random 235 MONSTER:('B',"vampire bat"),random 236 MONSTER:('B',"vampire bat"),random 237 MONSTER:('B',"vampire bat"),random 238 MONSTER:('B',"vampire bat"),random 357 MONSTER:('B',"vampire bat"),random 358 MONSTER:('B',"vampire bat"),random 359 MONSTER:('B',"vampire bat"),random [all …]
|
H A D | gehennom.des | 156 MONSTER:('B',"vampire bat"),random 157 MONSTER:('B',"vampire bat"),random 158 MONSTER:('B',"vampire bat"),random 400 MONSTER:('V',"vampire"),(35,16) 401 MONSTER:('V',"vampire"),(35,14) 402 MONSTER:('V',"vampire lord"),(36,14) 423 MONSTER:('V',"vampire"),random 424 MONSTER:('V',"vampire"),random 425 MONSTER:('V',"vampire"),random 426 MONSTER:('V',"vampire lord"),random [all …]
|
/dports/games/nethack36/NetHack-NetHack-3.6.6_Released/dat/ |
H A D | Wizard.des | 232 MONSTER:('B',"vampire bat"),random 233 MONSTER:('B',"vampire bat"),random 234 MONSTER:('B',"vampire bat"),random 235 MONSTER:('B',"vampire bat"),random 236 MONSTER:('B',"vampire bat"),random 237 MONSTER:('B',"vampire bat"),random 238 MONSTER:('B',"vampire bat"),random 357 MONSTER:('B',"vampire bat"),random 358 MONSTER:('B',"vampire bat"),random 359 MONSTER:('B',"vampire bat"),random [all …]
|
H A D | gehennom.des | 156 MONSTER:('B',"vampire bat"),random 157 MONSTER:('B',"vampire bat"),random 158 MONSTER:('B',"vampire bat"),random 400 MONSTER:('V',"vampire"),(35,16) 401 MONSTER:('V',"vampire"),(35,14) 402 MONSTER:('V',"vampire lord"),(36,14) 423 MONSTER:('V',"vampire"),random 424 MONSTER:('V',"vampire"),random 425 MONSTER:('V',"vampire"),random 426 MONSTER:('V',"vampire lord"),random [all …]
|
/dports/games/nethack33/nethack-3.3.1/dat/ |
H A D | Wizard.des | 211 MONSTER:'B',"vampire bat",random 212 MONSTER:'B',"vampire bat",random 213 MONSTER:'B',"vampire bat",random 214 MONSTER:'B',"vampire bat",random 215 MONSTER:'B',"vampire bat",random 216 MONSTER:'B',"vampire bat",random 217 MONSTER:'B',"vampire bat",random 336 MONSTER:'B',"vampire bat",random 337 MONSTER:'B',"vampire bat",random 338 MONSTER:'B',"vampire bat",random [all …]
|
H A D | gehennom.des | 138 MONSTER:'B',"vampire bat",random 139 MONSTER:'B',"vampire bat",random 140 MONSTER:'B',"vampire bat",random 378 MONSTER:'V',"vampire",(35,16) 379 MONSTER:'V',"vampire",(35,14) 380 MONSTER:'V',"vampire lord",(36,14) 401 MONSTER:'V',"vampire",random 402 MONSTER:'V',"vampire",random 403 MONSTER:'V',"vampire",random 404 MONSTER:'V',"vampire lord",random [all …]
|
/dports/games/falconseye/falconseye-1.9.3_11/dat/ |
H A D | Wizard.des | 211 MONSTER:'B',"vampire bat",random 212 MONSTER:'B',"vampire bat",random 213 MONSTER:'B',"vampire bat",random 214 MONSTER:'B',"vampire bat",random 215 MONSTER:'B',"vampire bat",random 216 MONSTER:'B',"vampire bat",random 217 MONSTER:'B',"vampire bat",random 336 MONSTER:'B',"vampire bat",random 337 MONSTER:'B',"vampire bat",random 338 MONSTER:'B',"vampire bat",random [all …]
|
/dports/games/vultures-eye/vulture-2.3.67/nethack/dat/ |
H A D | Wizard.des | 211 MONSTER:'B',"vampire bat",random 212 MONSTER:'B',"vampire bat",random 213 MONSTER:'B',"vampire bat",random 214 MONSTER:'B',"vampire bat",random 215 MONSTER:'B',"vampire bat",random 216 MONSTER:'B',"vampire bat",random 217 MONSTER:'B',"vampire bat",random 336 MONSTER:'B',"vampire bat",random 337 MONSTER:'B',"vampire bat",random 338 MONSTER:'B',"vampire bat",random [all …]
|
/dports/games/vultures-eye/vulture-2.3.67/slashem/dat/ |
H A D | Wizard.des | 211 MONSTER:'B',"vampire bat",random 212 MONSTER:'B',"vampire bat",random 213 MONSTER:'B',"vampire bat",random 214 MONSTER:'B',"vampire bat",random 215 MONSTER:'B',"vampire bat",random 216 MONSTER:'B',"vampire bat",random 217 MONSTER:'B',"vampire bat",random 336 MONSTER:'B',"vampire bat",random 337 MONSTER:'B',"vampire bat",random 338 MONSTER:'B',"vampire bat",random [all …]
|
H A D | Slayer.des | 243 MONSTER:'V',"vampire",random 244 MONSTER:'V',"vampire",random 245 MONSTER:'V',"vampire",random 246 MONSTER:'V',"vampire",random 267 MONSTER: 'V', "vampire", random 273 MONSTER: 'V', "vampire", random 280 MONSTER: 'V', "vampire", random 292 MONSTER: 'V', "vampire", random 309 MONSTER: 'V', "vampire", random 321 MONSTER: 'V', "vampire", random [all …]
|
/dports/games/xonotic/Xonotic/source/qcsrc/common/mutators/mutator/vampire/ |
H A D | sv_vampire.qc | 3 REGISTER_MUTATOR(vampire, cvar("g_vampire") && !cvar("g_instagib")); 5 MUTATOR_HOOKFUNCTION(vampire, PlayerDamage_SplitHealthArmor) 20 MUTATOR_HOOKFUNCTION(vampire, BuildMutatorsString) 25 MUTATOR_HOOKFUNCTION(vampire, BuildMutatorsPrettyString)
|
/dports/math/vampire/vampire-4.5.1/ |
H A D | .gitignore | 14 vampire 19 vampire.exe 23 .kdbgrc.vampire*
|
H A D | README.md | 25 The main top level file is vampire.cpp. This is the head of the main vampire executable. The main m… 27 … of vampire that are not currently maintained. They run a single mode of vampire. If you want to d… 68 * runner.sh and ltb_mode are scripts that have been used to run vampire in the past
|
/dports/devel/p5-Algorithm-NaiveBayes/Algorithm-NaiveBayes-0.04/t/ |
H A D | 01-basic.t | 21 label => ['vampire'] ); 25 label => ['vampire'] ); 37 ok $h->{vampire} < 0.5; 42 ok $h->{vampire} > 0.5;
|
/dports/games/unnethack/unnethack-5.1.0-20131208/dat/ |
H A D | Wizard.des | 13 MON_GENERATION:86%, (64,"vampire bat"), (16,'B'), (16,"xorn"), (4,'W') 112 MON_GENERATION:86%, (64,"vampire bat"), (16,'B'), (16,"xorn"), (4,'W') 194 MONSTER:('B',"vampire bat"),random 208 MON_GENERATION:86%, (64,"vampire bat"), (16,'B'), (16,"xorn"), (4,'W') 311 MONSTER:('B',"vampire bat"),random 354 MONSTER: ('B', "vampire bat"), random 355 MONSTER: ('B', "vampire bat"), random 364 MONSTER: ('B', "vampire bat"), random 379 MONSTER: ('B', "vampire bat"), random 415 MONSTER: ('B', "vampire bat"), random [all …]
|
H A D | gehennom.des | 156 MONSTER:('B',"vampire bat"),random 570 MONSTER:('V',"vampire"),(35,16) 571 MONSTER:('V',"vampire"),(35,14) 593 MONSTER:('V',"vampire"),random 594 MONSTER:('V',"vampire"),random 595 MONSTER:('V',"vampire"),random 704 MONSTER:('V',"vampire"),(73,05) 705 MONSTER:('V',"vampire"),(69,04) 752 MONSTER:('V',"vampire"),random 753 MONSTER:('V',"vampire"),random [all …]
|
/dports/games/vultures-eye/vulture-2.3.67/unnethack/dat/ |
H A D | Wizard.des | 13 MON_GENERATION:86%, (64,"vampire bat"), (16,'B'), (16,"xorn"), (4,'W') 112 MON_GENERATION:86%, (64,"vampire bat"), (16,'B'), (16,"xorn"), (4,'W') 194 MONSTER:('B',"vampire bat"),random 208 MON_GENERATION:86%, (64,"vampire bat"), (16,'B'), (16,"xorn"), (4,'W') 310 MONSTER:('B',"vampire bat"),random 353 MONSTER: ('B', "vampire bat"), random 354 MONSTER: ('B', "vampire bat"), random 363 MONSTER: ('B', "vampire bat"), random 378 MONSTER: ('B', "vampire bat"), random 414 MONSTER: ('B', "vampire bat"), random [all …]
|
H A D | gehennom.des | 139 MONSTER:('B',"vampire bat"),random 535 MONSTER:('V',"vampire"),(35,16) 536 MONSTER:('V',"vampire"),(35,14) 558 MONSTER:('V',"vampire"),random 559 MONSTER:('V',"vampire"),random 560 MONSTER:('V',"vampire"),random 668 MONSTER:('V',"vampire"),(73,05) 669 MONSTER:('V',"vampire"),(69,04) 716 MONSTER:('V',"vampire"),random 717 MONSTER:('V',"vampire"),random [all …]
|