Handling go routines
This issue aims to keep all the discussions about the internship in a single place.
The main objective is to handle goroutines
go func(). (Note that later, the handling of channels could be a betterment) There are very few people dealing with Go for LTL model checking. To my knowledge only these guys have done something like that. They have few papers you can read and an interesting video from
Golang UK conference 2016.
I think that the very first steps are:
- Download go2pins and make it work
https://golang.org/pkg/go/ast/it will help you to understand the core of the project
https://tour.golang.org/concurrency/1to have a nice comprehension of go routine
- Read @akirszenberg reports
Have a pass that grab the number of
goinstruction inside of the given program.
I will add more achievement later :)