Frama-C Bug Tracking System

View Revisions: Note 5189 Back to Issue ]
Summary 0001630: Make identifiers in Coq proofs more similar to those from C code


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker