How to downgrade Frama-C
my frama-c and E-ACSL's version is 24.0+dev, but E-ACSL's version in manual is 23.i.
so I want to downgrade frama-c and E-ACSL.
How to downgrade Frama-C and E-ACSL?
my frama-c and E-ACSL's version is 24.0+dev, but E-ACSL's version in manual is 23.i.
so I want to downgrade frama-c and E-ACSL.
How to downgrade Frama-C and E-ACSL?