v1.0.10

What's Changed

• Labeled semantics into vulnerability definitions by @ArsenChick in #36
• Primop eval change by @davidhadhazi in #38
• Side effect tracing with labels by @davidhadhazi in #39
• Labeled semantics lemmas and atom exhaustion by @davidhadhazi in #41
• Refactoring unlabeled lemmas as corollaries of their labeled counterpart by @berpeti in #43

New Contributors

• @ArsenChick made their first contribution in #36
• @davidhadhazi made their first contribution in #38

Full Changelog: v1.0.9...v1.0.10

v1.0.9

What's Changed

• Upgrade to Coq version 8.20 by @berpeti in #35

Full Changelog: v1.0.8...v1.0.9

v1.0.8

What's Changed

• Add comments, and missing examples to the code, remove unnecessary theorems by @berpeti in #33

Full Changelog: v1.0.7...v1.0.8

v1.0.7

What's Changed

• Remove unnecessary dependence on dependent induction's axiom by @berpeti in #32

Full Changelog: v1.0.6...v1.0.7

v1.0.6

What's Changed

• Cleanup, minor fixes by @berpeti in #28
• Fix theorem names by @berpeti in #29
• Fix unnecessary condition in weak bisimulations by @berpeti in #31

Full Changelog: v1.0.5...v1.0.6

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