git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c8290d) | patch
eval: If multiple goals match a tactic, run them all.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 07:54:11 +0000 (07:54 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 08:00:16 +0000 (08:00 +0000)
commitf7198dfc6a473781b429871cb098325c1b8ce331
tree9a91fc7915148f96d5d4a07db08a3bbdc2e72edetree | snapshot
parent5c8290d1d50fdda7b69641242aced87eea0c267bcommit | diff
eval: If multiple goals match a tactic, run them all.
src/ast.mli diff | blob | history
src/eval.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.