[gambit-list] Dependeny graphs for reachable bindings: Gambit 4.9.3 vs 4.9.4

Sven Hartrumpf hartrumpf at gmx.net
Tue Jan 4 10:15:06 EST 2022


Investigating the original .dg files showed that the format was extended
so that my (not too clever) postprocessor missed some pieces of information.
For example, some dependency arcs are now annotated with "[style = dotted]".

After fixing this in my postprocessor, the reachability analyses are identical
when using Gambit 4.9.3 and 4.9.4.

Ciao
Sven



More information about the Gambit-list mailing list