Revert of pins2lts-sym problematic commit; this is important because the flags in pins-impl.h are now not applied for different versions of the Sym tool.
Minor changes to vset,tests so sylvan/lddmc can be tested.
Significant changes to vset_sylvan and vset_lddmc. Now use the newest Sylvan version. Several changes are related to performance (using pointer protection for garbage collection instead of value referencing); we also improve the file format so projections are stored explicitly. Code polished, refactored, and additional comments for documentation. Small bugs in LDDmc fixed.
Revert of pins2lts-sym problematic commit; this is important because the flags in pins-impl.h are now not applied for different versions of the Sym tool.
Minor changes to vset,tests so sylvan/lddmc can be tested.
Significant changes to vset_sylvan and vset_lddmc. Now use the newest Sylvan version. Several changes are related to performance (using pointer protection for garbage collection instead of value referencing); we also improve the file format so projections are stored explicitly. Code polished, refactored, and additional comments for documentation. Small bugs in LDDmc fixed.