5 Nov
2006
5 Nov
'06
3:06 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2006-11-05 15:06:35
Modified files: . : TODO
Log message: Remember to add a "quick assign" function to checked numbers that allows to efficiently assign small integer constants (like those in the range [-2, 2]) that are guaranteed not to cause any rounding or overflow problems.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1...