Florida constitution
Article I: "declaration of rights"
Section 10

No bill of attainder, ex post facto law or law impairing the obligation of contracts shall be passed.