0152la

King's College LondonLondon, UK

Pinned Repositories

CHERI-ELF-comp
Language:C00
cheri-examples
cheri-riscv sample c programs
Language:C0 0 00
cheri-morello-compartmentalisation
Language:Assembly00
cheri-morello-compartments
Language:Assembly00
cheri-samples
Language:C00
mfpp
Language:C++9 4 70
mfpp-Specs
Language:C++1 1 00
SpecReduce
Language:C++00
CLSmith
OpenCL extension for csmith.
Language:C++23 9 711
shader-compiler-bugs
A collection of shader compiler bugs.
Language:Assembly49 10 839

0152la's Repositories

0152la/mfpp
Language:C++9 4 70
0152la/mfpp-Specs
Language:C++1 1 00
0152la/CHERI-ELF-comp
Language:C00
0152la/cheri-examples
cheri-riscv sample c programs
Language:C0 0 00
0152la/cheri-morello-compartmentalisation
Language:Assembly00
0152la/cheri-morello-compartments
Language:Assembly00
0152la/cheri-samples
Language:C00
0152la/cheri_misidioms
Language:TeX00
0152la/SpecReduce
Language:C++00
0152la/chill
Language:C++1 0
0152la/CLsmithResultViewer
A GUI to be used with the .csv files obtained from CLsmith testing.
Language:Python
0152la/DSbD-2024-03-Poster
0152la/FreescaleDocumentation
Language:Python
0152la/isl
isl mirror (BETA) - The official isl repository is at http://repo.or.cz/w/isl.git
Language:C2 0
0152la/lua-compartmentalisation
CHERI DDC compartmentalisation for lua
Language:Vim script
0152la/mq-test
0152la/softdevbib
soft-dev.org BibTeX
Language:TeX
0152la/yices2
The Yices SMT Solver
Language:SMT0 0
0152la/z3
The Z3 Theorem Prover
Language:C++
0152la/z3test
Test and benchmark repository for Z3.
Language:SMT0 0