Go2Pins

#theme-toggle,.top-link{display:none}@media(prefers-color-scheme:dark){:root{--theme:#1d1e20;--entry:#2e2e33;--primary:rgba(255, 255, 255, 0.84);--secondary:rgba(255, 255, 255, 0.56);--tertiary:rgba(255, 255, 255, 0.16);--content:rgba(255, 255, 255, 0.74);--hljs-bg:#2e2e33;--code-bg:#37383e;--border:#333}.list{background:var(--theme)}.list:not(.dark)::-webkit-scrollbar-track{background:0 0}.list:not(.dark)::-webkit-scrollbar-thumb{border-color:var(--theme)}}

Blackboxing unary statements

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

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.

Global array in the outer world and starting benchmarking

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

Automatizing Blackbox with one LTL formula

Automatizing Blackbox with LTL formulae and keyword auto

Manipulating LTL formulae for Blackbox transformation

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