Project

General

Profile

Bug #83

Bug #82: kind2 output for every

Kind2 output "bool clock" => "bool"

Added by Hamza Bourbouh 5 months ago. Updated 5 months ago.

Status:
Closed
Priority:
Normal
Category:
Feature
Start date:
07/16/2019
Due date:
% Done:

0%

History

#1 Updated by Pierre-Loïc Garoche 5 months ago

  • Status changed from New to Closed
Comment

commit ae08b9fc9

Also available in: Atom PDF