issues
search
GuilhermeBn198
/
Program-Slicing_PIC
exploring program slicing and documenting my discoveries
MIT License
2
stars
1
forks
source link
translation of all the documentos to pt-br
#2
Open
GuilhermeBn198
opened
1 year ago
GuilhermeBn198
commented
1 year ago
[x] new versions
[x] readme
[x] frama-c instalation
[x] gui usage tutorial
[x] cli usage tutorial
GuilhermeBn198
commented
1 year ago
new files implemented