Robin Salkeld

Tag decoding was ignoring the first three bits of the tag (tag class and primitive bit). Fixing this also broke a few tests that had technically incorrect payloads, so those...

Implement createTemporaryQueue() using the SQS Temporary Queue Client

1

SQS now provides a client that implement temporary queues much more efficiently than naively creating a new SQS queue for each call. It should be easy to use that client...

GitHub action I'm referring to: https://github.com/actions/checkout Follow-up to #36. Ideally, this action should ensure that it always grabs the same commit as the standard action to checkout locally does. I...

Naming nit: "Generate Test Report" instead of "Test Report"

2

I used the template to add this action to a repository, and got the feedback that the name "Test Report" implied that "Test" was a verb and the job was...

Gradle `jmh` task still succeed when JMH fails.

1

**Describe the bug** See title. **To Reproduce** Create a benchmark method that always throws an exception and ensure `failOnError` is true. The exception will print out and JMH will report...

### Dafny version 4.6.0 (but pretty sure it's always been like this) ### Code to produce this issue ```dafny datatype Foo = Bar(a: int) | Baz | Quaz predicate Dorp(f:...

Quantifying over map.Keys has quadratic runtime in Java

3

### Dafny version 4.1.0 ### Code to produce this issue ```dafny method Main() { var s := seq(100_000, x => x); var m := map k

### What change in documentation do you suggest? https://github.com/dafny-lang/dafny/blob/master/docs/Compilation/StringsAndChars.md#printing-strings-and-characters contains the relevant content, but since it affects user-observable behavior some degree of it should be added to https://dafny.org/dafny/DafnyRef/DafnyRef#sec-print-statement. In particular...

Standard Library: Parser combinators

1

Already implemented and in use in https://github.com/dafny-lang/libraries/tree/parser-combinators-library. This might not be as core a utility as the other standard libraries, but since we don't have great support for publishing and...