Issues
- 0
- 2
Add unit test framework starting with LAMP
#31 opened by gchan510 - 2
An error encountered while compiling.
#40 opened by sheenisme - 9
Problems while running tests
#38 opened by righier - 10
- 2
Add an argument to Makefile.example to enable building debug/release version only
#35 opened by andreybokhanko - 4
- 1
SpecPriv Peephole optimizations bug in Release mode
#33 opened by vgene - 7
- 0
Improve Documentation
#30 opened by vgene - 0
Dijkstra still failing
#29 opened by vgene - 2
Make profilings optional
#28 opened by vgene - 4
Make PS-DSWP work
#27 opened by vgene - 1
- 1
All non-void functions need to return something
#24 opened by vgene - 3
Profiler Improvement
#2 opened by vgene - 1
Compatibility with newer versions of glibc
#23 opened by gchan510 - 1
Spec Priv Might Hanged
#8 opened by SusanTan - 2
Improve Devirtualization Precision
#5 opened by vgene - 5
510.parest spec priv failure
#16 opened by ishitachaturvedi - 0
Dealing with `availabe_external` linkage type
#22 opened by vgene - 0
- 0
Change location of heap files
#19 opened by gchan510 - 0
Moving from svn to git for cloning LLVM
#21 opened by gchan510 - 3
SVF Seg Fault
#7 opened by SusanTan - 0
Debug stack Trace
#18 opened by vgene - 3
Profile Has Incomplete Allocation Coverage
#6 opened by SusanTan - 0
Better Representation of LoopProf and EdgeProf
#4 opened by vgene - 3
- 1
Swaption: SCEV Segfault
#15 opened by vgene - 1
Random shm error
#14 opened by vgene - 0
SpecPriv run assertion fail
#13 opened by SusanTan - 1
- 1
Regression Test
#3 opened by vgene - 6
Bootstrap Script
#1 opened by vgene - 0
- 0
Inliner Bugs
#9 opened by SusanTan