CHANGELOG.md

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[Template]

Added

Changed

Removed

[v1.3.1]

Added

• Added p4c-graphs installation instructions to README.
• Added presentation.p4 program file, matching the one used in the paper and its talk.

Changed

Removed

[v1.3.0] - 2026-04-22

This release marks the codebase version as used with the accompanying paper.

Added

Changed

• General improvements and fixes were made.

Removed

[v1.2.1] - 2026-01-29

Added

Changed

• Improved description of benchmarks in README.md.

Removed

[v1.2.0] - 2026-01-29

Added

• Added p4-programs-survey benchmark, representing P4 parsers 'in the wild'.

Changed

Removed

[v1.1.0] - 2026-01-27

Added

• Added Whippersnapper tests.
• Added external filtering related code.

Changed

• Improved parsing of compiler IR JSON.
• Improved counterexample generation.

Removed

[v1.0.2] - 2025-07-02

This release represents the version of the codebase that was published alongside the thesis.

Added

• Added the IPOptions2 benchmark.

Changed

Removed

[v1.0.1] - 2025-06-30

Added

• An example on how to run benchmarks.

Changed

• Fixed the regular expression for wall time in the benchmark runner;
• Added a dependency for the time package in the Dockerfile to aid in benchmarking.

[v1.0.0] - 2025-06-29

This is the first stable release of Octopus.

[v0.2.0] - 2025-06-23

Added

• A near final version of the codebase;
• Documentation, including a README, changelog, and contribution guidelines.

Changed

Removed