https://github.com/mit-plv/rewriter
Tip revision: 43447bca046ca72326e1c7479a4921a0e216a8f8 authored by Jason Gross on 19 September 2023, 18:26:17 UTC
`Proj.equal` has been upstreamed, so use it directly (#114)
`Proj.equal` has been upstreamed, so use it directly (#114)
Tip revision: 43447bc
Makefile.local
PROFILE?=
OTHERFLAGS += -w -notation-overridden,-unusable-identifier
ifneq ($(PROFILE),)
OTHERFLAGS += -profile-ltac
endif
include src/Rewriter/Rewriter/Examples/PerfTesting/Makefile.coq.local
