Skip to content

Issues: utwente-fmt/vercors

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

131 Open 461 Closed
131 Open 461 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Val sections of _ToCOL are out of sync A-Bug F-all Frontend: all
#1204 opened May 22, 2024 by pieter-bos
expectedError and console output A-Enh Enhancement M-log Misc: Error reporting and logging
#1201 opened May 15, 2024 by pieter-bos
1
VerCors does not check if assign target is an lvalue A-Bug
#1199 opened May 14, 2024 by bobismijnnaam
Yields on PVL class constructor crashes VerCors. A-Bug
#1198 opened May 14, 2024 by OmerSakar
Override all standard locations for sources in the build A-Enh Enhancement M-mill Misc: Mill build tool
#1196 opened May 8, 2024 by pieter-bos
Slow VerCors passes for simple program
#1195 opened May 7, 2024 by sakehl
8
Bool/Int coercion for C is incomplete F-C Frontend: C
#1187 opened Apr 18, 2024 by ArmborstL
3
Release task fails on push to master since it should only respond to tag pushes on that branch A-Bug M-CI Misc: Continuous Integration
#1186 opened Apr 7, 2024 by pieter-bos
GPU programs do not give fault for to much permission, which leads to incomplete verification
#1184 opened Apr 4, 2024 by sakehl
2
refute does not work as expected
#1183 opened Apr 4, 2024 by superaxander
Wrong usages of getPreferredName A-Bug R Rewriting problem
#1179 opened Mar 27, 2024 by pieter-bos
Using \gtid in barrier contracts breaks down and does not verify
#1178 opened Mar 27, 2024 by sakehl
@sakehl
frame is not documented A-Bug M-docs Misc: Wiki and external documentation
#1175 opened Mar 26, 2024 by pieter-bos
1
VerCors throws an error when Specifying a resource as trigger A-Bug R Rewriting problem
#1173 opened Mar 25, 2024 by sakehl
1
seq<_>.prepend does not work A-Bug F-all Frontend: all
#1158 opened Feb 27, 2024 by pieter-bos
Relation and equality operators in C have int as return type A-Enh Enhancement F-C Frontend: C
#1153 opened Feb 22, 2024 by sakehl
1
OpenCL files actually do not import 'opencl.h' A-Bug F-GPU Frontend: OpenCL/Cuda
#1151 opened Feb 22, 2024 by sakehl
Windows progress rendering is broken A-Bug M-log Misc: Error reporting and logging P-Windows Windows-specific
#1150 opened Feb 15, 2024 by pieter-bos
1
Specification cannot resolve value for C "define" macro A-Enh Enhancement F-C Frontend: C
#1148 opened Feb 5, 2024 by ArmborstL
2
VerCors crashes when predicate is missing argument in C A-Bug F-C Frontend: C
#1147 opened Feb 5, 2024 by ArmborstL
2
Building VerCors on Java 21 results in package ops not found error A-Bug M-mill Misc: Mill build tool
#1146 opened Feb 2, 2024 by bobismijnnaam
Cannot define permissions for global structs in C A-Bug F-C Frontend: C
#1143 opened Jan 23, 2024 by ArmborstL
3
ConstantifyFinalFields is a bit dubious A-Enh Enhancement R Rewriting problem
#1134 opened Jan 19, 2024 by pieter-bos
VerCors crashes when missing a "decreases" for functions with recursive contract B-Viper Backend: Silicon and Carbon M-log Misc: Error reporting and logging
#1133 opened Jan 18, 2024 by ArmborstL
Division defaults to rationals instead of integer floor division when using --backend-file-base A-Bug B-Viper Backend: Silicon and Carbon
#1129 opened Jan 12, 2024 by sakehl
1
ProTip! Follow long discussions with comments:>50.