From: WANG Date: Mon, 9 Sep 2013 12:24:47 +0000 (+0200) Subject: Completing Faustine by adding following primitives : float, power, &, |, xor, >=... X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/commitdiff_plain/f3ad8b46ca1621f4a90db91ed6f9c1eceac96c4c?hp=f3ad8b46ca1621f4a90db91ed6f9c1eceac96c4c Completing Faustine by adding following primitives : float, power, &, |, xor, >=, <=, ==, !=, acos, asin, tan, exp, log, log10, abs, fmod, remainder, ceil, rint, rwtable. ---