Project

General

Profile

Bug #64

Typing error

Added by Hamza Bourbouh about 3 years ago. Updated 3 days ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
02/28/2018
Due date:
% Done:

0%


Description

lustrec -d build Product_PP.lus
.. parsing source file ./Product_PP.lus
.. Phase 1 : Normalisation
.. expanding automata
.. extracting dependencies
Library /Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/lustrec/include/lustrec/conv
.. checking stateless/stateful status
.. typing
.. clock calculus
.. generating compiled header file build/Product_PP.lusic
.. normalization
Failure in typing expr int_to_real. Not in typing environement
Called from file "arg.ml", line 214, characters 2-73
Fatal error: exception Types.Make(BasicT).Error(_, _)
Called from file "arg.ml", line 214, characters 2-73

Product_PP.lus (404 Bytes) Hamza Bourbouh, 02/28/2018 12:59 AM

History

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

  • Status changed from New to Resolved
Comment

Not a typing error in secret unstable branch

#2 Updated by Pierre-Loïc Garoche almost 3 years ago

  • Status changed from Resolved to Closed

#3 Updated by Anonymous 3 days ago

Comment

Ensure that it stays easy Any composition name includes of naming an newspaper, its own role. This indicates that you also tell the narrative directly and also simply don have to really go. Earn a outline. It ought to be brief and clear as a header on slogan or your paper to a blockbuster. https://jdotnetservices.com/compose-term-paper-effectively/

Also available in: Atom PDF