AllanBlanchard/Frama-C-Conc2Seq
Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one
OCamlLGPL-3.0
Issues
- 2
Fails to build with Frama-C 18.0
#1 opened by jimon
Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one
OCamlLGPL-3.0