J

Java Decision Diagram Libraries

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 17 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 01, 2023 — May 01, 2024 Showing page 2 of 3 Search / Filter on:
secuirty-fix fix :)	vahidi	More...				over 19 years ago
XML loader supremica & DecoGUI compatibility fix	vahidi	More...				over 19 years ago
XML formats and the IO classes are now more intelligent. it is possible to store a graph, a petri net and automata in the same file without collisions	vahidi	More...				over 19 years ago
an issue with SAXParserFactory solved (i hope)	vahidi	More...				over 19 years ago
Build 101	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
changes to all cache structures. SimpleCache and OptimizedCache now use a monolithic array	vahidi	More...				over 19 years ago
the Fibonacci example added to demonstrate use of caches	vahidi	More...				over 19 years ago
build 100	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
Build 100.	vahidi	More...				over 19 years ago
1. graph moved to its own package 2. bdd-automata enhanced 3. ZDD uses fatser caches 4. nodetable now uses doblue linked list (double hash table) instead of hash tables 5. minor changes to the profiler section 6. small changes to other places	vahidi	More...				over 19 years ago
old graph package removed	vahidi	More...				over 19 years ago
AGV petrinet model added	vahidi	More...				over 19 years ago
minor esthetic changes	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
minor IO-related changes	vahidi	More...				over 19 years ago
minor code/comment cleanups	vahidi	More...				over 19 years ago
code cleanup, some comments added	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				over 19 years ago
BED development has been activated again	vahidi	More...				over 19 years ago
Cache hash function refactored to jdd.util.math.HashFunctions	vahidi	More...				over 19 years ago
BDD node-table respresentaion is re-factored. it can now be either a monolithic or three seperated array.	vahidi	More...				over 19 years ago
minor code cleanup (mostly added comments)	vahidi	More...				over 19 years ago
Profiler classes added (still under development)	vahidi	More...				over 19 years ago
* empty log message *	vahidi	More...				almost 20 years ago
representaion of t_var/t_low/t_high re-factored to	vahidi	More...				almost 20 years ago
Changed varset code (exists/relprod/restrict) to use two boolean vectors instead of one integer vector.	vahidi	More...				almost 20 years ago

←
1
2
3
→