Ryukizo - Blog

#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)}}

Manipulating LTL formulae for Blackbox transformation

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

Maintaining Go2Pins and grip on RERS file

Maintaining the project by correcting some features and visualizing of Blackbox’s results on RERS files

Handling Global Variables with Blackbox transitions part. 2

Changing directions about the handling of global variables

Handling Global Variables with Blackbox transitions

Thinking on a way to handle Global Variable with Blackbox transitions

Go2Pins

My current work as a research student at LRDE (EPITA Research and Development Laboratory)