-
Notifications
You must be signed in to change notification settings - Fork 32
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Unsoundness due to violation of effective type rules
A-Bug
F-C
Frontend: C
💥 unsound 💥
#1357
opened May 28, 2025 by
superaxander
Verification error not correctly thrown for non injective quantifier.
#1349
opened Apr 29, 2025 by
sakehl
Usage of nonexistent variables in binops triggers NoSuchElementException in LLVMContractToCol
A-Bug
F-LLVM
Frontend: LLVM
Fuzzing
Found by fuzzing
#1346
opened Apr 20, 2025 by
wandernauta
Parse error causes NullPointerException/crash in SystemC front-end
#1344
opened Apr 9, 2025 by
wandernauta
Global variable initialisers have no thread-id
A-Bug
F-C
Frontend: C
#1332
opened Mar 13, 2025 by
superaxander
Crash report: The silver AST delivered to viper is not valid:
- Consistency error: Perm and forperm in this conte
A-Bug
#1331
opened Mar 12, 2025 by
sakehl
Crash report: Missing: Quantified resource aloc(optGet1(boxes), i).ref.value might not be injective.
A-Bug
B-Viper
Backend: Silicon and Carbon
#1327
opened Mar 9, 2025 by
sakehl
string keyword in C and C++ specification triggers ParseMatchError
A-Bug
F-C
Frontend: C
F-CPP
Frontend: C++
Fuzzing
Found by fuzzing
#1316
opened Feb 19, 2025 by
wandernauta
Label in Java instance or static initializer block triggers Scopes$NoScope error
A-Bug
F-Java
Frontend: Java
Fuzzing
Found by fuzzing
#1313
opened Feb 12, 2025 by
wandernauta
Postfix increment/decrement without permission triggers panic blame in PVL, Java
A-Bug
F-Java
Frontend: Java
F-PVL
Frontend: PVL
Fuzzing
Found by fuzzing
#1312
opened Feb 12, 2025 by
wandernauta
Accepting or returning a value of type type<...> triggers ColToSilver$NotSupported
A-Bug
F-all
Frontend: all
Fuzzing
Found by fuzzing
#1308
opened Feb 10, 2025 by
wandernauta
Referring to sibling par in barrier inside 'sequential' or 'parallel' fails
A-Bug
F-PVL
Frontend: PVL
Fuzzing
Found by fuzzing
#1307
opened Feb 10, 2025 by
wandernauta
context_everywhere with type error triggers CoercingRewriter$Incoercible exception
A-Bug
F-all
Frontend: all
Fuzzing
Found by fuzzing
#1306
opened Feb 5, 2025 by
wandernauta
Simplification rule in PVL program triggers ColToSilver$NotSupported exception
A-Bug
F-all
Frontend: all
Fuzzing
Found by fuzzing
#1304
opened Jan 27, 2025 by
wandernauta
Exponentiation/power expression (a ^^ b) triggers ColToSilver$NotSupported
A-Bug
F-PVL
Frontend: PVL
Fuzzing
Found by fuzzing
#1303
opened Jan 24, 2025 by
wandernauta
\old(...) in context or requires clause triggers SilverBackend$ConsistencyError
A-Bug
F-all
Frontend: all
Fuzzing
Found by fuzzing
#1302
opened Jan 22, 2025 by
wandernauta
Local variable gets initialised in wrong scope
A-Bug
F-C
Frontend: C
F-CPP
Frontend: C++
#1301
opened Jan 6, 2025 by
superaxander
fork/join statement with literal null triggers ClassCastException
A-Bug
F-PVL
Frontend: PVL
Fuzzing
Found by fuzzing
#1300
opened Jan 5, 2025 by
wandernauta
Empty sequential block triggers error in ParBlockEncoder.check
A-Bug
F-PVL
Frontend: PVL
Fuzzing
Found by fuzzing
#1299
opened Jan 5, 2025 by
wandernauta
lock/unlock statement with literal null triggers UnreachableAfterTypeCheck
A-Bug
F-PVL
Frontend: PVL
Fuzzing
Found by fuzzing
#1298
opened Jan 5, 2025 by
wandernauta
JRE reflection-based shimming with generic types triggers NotImplementedError
A-Bug
F-Java
Frontend: Java
Fuzzing
Found by fuzzing
#1296
opened Dec 11, 2024 by
wandernauta
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.