Last modified 3 years ago
TracNav
- JPFWiki - Welcome Page
Introduction...
Installing JPF...
User Guide...
Developer Guide...
Projects
- jpf-core
- jpf-actor
- jpf-awt
- jpf-awt-shell
- jpf-concurrent
- jpf-cv
- jpf-delayed
- jpf-guided-test
- jpf-mango
- jpf-racefinder
- jpf-rtembed
- jpf-statechart
- net-iocache
- jpf-aprop
- jpf-numeric
- jpf-symbc
- jpf-concolic?
- jpf-symbc-load?
- jpf-extended-test-gen
- jpf-parallel-spf?
- eclipse-jpf
- netbeans-jpf
- jpf-inspector
- jpf-shell
- jpf-template
- jpf-trace-server
- standard NB example
- Summer Projects
- External Projects
- Change(B)log
About...
- Events
- Presentations
- Papers
- FAQ
- History?
- Support
- People?
- Playground
- Table of Context
jpf-numeric
This JPF project contains an alternative set of bytecode instruction classes that check for numeric properties like overflow, silent NaN propagation and catastrophic cancellation.
Attachments
-
jpf-numeric.zip
(40.6 KB) -
added by pmehlitz@… 3 years ago.
binary distribution 09/11/2009
-
jpf-numeric-r34.zip
(492.0 KB) -
added by pmehlitz@… 12 months ago.
jpf-numeric r34 snapshot (05/24/2011)
-
jpf-numeric-r35.zip
(124.1 KB) -
added by pmehlitz@… 6 months ago.
binary distribution
-
jpf-numeric-r36-src.zip
(467.8 KB) -
added by pmehlitz@… 6 months ago.
source distribution