Ryukizo | Blog

Welcome to my personal blog, I’m a Computer Science student currently studying at EPITA.
You can find here:
- All my work as a research student at LRDE.
- Some useful ressources for my students.
- Some other things I may do.

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

Git or how to "fail rendu"

Learn your essentials, how to use git

April 4, 2021 · 8 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