issues
search
coq-community
/
reduction-effects
A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Mozilla Public License 2.0
6
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Move to coq main line / relicensing
#24
MSoegtropIMC
opened
3 weeks ago
6
_UNBOUND_REL_i
#23
yforster
opened
4 months ago
5
Adapt to coq/coq#19362 (reduction effects take locality)
#22
SkySkimmer
closed
4 months ago
0
Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
#21
rtetley
closed
8 months ago
0
Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
#20
rtetley
closed
1 year ago
0
Support for Coq 8.18
#19
SnarkBoojum
closed
1 year ago
4
Support for timing effects
#18
JasonGross
opened
1 year ago
0
Adapt to coq/coq#17633 (decompose_app returns array not list)
#17
SkySkimmer
closed
1 year ago
0
Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
#16
MSoegtropIMC
closed
1 year ago
0
Please create a tag for Coq 8.16 in Coq Platform 2022.09
#15
MSoegtropIMC
closed
2 years ago
7
Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02
#14
MSoegtropIMC
closed
2 years ago
2
adapt to coq/coq#15220
#13
gares
closed
2 years ago
5
Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11
#12
MSoegtropIMC
closed
3 years ago
4
Switch license to MPL
#11
liyishuai
closed
4 years ago
9
print_id in match prints nothing
#10
VincentSe
closed
4 years ago
1
Regenerate files from latest templates.
#9
Zimmi48
closed
4 years ago
0
Printing Effects should support vm_compute and native_compute
#8
JasonGross
opened
4 years ago
3
Cleanup code
#7
SkySkimmer
closed
4 years ago
0
tests: tee output
#6
liyishuai
closed
4 years ago
0
Add support for Coq 8.10, 8.11; remove support for Coq 8.9
#5
JasonGross
closed
4 years ago
5
Support for Coq 8.10
#4
JasonGross
closed
4 years ago
0
Add minimal meta.yml file and generated README.md.
#3
Zimmi48
closed
5 years ago
4
add opam
#2
liyishuai
closed
5 years ago
2
Please make this plugin available on opam
#1
JasonGross
closed
5 years ago
1