0.3.0

What's Changed

• Security is now specified using host delegations instead of assigning labels to hosts
• We can type check polymorphic functions without specializing them at call sites
• Support code generation for functions

Major Pull Requests

• Separate NetworkStrategy from ViaductRuntime by @cacay in #343
• Improve the Gradle plugin for Viaduct by @cacay in #345
• Verify user supplied protocol annotations by @cacay in #351
• Append viaduct to project groupId by @cacay in #356
• Make circular attributes thread safe by @cacay in #364
• Run tests in module compiler in parallel by @cacay in #365
• Add new constraint solver for lattices by @cacay in #370
• Change group to io.github.apl-cornell by @cacay in #438
• Implement code generation for functions by @vivianyyd in #462
• Implement delegation and update surface syntax by @s-ren in #437
• Rename package apl_cornell to aplcornell by @cacay in #524

New Contributors

• @vivianyyd made their first contribution in #460
• @s-ren made their first contribution in #437

Full Changelog: 0.2.1...0.3.0

0.2.1

What's Changed

• Add version selector to docs by @cacay in #299

Full Changelog: 0.2.0...0.2.1

0.2.0

Adds Kotlin code generation support for plaintext and commitment protocols. This partially replaces the interpreter.

What's Changed

• Cleanup benchmarks by @cacay in #156
• Use BuildKit to build Docker images by @cacay in #149
• Prevent stack overflow during SMT encoding of constraints by @rolph-recto in #209
• Pull aby-java from GitHub Package Repository by @cacay in #214
• Store analysis instances under ProgramNode instances to fix memory leak by @cacay in #218
• Fix NMIFC check for endorse and improve error messages by @cacay in #231
• Implement a Gradle plugin to compile Viaduct sources by @cacay in #140
• Add a Backend interface that lists everything Viaduct extensions need to implement by @cacay in #248
• Modularize ProtocolComposer and split SimpleProtocolComposer across back ends by @cacay in #251
• Remove send and receive nodes by @cacay in #255
• Remove process declarations and replace them with functions by @cacay in #256
• Fix stack overflow in pretty printing by @cacay in #268
• Add support for pretty printing intermediate nodes with annotations by @cacay in #273
• Print source location when protocol selection fails by @cacay in #277
• Add runtime support for creating and opening commitments by @cacay in #288
• Implement commitment code generation by @ianwilkietomasik in #278
• Derive project version from Git tags by @cacay in #297

New Contributors

• @ianwilkietomasik made their first contribution in #200

Full Changelog: 0.1.0...0.2.0

0.1.0

PLDI 2021 submission.