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

32 Commits (master)

Author SHA1 Message Date
Joachim Klein 9bc5baac09 cudd Makefile: recursive calls of make via $(MAKE)
8 years ago
Joachim Klein a8f26d2346 cudd, cpu_time.c: Include time.h for MINGW32 target
9 years ago
Joachim Klein 8c7311e417 Win64 cleanup: Backport CUDD 3.0.0 fixes for pointer-to-integer casts on Windows
9 years ago
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 c51c96bd57 Makefile tweak: Debug symbols off by default.
16 years ago
Dave Parker e68ea3678f Missing files from last commit.
16 years ago
Dave Parker 3c03ce87bd Missing files from last commit.
16 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 e98a2ffbf8 Bug fix for 64-bit build on Mac OS X.
16 years ago
Dave Parker a3a2b7c432 Ensure possible to build 32-bit version on 64-bit Macs.
16 years ago
Dave Parker ccd0821094 First attempt at 64-bit OS-X Makefiles.
17 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 1a888978b4 Updated 'modified' info.
19 years ago
Dave Parker 445d4931a8 Removed CUDD doc directories from distribution.
19 years ago
Dave Parker 7a5097e768 Added dddmp package back into CUDD.
19 years ago
Dave Parker 23484014af Removed -m64 switch from linux-64 makefile (IA64 compatability).
19 years ago
Dave Parker 85fc27cdf9 (Actual) addition of 64-bit Linux makefile.
19 years ago
Dave Parker 5041398fae Tidy up of CUDD makefiles (and addition of 64-bit Linux makefile).
19 years ago
Dave Parker e3de4cbfe2 Tidy up of "modifed" info about CUDD.
19 years ago
Dave Parker d4078e6a15 Population of CUDD in main trunk.
20 years ago
Dave Parker b54050a199 PRISM trunk layout rearrangement.
20 years ago
Dave Parker 30e24567d5 Setting trunk version of PRISM to 2.1.dev11.sim8.
20 years ago