Daniel Drodt
Daniel Drodt
Close #70. I implemented a couple of changes to enable hayagriva to better render quotation marks in titles or other formattable strings. The changes are: When pushing a string to...
## Related Issue ## Intended Change This PR moves the `ParsableVariable` interface to `ncore`, makes it no longer an `Operator` and renames `AbstractSV` to `OperatorSV` as this interface now handles...
## Related Issue This pull request fixes #29. ## Intended Change A non-trivial (i.e, neither `true` nor `false`) diverges clause results in two contracts to be verified. Previously, there was...
## Intended Change Based on #3420. Changes the JML pareser to accept definitions of ADTs. Datatypes have a list of _constructors_ separated by `|`, and a body of functions. ```java...
Fixes #219. Also fixes the error that affixes for bibliography layout were ignored. And updates archives. Adds 4 tests to `citeproc-pass.txt`. Still a draft until: - [x] Code is reworked...
Currently, hayagriva ignores the `subsequent-author-substitute` option on the bibliography. It should follow the CSL specification: https://docs.citationstyles.org/en/stable/specification.html?highlight=label#reference-grouping
## Intended Change This pull request is part of the modularization effort in KeY. It contains the first building blocks for generalizing the prover infrastructure, this includes the sequent data...
## Description When KeY encounters an error in some of the standard `.key` files, e.g., `javaRules.key`, the error dialog does not show the problematic line but the rather useless `[SOURCE...
## Intended Change Part of the modularization effort. Splits the `JavaCardDLStrategy` into multiple different strategies, responsible for smaller sets of rule sets. - The FOLStrategy handles basic logic parts, such...
## Related Issue Based on #3384. Thanks, @mattulbrich @wadoon ## Intended Change Adds polymorphic sorts as proposed by Ulbrich and Weigl and adds polymorphic functions as an obvious extension. This...