Home
last modified time | relevance | path

Searched refs:vampire (Results 1 – 25 of 764) sorted by relevance

12345678910>>...31

/dports/math/vampire/vampire-4.5.1/scripts/
H A Ddogcov.sh12 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 DWizard.des211 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 Dgehennom.des138 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 DWizard.des211 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 Dgehennom.des138 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 DWizard.des211 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 Dgehennom.des138 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 DWizard.des232 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 Dgehennom.des156 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 DWizard.des232 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 Dgehennom.des156 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 DWizard.des211 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 Dgehennom.des138 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 DWizard.des211 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 DWizard.des211 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 DWizard.des211 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 DSlayer.des243 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 Dsv_vampire.qc3 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.gitignore14 vampire
19 vampire.exe
23 .kdbgrc.vampire*
H A DREADME.md25 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 D01-basic.t21 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 DWizard.des13 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 Dgehennom.des156 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 DWizard.des13 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 Dgehennom.des139 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 …]

12345678910>>...31