PLDI Artifact Associated Release

What's Changed

• Lock removal opt by @dz333 in #46
• Lock object type unification by @dz333 in #43
• Resolve issue 39 by @yy665 in #50
• Adding Lock Checkpoints & rollbacks. by @dz333 in #44
• Checkpointbypassrf by @dz333 in #54
• tab completion :) by @charles-rs in #58
• Infer regions by @dz333 in #64
• Outputqueue by @dz333 in #66
• Zero address by @dz333 in #68
• Pipeline Lock Interface + Atomic Call by @yy665 in #63
• Polymorphic by @charles-rs in #53

New Contributors

• @yy665 made their first contribution in #50

Full Changelog: v0.2...v1.0

First Stable Release

This release of PDL includes:

• PDL Hardware Compiler
• Queue-Based Lock Libraries
• Wrappers for BSV Register Files and BRAM memories
• Test Infrastructure and Suites
• Installation documentation
• BSV wrapper scripts for compilation and simulation

This version of PDL does not yet support (but are in development):

• Multi-ported Memories
• Multiple dynamic lock reservations per cycle per memory.
• Data forwarding through locks
• Speculation
• Full support for signed and unsigned integer types (e.g., sign extend primitive)
• Lock statement inference (lock operations must be explicitly annotated)