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
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
Git or how to "fail rendu"
Learn your essentials, how to use git
Automatizing Blackbox with one LTL formula
Automatizing Blackbox with LTL formulae and keyword auto