issues
search
pepper-project
/
pepper
A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
Other
60
stars
16
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bugfix with lexical scoping
#5
bjmnbraun
closed
5 years ago
0
Private prover input on float numbers
#4
fattaneh88
opened
5 years ago
4
error in mm_pure_arith
#3
fattaneh88
closed
5 years ago
5
Front-end can't handle character literals
#2
elazarg
opened
8 years ago
0
Infinite loop in frontend
#1
elazarg
opened
8 years ago
3