GuilhermeBn198 Program-Slicing_PIC issues - Githubissues

GuilhermeBn198 / Program-Slicing_PIC

exploring program slicing and documenting my discoveries

MIT License

2 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

More tests

#7 GuilhermeBn198 opened 1 year ago
0
Study ESBMC

#6 GuilhermeBn198 closed 1 year ago
0
Create CODE_OF_CONDUCT.md

#5 GuilhermeBn198 closed 1 year ago
0
Figure a way of presenting slicing code WITHOUT tools in a way it may be good to see in github

#4 GuilhermeBn198 opened 1 year ago
0
creating a tutorial for frama-c CLI of slicing code

#3 GuilhermeBn198 closed 1 year ago
2
translation of all the documentos to pt-br

#2 GuilhermeBn198 opened 1 year ago
2
Creating a tutorial guide on how to use basic instructions on frama-c

#1 GuilhermeBn198 closed 1 year ago
1