Skip to content

Pull requests: utwente-fmt/vercors

New pull request New
10 Open 558 Closed
10 Open 558 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Parser analysis
#1200 opened May 14, 2024 by pieter-bos Loading…
1 task done
1
Small fix
#1197 opened May 9, 2024 by sakehl Loading…
2
Add challenge 1 and challenge 2 of verifythis 2024
#1190 opened May 3, 2024 by superaxander Loading…
Runtime Verification (Master thesis http://essay.utwente.nl/98745/)
#1189 opened May 1, 2024 by pieter-bos • Draft
1 task
VeyMont: codegen
#1188 opened May 1, 2024 by bobismijnnaam • Draft
1 task
Allow the use of pointers to things that are not a reference type
#1172 opened Mar 25, 2024 by superaxander • Draft
10
Bool/Int type coercion
#1170 opened Mar 21, 2024 by ArmborstL • Draft
1 task done
7
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
2
Vector support in C, OpenCL and CUDA + Vector ADT in PVL
#1156 opened Feb 26, 2024 by sakehl Loading…
16
Small debug fixes 2
#1048 opened Jun 29, 2023 by bobismijnnaam Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.