J

Java Decision Diagram Libraries

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 8 hours ago. based on code collected about 17 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 18, 2023 — Apr 18, 2024 Showing page 1 of 3 Search / Filter on:
release 104: * fix oneSat bug where dont care was never used. Thanks to Braione for bug report * increased batch file memory heap to 512MB, probably required due to newer versions of JVM. * removed JIKES	vahidi	More...				about 12 years ago
see https://sourceforge.net/tracker2/?func=detail&aid=2053517&group_id=113884&atid=666534	vahidi	More...				over 15 years ago
see https://sourceforge.net/tracker2/?func=detail&aid=2053432&group_id=113884&atid=666534	vahidi	More...				over 15 years ago
minor fixes in ZDD2	vahidi	More...				over 16 years ago
Build 103: optimized ZDD functions: exclude/noSubset/noSupset renamed JDD to JDDConsole +minor fixes	vahidi	More...				over 16 years ago
Binary libs added again.	vahidi	More...				about 19 years ago
build 102. nothing new, really. its just a new build number :)	vahidi	More...				about 19 years ago
Updated to work with the new JBDD interface	vahidi	More...				about 19 years ago
HashTest utility added	vahidi	More...				about 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
updated to version 1.20 new directory structure JBDD is now inside a package.	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
New code checked in	vahidi	More...				over 19 years ago
(OLD STUFF REMOVED)	vahidi	More...				over 19 years ago
allow files to be appended	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
Small changes made to make AutomataAnalyzerData.print* work nicer	vahidi	More...				over 19 years ago
initial checkin	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
minor fix	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
petrinets may now not be 1-safe. changes has been made to the ZDD+PN to reject such petrinets	vahidi	More...				over 19 years ago
playing with the ordering algoirhtm. no big changes	vahidi	More...				over 19 years ago
minor updates	vahidi	More...				over 19 years ago
in some places, an objects flags are now stored in a Flags object instead of a 32-bit integer or multiple booleans	vahidi	More...				over 19 years ago
The XML file formats has now changed a bit...	vahidi	More...				over 19 years ago
Configuration example added	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
more carefull XML state watch	vahidi	More...				over 19 years ago

←
1
2
3
→