Marek Chalupa

@mchalupa

Open GitHub

🇦🇹 Vienna

ISTA

Profile age: about 13 years

Updated 12 days ago

47 followers • 13 following

Contacts

mchqwerty@gmail.com

Repositories

513

138

updated 4 months ago • age over 10 years

C++95.1%

C2.2%

CMake1.5%

Python1.1%

Shell0.1%

wldbg

updated almost 2 years ago • age about 11 years

C98.3%

Makefile1.1%

M40.6%

Contributions

2025
vamos
1 PR +2-2
Makefile
3
0
2023
vamos
1 PR +18-11
Makefile
3
0
vamos-sources
2 PRs +245-27
C
0
0
2022
cbmc
1 PR +12-8
C++
949
282
121
benchexec
1 PR +57-0
Python
269
211
66
2021
symbiotic
1 PR +1,930-678
Python
329
58
18
benchexec
1 PR +22-0
Python
269
211
66
2020
klee
1 PR +52-16
C++
2,828
700
11
benchexec
1 PR +4-8
Python
269
211
66
sv-benchmarks
2 PRs +6-26
184
170