Project

General

Profile

Bug #83

Bug #82: kind2 output for every

Kind2 output "bool clock" => "bool"

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

Status:
Closed
Priority:
Normal
Assignee:
Pierre-Loïc Garoche
Category:
Feature
Start date:
07/16/2019
Due date:
% Done:

0%

History

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

  • Status changed from New to Closed

commit ae08b9fc9

Also available in: Atom PDF