issues
search
jgalenson
/
piVC
The Pi verifying compiler.
GNU General Public License v3.0
4
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
piVC verifies termination when it shouldn't (integer division)
#5
mvolfik
opened
7 months ago
5
Incorrect behavior for global variables
#4
namasikanam
opened
3 years ago
1
pivc fails to compile .pi source code
#3
maranp
opened
6 years ago
2
Adding "auto save on compile" menu option
#2
jankofron
closed
7 years ago
0
Add increase and decrease font functionality
#1
jankofron
closed
7 years ago
0