Alex Chew

fix: compute bastion variants correctly for 1.16.1

1

In Minecraft 1.16.1, a bastion's variant is sampled from its ChunkRandom before its rotation is sampled, not the other way around (as is so for 1.16.2 and above). I tested...

chore: clarify Key.getAlgorithm/Cipher.getInstance usage

2

*Description of changes:* Adds comments to clarify the intentional usage of Key.getAlgorithm and Cipher.getInstance. This PR does not introduce any functional changes. By submitting this pull request, I confirm that...

### Description Restructures the Python runtime directory and adds configuration files to allow building and publishing a package to PyPI. ### How has this been tested? This has been used...

`DafnySourceAttribute` unconditionally attached to C# assembly

1

When compiling Dafny code to a C#/.NET assembly, the Dafny source is attached to the assembly using a `DafnySourceAttribute` wrapping a string, and not as just a source comment. This...