Blackboxing unary statements

We are now able to blackbox any functions, we now want to be able to blackbox not necessary statements

June 12, 2021 · 7 min · Hugo 'Ryukizo' Moreau

Configuration file and going deeper with Blackbox transitions

In the continuity of the process to make go2pins more user-friendly, we need a config file to save configurations. Thereafter, starting to think of a new implementation of the Blackbox transitions.

May 3, 2021 · 7 min · Hugo 'Ryukizo' Moreau

Global array in the outer world and starting benchmarking

Global array are not treated yet in the Blackbox package, redacting our benchmark file

April 5, 2021 · 4 min · Hugo 'Ryukizo' Moreau

Automatizing Blackbox with one LTL formula

Automatizing Blackbox with LTL formulae and keyword auto

March 25, 2021 · 4 min · Hugo 'Ryukizo' Moreau

Manipulating LTL formulae for Blackbox transformation

Make Go2Pins more user-friendly by giving a LTL formula to detect to-be blackbox functions

March 13, 2021 · 4 min · Hugo 'Ryukizo' Moreau