Activity
New command &randsyn (fixing scalability issue).
New command &randsyn (fixing scalability issue).
Suggested fix of an overflow in vectors.
Suggested fix of an overflow in vectors.
Fixing timing propagation bug in &nf with boxes.
Fixing timing propagation bug in &nf with boxes.
Improvements to LUT cascade mapping.
Improvements to LUT cascade mapping.
Enabling shared variables in bound set evaluation.
Enabling shared variables in bound set evaluation.
Adding new file to windows makefile.
Adding new file to windows makefile.
Experiments with bound-set evaluation.
Experiments with bound-set evaluation.
Fixing big-endian problem if &fx and &deepsyn.
Fixing big-endian problem if &fx and &deepsyn.
Fixing big-endian problems in mfs2 and &mfs.
Fixing big-endian problems in mfs2 and &mfs.