Project

General

Profile

Bug #92

expression should have been normalized in EMF backend

Added by Hamza Bourbouh almost 2 years ago. Updated about 4 hours ago.

Status:
New
Priority:
High
Category:
Bug
Start date:
11/14/2019
Due date:
% Done:

0%


Description

lustrec -emf test.lus
.. parsing source file ./test.lus
.. Phase 1 : Normalisation
.. expanding automata
.. checking stateless/stateful status
.. typing
.. clock calculus
.. normalization
.. generating compiled header file ./test.lusic
.. keeping floating-point numbers

.. Phase 2 : Machines generation
.. scheduling

.. machines generation

Fun expression should have been normalized: + (j(L), 1)
Raised by primitive operation at file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_compiler.ml", line 139, characters 4-37
Fatal error: exception File "backends/EMF/EMF_common.ml", line 318, characters 87-93: Assertion failed
Raised by primitive operation at file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_compiler.ml", line 139, characters 4-37

test.lus (199 Bytes) Hamza Bourbouh, 11/14/2019 05:15 AM

History

#1 Updated by Anonymous 27 days ago

Comment

acheter cialis belgique sans ordonnance

#2 Updated by Anonymous 24 days ago

Comment

Viagra Dresden

#3 Updated by Anonymous 24 days ago

#4 Updated by Anonymous 20 days ago

Comment

<a href=http://buypropeciaon.com/>Propecia</a>

#5 Updated by Anonymous 20 days ago

Comment

Cialis Pagamento Postepay

#6 Updated by Anonymous 20 days ago

#7 Updated by Anonymous 19 days ago

Comment

Canadian Viagra Paypal

#8 Updated by Anonymous 18 days ago

Comment

<a href=https://buysildenshop.com/>Viagra</a>

#9 Updated by Anonymous 15 days ago

Comment

<a href=https://buystromectolon.com/>ivermectin 3 mg tablet price</a>

#10 Updated by Anonymous 15 days ago

Comment

http://buystromectolon.com/ - stromectol cost

#11 Updated by Anonymous 15 days ago

#12 Updated by Anonymous 15 days ago

Comment

<a href=http://buytadalafshop.com/>Cialis</a>

#13 Updated by Anonymous 9 days ago

Comment

Finasteride Uk Side Effects Of Propecia

#14 Updated by Anonymous 7 days ago

#15 Updated by Anonymous 6 days ago

Comment

<a href=https://buyzithromaxinf.com/>Zithromax</a>

#16 Updated by Anonymous 6 days ago

Comment

Propecia Low Dose Testosterone

#17 Updated by Anonymous 5 days ago

Comment

what is levitra

#18 Updated by Anonymous 4 days ago

Comment

Ciplactin

#19 Updated by Anonymous 2 days ago

#20 Updated by Anonymous 2 days ago

Comment

<a href=http://buypriligyhop.com/>Priligy</a>

#21 Updated by Anonymous 1 day ago

Comment

http://buypriligyhop.com/ - priligy kaufen

#22 Updated by Anonymous 1 day ago

Comment

We spent a lot of time at her home. Maybe so her mother could keep an eye on us. Mrs. Spencer made sure to be around, offering drinks, snacks, chit chat. I noticed that she was fairly young herself. Granted at my age, anyone over 25 was old, but she was probably mid-30s, divorced. If she was a indiction of how Carley would develop, maybe I should wait. Mrs. Spencer had fuller breasts and a nice butt. She appeared to be in great shape for her "advanced" age. I knew she was keeping an eye on me as much as I was on her and her younger daughter. Her eldest, Sharon was away at college at the time. With Mrs. Spencer around we mostly limited ourselves to holding hands and sneaking in a few light kisses. One day Mrs. Spencer caught us by surprise walking in as I'd slid my hand up from Carley's stomach to rub her right breast through her shirt. She didn't really need a bra yet, so I could feel her nipple, hard, through her shirt. Just this much contact had me hard also.

https://sites.google.com/view/aQpbANmOPe2iCnl1 https://sites.google.com/view/oVjoZouTw1l6HtrQ

#23 Updated by Anonymous 1 day ago

Comment

<a href=https://buyplaquenilcv.com/>hydroxychloroquine buy</a>

#24 Updated by Anonymous about 10 hours ago

Comment

<a href=http://buylasixshop.com/>Lasix</a>

#25 Updated by Anonymous about 4 hours ago

Comment

https://buyzithromaxinf.com/ - buy azithromycin 500mg

Also available in: Atom PDF