Hello, We have some verification applications for which we would like to use F* but they need floating point support. I've heard that Z3 now has floating point support. From looking at F* sources it appears it has stubbed support for floating point types.
Can someone comment on what plans, if any, there are to add support for floating point computations in F*? Thanks, Richard L Ford
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
