Project

General

Profile

Edit

Bug #83

Bug #82: kind2 output for every

Kind2 output "bool clock" => "bool"

Added by Hamza Bourbouh about 2 years ago. Updated about 2 years 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 about 2 years ago

  • Status changed from New to Closed
Comment

commit ae08b9fc9

Edit

Also available in: Atom PDF