| commit | 5139e330ac0c87f53b6669b1502dd9b56e5ed6f9 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Tue, 24 Mar 2020 00:30:09 +0000 (24 01:30 +0100) | ||
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | |
| Tue, 24 Mar 2020 08:07:05 +0000 (24 09:07 +0100) | ||
| tree | d327f96f93fdb335fc0fb2df0f70d5584b3809fe | treesnapshot (tar.gz zip) |
| parent | d87a491f4b02efd23bb4922a979a25bf5782f6af | commitdiff |
Task: task_hd_equal and task_equal compare the goals structurally
| src/core/task.ml | diffblobblamehistory |