Pull requests: utwente-fmt/vercors
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Runtime Verification (Master thesis http://essay.utwente.nl/98745/)
#1189
opened May 1, 2024 by
pieter-bos
•
Draft
1 task
Allow the use of pointers to things that are not a reference type
#1172
opened Mar 25, 2024 by
superaxander
•
Draft
Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL
#1159
opened Feb 28, 2024 by
superaxander
•
Draft
Vector support in C, OpenCL and CUDA + Vector ADT in PVL
#1156
opened Feb 26, 2024 by
sakehl
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.