GitXplorerGitXplorer
m

sic

public
5 stars
0 forks
1 issues

Commits

List of commits on branch master.
Unverified
822979a189dbd84c21eec50aa223d911690d98ac

Improve rpow.dfy

committed 7 years ago
Unverified
866ff72618201a10835daf787651e3c6b8ae53e4

Fix compilation of --> in S2

committed 7 years ago
Verified
cda2de1ffddcd110e11ac9439e00f32125dfc421

fix bug

mmbrock committed 7 years ago
Verified
b4f2855dfa80a44181a5f34f914c9b344edde324

fix RPOW / EXP typo!

mmbrock committed 7 years ago
Unverified
d1e6e8a9fbb70aaf79cc6b7b4e337467c295dfa4

Make dafny rpow work with dafny 1.9.8

committed 7 years ago
Unverified
5fa37add084e202b67e8c9098a364447202e1a6e

Update rpow.dafny to reflect the pseudo code in Sic.agda

committed 7 years ago