Issues · Spot / go2pins · GitLab

Double brackets `transform`: Handling complex nested brackets

#18 · created Mar 29, 2021 by Hugo Moreau
- 2
updated Mar 30, 2021
LinkResults for other packages function

#17 · created Mar 02, 2021 by Hugo Moreau error
- 1
updated Mar 02, 2021
Handling multiple assignments to function call

#16 · created Mar 01, 2021 by Hugo Moreau error
- 6
updated Mar 02, 2021
LocalVariableAssignments transform: handling global variables decl before accessing it

#15 · created Mar 01, 2021 by Hugo Moreau error
- 1
updated Mar 03, 2021
Translation of BEEM benchmark

#14 · created Apr 27, 2020 by Etienne Renault
- 0
updated Apr 28, 2020
Rewrite Goroutine's, Recursion's, (and Blackboxes's) transformations

#13 · created Apr 24, 2020 by Etienne Renault improvement
- 3
updated Apr 24, 2020
Limit to the number of variable names ?

#10 · created Jan 15, 2020 by Etienne Renault
- 1
updated Jan 15, 2020
DesugarArray: add support for slices

#9 · created Jan 14, 2020 by Etienne Renault improvement
- 0
updated Apr 24, 2020
Alive for variables in Loops

#8 · created Jan 06, 2020 by Etienne Renault
- 0
updated Jan 06, 2020
Call to empty functions raise errors

#5 · created Jul 18, 2019 by Etienne Renault error
- 7
updated Jan 06, 2020