Tobias Faller

This is a Visual Studio Code extension to display and edit VT100 colors and styles in the text editor. A preview and export functionality enable additional workflows for terminal logs and files with VT100-VT520 escape sequences.

A scientific framework for researching automatic test pattern generation (ATPG)

The Next Craig Interpolant Prover (NCIP) symbolic Bounded Model Checker (BMC)

Build script to compile an up-to-date RISC-V GCC toolchain on Debian / Ubuntu with rv32e, rv32i and rv64i architectures and ilp32e, ilp32(fd) and lp64(fd) ABIs.