corrected and commented method, updated gantt
Merge branch 'master' of https://github.com/istehem/Evaluation_of_validity_of_verification_methods
shitload of files
git rm some files
more files removed
removed files
hopefully nothing
removed files again
working
added quickcheck workshop
removed files and added *.beam to gitignore
corrected and commented method, updated gantt