Skip to main content

Browse the archive

Revision 86472e09e7045da17684f347b2064b3058824c60 authored by bgregoir on 16 October 2022, 23:52:10 UTC, committed by GitHub on 16 October 2022, 23:52:10 UTC 
add syntaxic upto tactic (#287)
 
The tactic name is `byupto`.
1 parent 9154d9a
Raw File
dune 
(dirs src theories examples scripts)

(install
  (section (bin))
  (files (scripts/testing/runtest as ec-runtest)))
back to top