Wolfram Pfeifer

icon indicating a website link https://formal.kastel.kit.edu/~pfeifer/?lang=en

icon company Karlsruhe Institute of Technology icon location Karlsruhe, Germany icon location I am currently a Ph.D. student at Karlsruhe Institute of Technology (KIT).

Results 12 issues of Wolfram Pfeifer

Follow-up tasks for overflow checking fix (#3353)

1 comment

## Description This issue contains non-critical follow-up tasks of #3353: * [ ] New Feature: activate the taclet option corresponding to the `code_safe_math`/`code_java_math` annotation * [ ] Documentation: create a...

Documentation
Feature
Test cases

JavacExtension does not work with classpath/bootclasspath

1 comment

## Description When a .key/.proof file is loaded which contains a `\bootclasspath` directive, the Javac extensions crashes. The bug was originally found by @unp1. ## Reproducible always ### Steps to...

:lady_beetle: Bug
GUI
P:LOW
Java Parser