Project

General

Profile

Bug #76

Import error: Load error: imported node real_to_int declared in a regular Lustre file. File "include/conv.lusi", line 1, characters 0-64:

Added by Hamza Bourbouh about 2 years ago. Updated 1 day ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Start date:
04/03/2019
Due date:
% Done:

0%


Description

Branch used: Seal version 1.7-1000-lustrec-seal (Xia/Huai-dev)
lustrec -horn -d toto -algebraic-loop-solve ap_12BAdaptedInlined.LUSTREC.lus
.. parsing source file ./ap_12BAdaptedInlined.LUSTREC.lus
.. Phase 1 : Normalisation
.. expanding automata

.. Library /Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/include/lustrec/conv

.. Library /Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/include/lustrec/lustrec_math
ok1
ok2
ok3
.. checking stateless/stateful status .. typing .. clock calculus
.. normalization
.. generating compiled header file toto/ap_12BAdaptedInlined.LUSTREC.lusic
.. keeping floating-point numbers
.. Phase 2 : Machines generation
.. scheduling
Algebraic loop detected: solving mode actived
Import error: Load error: imported node real_to_int declared in a regular Lustre file.
File "include/conv.lusi", line 1, characters 0-64:

ap_12BAdaptedInlined.LUSTREC.lus (138 KB) Hamza Bourbouh, 04/03/2019 04:00 AM

History

#1 Updated by Anonymous about 1 month ago

Comment

Have you all seen this as the caption here states Write an expository essay so i guess assignment helper is the one who likes to try out stuff for the sake of us. I hope this will be good and grant you many other facts that can be shared by others in the free hours of work sooner.

#2 Updated by Anonymous 26 days ago

Comment

ioioi

#3 Updated by Anonymous 25 days ago

Comment

Omg! Too much technology for my little brain! What I can understand is that this is something about the fixation of a bug. I mean, even after belonging to the panel of best dissertation writers UK, I sometimes mess up my brain cells after looking at so much technology hahaha. Don’t judge me pls. I hope this gets resolved soon mhmm

#4 Updated by Anonymous 25 days ago

Comment

Thanks for sharing this amazing and informative post. I am a Writer at Assignments Planet that provides nursing assignment help UK for students in the UK seeking help in making the best nursing assignment at a cheap price.

#5 Updated by Anonymous 1 day ago

Comment

This is very nice and amazing content and many people liked it because they can improve their abilities and get important information. https://www.theacademicpapers.co.uk/buy-assignments-online.php

Also available in: Atom PDF