v1.0.5

What's Changed

• Bisimulation examples by @berpeti in #26

Full Changelog: v1.0.4...v1.0.5

v1.0.4

What's Changed

• Unnecessary axioms, bisimulations, renaming equivalence in the concurrent setup and Coq 8.18 by @berpeti in #25

Full Changelog: v1.0.3...v1.0.4

v1.0.3

What's Changed

• Complete extension of the frame stack semantics by @berpeti in #18

Full Changelog: v1.0.2...v1.0.3

v1.0.2

What's Changed

• Frame stack semantics of Core Erlang by @berpeti in #17

Full Changelog: v1.0.1...v1.0.2

v1.0.1

What's Changed

• Add leaking evaluation example by @berpeti in #14
• Frame stack semantics by @berpeti in #16

Full Changelog: v1.0.0...v1.0.1

v1.0.0

Update README.md