Pinned Repositories
demo-caesar
Demo project for the TrustInSoft CI introduction tutorial
giskard-tutorials
tis-ci-demo-caesar
A version of the demo-caesar repository for the purposes of testing the TiS-CI prototypes.
tis-interpreter
An interpreter for finding subtle bugs in programs written in standard C
tis-kernel
TIS Kernel, the open-source kernel of TIS Analyzer
TrustInSoft
gmillotyahoo's Repositories
gmillotyahoo/demo-caesar
Demo project for the TrustInSoft CI introduction tutorial
gmillotyahoo/giskard-tutorials
gmillotyahoo/tis-ci-demo-caesar
A version of the demo-caesar repository for the purposes of testing the TiS-CI prototypes.
gmillotyahoo/tis-interpreter
An interpreter for finding subtle bugs in programs written in standard C
gmillotyahoo/tis-kernel
TIS Kernel, the open-source kernel of TIS Analyzer
gmillotyahoo/TrustInSoft