Project

General

Profile

Activity

From 04/18/2018 to 05/17/2018

05/16/2018

04:33 PM Bug #58 (Closed): int to long long int
Already supported by option -real or -int Pierre-Loïc Garoche
04:32 PM Bug #64 (Closed): Typing error
Pierre-Loïc Garoche
04:31 PM Bug #64 (Resolved): Typing error
Not a typing error in secret unstable branch Pierre-Loïc Garoche
04:30 PM Bug #65: integer division (euclidein division)
Considering producing valid integer division and modulo instead of C ones. To be discussed. Pierre-Loïc Garoche

05/08/2018

10:39 PM Bug #65 (Closed): integer division (euclidein division)
node top(x, y:int)
returns(z:int);
let
z = x/y;
tel
This is translated as x/y in C, which is different fro...
Hamza Bourbouh
 

Also available in: Atom