0

An issue in the bug-tracking system of Frama-C contains a note:

"was fixed by commit xyz. Fix will appear in Phosphorus."

How do I update frama-c to that specific commit? I installed frama-c on Ubuntu via opam.

byako
  • 3,372
  • 2
  • 21
  • 36
veeco
  • 47
  • 6

1 Answers1

1

(I am a Frama-C developer.) The individual commits are currently not accessible to non-developers, and I've modified the BTS issue accordingly. We release snapshot versions of Frama-C every 6 months. We expect the release of Phosphorus, which will contain this particular fix, to happen in May.

byako
  • 3,372
  • 2
  • 21
  • 36