3 Nov
2005
3 Nov
'05
3:21 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2005-11-03 15:21:06
Modified files: doc : definitions.dox ppl.sty
Log message: Added a draft new section on "Integers Represented by Floating Point Numbers". This contains results that are needed to prove the correctness of our implementation of the GCD and LCM operations. (Joint work with Alessandro Zaccagnini and Abramo Bagnara.)
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&a...