?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 1aff0e0) | patch
do not fail when goal as no loc when stack_trace is enabled
commitdc10b72ac7a28255f1ede1ca8001aa63191fd71b
authorClaude Marche <Claude.Marche@inria.fr>
Thu, 26 Sep 2024 14:00:53 +0000 (26 16:00 +0200)
committerClaude Marche <Claude.Marche@inria.fr>
Thu, 26 Sep 2024 14:00:53 +0000 (26 16:00 +0200)
tree69da3f76a41d2895ee7b4415ad00cb0ecbc41b63tree | snapshot (tar.gz zip)
parent1aff0e0debcc53ab118abd5fcc610160b974cb72commit | diff
do not fail when goal as no loc when stack_trace is enabled
src/session/itp_server.ml diff | blob | blame | history
A platform for deductive program verification