"the general meaning of ex post facto laws is an act having a" . . . .