Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!273
ltac_tactics.v: drop dead branch
Code
Review changes
Check out branch
Download
Patches
Plain diff
Paolo G. Giarrusso
requested to merge
Blaisorblade/iris:drop-dead-ltac-branch
into
master
Jun 15, 2019
Overview
17
Commits
2
Pipelines
0
Changes
3
Expand
Remove dead support for
lazy_tc
. I still suspect fixing
lazy_tc
should be investigated.
Edited
Jun 16, 2019
by
Paolo G. Giarrusso
Merge request reports