Daniel Drodt

Smart Quotation Marks in Formattable Strings.

6

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 - Adds a new `ChunkKind`...

Generalize ParsableVariable and Schemavariables

1

## 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...

Generate easier POs for non-trivial diverges clauses

1

## 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...

Hackeython: ADTs in JML

2

## 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...

Add support for subsequent author substitution

3

Fixes #219. Fixes #229 (as a first approximation) Also fixes the error that affixes for bibliography layout were ignored. And updates archives. Adds 96 tests to `citeproc-pass.txt`. Still a draft...

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