issues
search
uwplse
/
stng
compiler for fortran stencils using verified lifting,
http://stng.uwplse.org
MIT License
17
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
docker build failed for frontend
#14
zpmaths
closed
2 years ago
4
simple 3-point stencils result in wrong translations
#13
sdorkenw
closed
7 years ago
7
timers.f was missing
#12
sdorkenw
opened
7 years ago
0
Some sketches in cloverleaf cannot be resolved
#11
sdorkenw
opened
7 years ago
2
Checking with Z3 fails
#10
sdorkenw
closed
7 years ago
1
two backend readme bug fixes
#9
akcheung
closed
7 years ago
0
Z3 generation template is too complicated
#8
shoaibkamil
opened
7 years ago
0
backend docker instructions
#7
akcheung
closed
7 years ago
2
Can't create Z3 or halide code from .sk.out
#6
sdorkenw
opened
7 years ago
4
sketch-level default value is not working
#5
sdorkenw
closed
7 years ago
0
Running the frontend on NAS MG tests fails
#4
sdorkenw
closed
7 years ago
6
How to create sketch ouputs?
#3
sdorkenw
closed
7 years ago
2
Creating sketches for stencilmark tests fails
#2
sdorkenw
opened
7 years ago
1
changed docker image, because the original one is not available anymore
#1
sdorkenw
closed
7 years ago
0