feat: add overflow semantics according to smtlib and map it to llvm semantics #121
Triggered via pull request
January 22, 2025 10:06
tobiasgrosser
Status
Cancelled
Total duration
15m 59s
Artifacts
–
evaluation.yml
on: pull_request
Evaluation of Tactics & Decision Procedures
15m 45s
Annotations
2 errors
|
Evaluation of Tactics & Decision Procedures
Canceling since a higher priority waiting request for 'Evaluation-958' exists
|
|
Evaluation of Tactics & Decision Procedures
The operation was canceled.
|