issues
search
btj
/
proof-outline-checker
A checker for Hoare logic proof outlines written as Python programs with assert statements
https://btj.github.io/proof-outline-checker/
MIT License
1
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Support for list slice assignment
#10
SpillebeenArthur
closed
3 months ago
4
Support of list mutation methodes: Clear, Extend, Insert, Pop, Remove
#9
SpillebeenArthur
closed
3 months ago
1
Support for append method
#8
SpillebeenArthur
closed
4 months ago
1
"RangeError: Maximum call stack size exceeded" on type error
#7
btj
closed
5 months ago
1
CI: skip deployment when checking PR
#6
btj
closed
6 months ago
0
Listmutations & Aliasing
#5
SpillebeenArthur
closed
4 months ago
1
QOL interface changes
#4
vlad2305m
opened
1 year ago
0
Add tooltips for Shape errors
#3
vlad2305m
closed
1 year ago
0
Add LICENSE
#2
vlad2305m
closed
1 year ago
0
Allow if-statements without a precondition
#1
vlad2305m
closed
1 year ago
1