https://github.com/mit-plv/rewriter
Tip revision: 19f344b0a675c0da2c40168e59418991ebe29271 authored by Gaëtan Gilbert on 29 July 2024, 21:55:44 UTC
speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157)
speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157)
Tip revision: 19f344b
Makefile.local
PROFILE?=
OTHERFLAGS += -w -notation-overridden,-unusable-identifier
ifneq ($(PROFILE),)
OTHERFLAGS += -profile-ltac
endif
include src/Rewriter/Rewriter/Examples/PerfTesting/Makefile.coq.local
