msv-lab angelix issues - Githubissues

msv-lab / angelix

Semantic program repair system for C programs

http://angelix.io

MIT License

97 stars 38 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

add runtime argument to specify patch output directory

#31 rshariffdeen closed 2 years ago
0
Angelix example from `Tutorial.md` fails to find a repair with `--instr-printf distance.c`

#30 pdreiter closed 2 years ago
3
BinTray is not online anymore, use repo from scala

#29 rshariffdeen closed 3 years ago
1
Error: make default

#28 dapeng1993 opened 3 years ago
0
Can't reproduce experimental results with docker image

#27 joaofcmb opened 3 years ago
0
Can't pass tutorial test

#26 gsp2 closed 3 years ago
1
Can't pass the tutorial test

#25 blank-black closed 3 years ago
14
make with multi-threaded fail

#24 blank-black opened 3 years ago
1
Angelix docker version failed test

#23 saiema closed 3 years ago
4
compiling failed

#22 saiema closed 3 years ago
4
build(deps-dev): bump junit from 4.12 to 4.13.1 in /src/nsynth

#21 dependabot[bot] closed 3 years ago
1
update clang-tools-extra url

#20 joerenzullo closed 3 years ago
0
https://git.llvm.org/git/clang-tools-extra not accessible

#19 thierry-tct closed 3 years ago
2
Fix certificates issue,in dockerfile.

#18 pirocks closed 4 years ago
1
Downloading dependencies during docker build fails due to Java certificates

#17 mechtaev closed 4 years ago
0
Made Dockerfile work

#16 pirocks closed 4 years ago
2
Problem of generating the patch for tutorial folder

#15 YvonneXia98 closed 4 years ago
0
Update for the latest KLEE

#14 XVilka opened 5 years ago
1
Files are never closed after being written (in src/repair)

#13 MinxingTang closed 5 years ago
2
What should I write in assert.json if the output includes string?

#12 yodahaji closed 5 years ago
1
Dockerfile doesn't build: Unsupported major.minor version 52.0

#11 yxliang01 closed 4 years ago
1
Problem of reproducing the angelix test

#10 DehengYang closed 4 years ago
2
Specify stp version and docs and Makefile improvement.

#9 MiaoDX closed 7 years ago
3
Don't consider expression with 0 suspiciousness score, because they are not executed by failing tests

#8 mechtaev closed 8 years ago
0
Use klee_prefer_cex for characters

#7 mechtaev opened 8 years ago
0
Support augmented assignments

#6 mechtaev closed 8 years ago
0
Guards not add for certain type of statement

#5 stan6 closed 8 years ago
0
Guards cause compilation error for programs with for loops

#4 mechtaev closed 8 years ago
0
Calling Angelix from the source directory causes crash

#3 mechtaev closed 8 years ago
0
Empty trace files

#2 xuanbachle closed 8 years ago
1
Support null-terminated strings for ANGELIX_OUTPUT

#1 mechtaev opened 8 years ago
2