I was just browsing the Infiltration webpage and came up with this:
Make your own conclusions, I sure made mine
Make your own conclusions, I sure made mine
Originally posted by DarkBls
PHP:main { while(notReleased(2.87)) refreshButon(); Download(); InfLaunch(); }
While(!team.release.287)
{
Sendto(coding_cave, team);
if(team.release.time == now)
team.release = true;
}
team.release.files.download();
infiltration.start();
Community Map Pack 1 Update
Posted by: Scrumpy_Jack on Wednesday, January 30, 2002
This is an update of the first release of the community map pack.
It fixes a problem with a missing texture and corrupt files in the community map pack 1
Two files are released.
A modified full version of the pack, for people who haven't already downloaded the files, and an update for those who have.
Originally posted by IceWeasel
Uhm, Keg, your code doesn't work... heard about endless loops? (no, it has nothing to do with the team or the release, it's a coding bug...). Do you find it?
I couldn't have said it better. The sendto function might require some violent calls to function properly (ie to keep the team in the cave)...Well. Since he is overwriting the class/struct called team.release (it's supposed to have a 287 variable) with a boolean. It's likely to crash when it's released. Not the intended result. But perhaps that will make him notice it's been released ;p
I'm a bit conserned about the resource hogging of the sendto function tho... It might require a lot of resources. And it will be running for some time.
Argh.... I hate theoretical computer science!Of course the code does not work. He hasn't even tested it for partial correctness using Hoare's logic...
No, programers. And as Catalyst likes to say: Programers are evil!uhhhhhhhh
NERDS!
I know. That's my problem. (I'm talking about university).Originally posted by Puncher
That's first year university here in Aachen (Computer Science). Hoare's logic is not really difficult (except finding the invariant sometimes), but generally quite tedious. Much later you can learn how to do this sort of testing at least partially with the computer. Although the computer isn't really good at finding the correct invariant