Try a simpler algorithm for detecting cycles.
[goals.git] / src / deps.ml
2021-03-01 Richard W.M. JonesTry a simpler algorithm for detecting cycles.
2020-04-17 Richard W.M. JonesDetect dependency cycles earlier and print a better...
2020-01-20 Richard W.M. JonesRename tactic -> predicate.
2020-01-20 Richard W.M. JonesImplement keep-going (-k) option.
2020-01-10 Richard W.M. JonesSplit implementation into dependency analysis and trave...