issues
search
parttimenerd
/
while-semantics
A visualization of evaluations of the while language via semantic rules.
http://mostlynerdless.de/while-semantics/
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Encode the current program configuration in the url to allow the easier sharing of it
#8
parttimenerd
closed
7 years ago
1
Block rule in small step?
#7
lohner
closed
7 years ago
3
Show derivation tree for each step in small step
#6
lohner
opened
7 years ago
1
Mouseover in SmallStep mode misleading.
#5
lohner
closed
7 years ago
0
Simplify BlockSS
#4
Kha
closed
7 years ago
0
Check initial state early
#3
Kha
closed
7 years ago
2
BlockBS rule should show how the sigmas relate in derivation tree
#2
Kha
closed
7 years ago
0
Mouseover in SmallStep mode shows Assignment rule from BigStep...
#1
lohner
closed
7 years ago
0