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

125 Open 460 Closed
125 Open 460 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

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
Nit: consider giving ADTFunction type arguments A-Enh Enhancement B-Viper Backend: Silicon and Carbon
#1125 opened Jan 8, 2024 by pieter-bos
Subscript blame reported on wrong node A-Bug R Rewriting problem
#1123 opened Dec 20, 2023 by bobismijnnaam
Option to make viper output a bit nicer for reporting viper problems A-Enh Enhancement B-Viper Backend: Silicon and Carbon
#1122 opened Dec 20, 2023 by pieter-bos
1
Cannot use inline predicate in unfolding A-Bug R Rewriting problem
#1120 opened Dec 7, 2023 by ArmborstL
VerCors does not find global declarations if given multiple files A-Bug F-Java Frontend: Java
#1119 opened Dec 7, 2023 by ArmborstL
2
Consider moving CoercingRewriter.coerce and Resolve{References,Types}.resolveOne to the impl traits A-Enh Enhancement R Rewriting problem
#1117 opened Dec 6, 2023 by pieter-bos
ProTip! Updated in the last three days: updated:>2024-04-29.