s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
2931 Commits
5 Branches
0 Tags
31 MiB
Tree: 67616712b0
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '67616712b0'
${ noResults }
Commit Graph

15 Commits (67616712b06ef9e8eb3c421bb2d03b63d810ca65)

Author SHA1 Message Date
Dave Parker 75197e3d22 Handle NaN better as a constant. [from Joachim Klein]
10 years ago
Dave Parker dc146fbf63 Commenting to document recent changes to CUDD constant hashing/truncation. [from Joachim Klein]
10 years ago
Dave Parker 325d8c5cd2 Fixes to handling of constants in CUDD - factor out pre-hash truncation in to a separate function and make sure truncation is also carrued oit when *re*hashing the table. [from Joachim Klein]
10 years ago
Dave Parker 4a1df23fb6 Remove compile warning.
11 years ago
Dave Parker 4cfb678ffe Fix for compiling on linux32 (gromit): isfinite -> finite.
12 years ago
Dave Parker a72a2d6e4b Upgrade CUDD to version 5.0.
13 years ago
Dave Parker 0ae0b36ebe Bug fix: stop a floating point exception (if enabled) (found by Christian von Essen).
14 years ago
Dave Parker 4808d51a97 Bug fix in export DD to Dot file.
15 years ago
Dave Parker d36cb8496a Correct handling of mod (error on non-positive divisor, positive result for negative dividend).
15 years ago
Dave Parker 9b2f75f034 Updated CUDD from version 2.4.0 to 2.4.2; also removed extra Makefiles.
16 years ago
Dave Parker 9ece01bfd4 Addition of function Cudd_addFirstFilter.
17 years ago
Dave Parker 83d05eb360 Bug fix: Apply logarithm function.
18 years ago
Dave Parker dc7c7f2817 Added log(x,b) function to CUDD.
18 years ago
Dave Parker 445d4931a8 Removed CUDD doc directories from distribution.
19 years ago
Dave Parker d4078e6a15 Population of CUDD in main trunk.
20 years ago