A leap year check in three instructions (via wizardishungry) — discussion
#c #compilers #formalmethods
