Filtering...

fmx-cw

books/system/fmx-cw

Included Books

fmx-cw-support
other
(in-package "ACL2")
local
(local (include-book "fmx-cw-support"))
other
(set-verify-guards-eagerness 3)
other
(verify-termination illegal-fmt-string)
other
(verify-termination fmt-char)
other
(verify-termination zero-one-or-more)
other
(verify-termination standard-evisc-tuplep)
other
(verify-termination fmt-var)
other
(verify-termination find-alternative-skip
  (declare (xargs :verify-guards nil)))
other
(verify-termination find-alternative-start1
  (declare (xargs :verify-guards nil)))
other
(verify-termination find-alternative-start)
other
(verify-termination find-alternative-stop
  (declare (xargs :verify-guards nil)))
other
(verify-termination scan-past-whitespace
  (declare (xargs :verify-guards nil)))
other
(verify-termination fmx-cw-msg-1)
other
(verify-termination fmx-cw-msg)
other
(verify-termination fmx-cw-fn-guard)
other
(verify-termination fmx-cw-fn)
other
(verify-termination fmx!-cw-fn)
other
(verify-termination comment-string-p1)
other
(verify-termination comment-string-p)
other
(verify-termination print-control-p)