issues
search
mit-plv
/
cross-crypto
Connecting computational and symbolic crypto models
MIT License
8
stars
19
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Adapt w.r.t. coq/coq#18895.
#37
ppedrot
closed
5 months ago
0
bump fcf
#36
andres-erbsen
closed
6 months ago
0
Bump fcf to the latest commit
#35
Villetaneuse
closed
9 months ago
1
Adapt to Coq/Coq#18164
#34
Villetaneuse
closed
10 months ago
1
Adapt w.r.t. coq/coq#17564.
#33
ppedrot
closed
1 year ago
0
bump fcf
#32
andres-erbsen
closed
1 year ago
0
Adapt to coq/coq#16920
#31
olaure01
closed
1 year ago
0
bump fcf (more robust goal selection)
#30
mrhaandi
closed
2 years ago
1
Adapt w.r.t. coq/coq#16004.
#29
ppedrot
closed
2 years ago
1
Bump FCF submodule commit.
#28
ppedrot
closed
2 years ago
0
Remove 8.12 and 8.13
#27
JasonGross
closed
2 years ago
0
Fix for coq PR #13969
#26
mattam82
closed
2 years ago
4
Compatibility with coq/coq#14736
#25
olaure01
closed
2 years ago
1
Adapt to coq/coq#13837 ("apply with" does not rename arguments)
#24
SkySkimmer
closed
2 years ago
1
Adapt to coq/coq#14819
#23
proux01
closed
3 years ago
0
Remove uses of omega (and drop support for Coq <= 8.11)
#22
JasonGross
closed
3 years ago
0
Bump fcf submodule.
#21
Zimmi48
closed
3 years ago
1
Adapt to fixing dropped implicit arguments in Context.
#20
herbelin
closed
3 years ago
0
Update fcf submodule.
#19
Zimmi48
closed
4 years ago
0
Fix w.r.t. coq/coq#12512.
#18
ppedrot
closed
4 years ago
0
Compatibility with Coq PR 11906
#17
fajb
closed
4 years ago
1
Remove a leftover SearchAbout.
#16
Zimmi48
closed
4 years ago
1
Update FCF & simplify a proof
#15
vbgl
closed
4 years ago
1
Update fcf
#14
vbgl
closed
4 years ago
0
Update FCF for compatibility with https://github.com/coq/coq/pull/10476
#13
maximedenes
closed
5 years ago
3
Fix w.r.t. coq/coq#10441.
#12
ppedrot
closed
5 years ago
2
Update FCF submodule
#11
maximedenes
closed
5 years ago
1
Update FCF head for compatibility with Coq PR #7257.
#10
herbelin
closed
5 years ago
0
Please make your project compile with -w "+compatibility-notation"
#9
Zimmi48
closed
6 years ago
5
comply with coq/coq#8151
#8
liyishuai
closed
6 years ago
1
unify distinguisher and adversary?
#7
andres-erbsen
closed
6 years ago
1
bump fcf soon
#6
andres-erbsen
closed
6 years ago
1
debugging setoid_rewrite runaway typeclass resolution
#5
andres-erbsen
opened
6 years ago
1
Authenticated Encryption
#4
andres-erbsen
opened
6 years ago
1
Public Key Encryption
#3
andres-erbsen
closed
6 years ago
0
TODO list
#2
cryslith
opened
6 years ago
0
build on travis
#1
andres-erbsen
closed
6 years ago
0