v1.6

Full Changelog: v1.5...v1.6

v1.5

Full Changelog: v1.4...v1.5

v1.4

What's Changed

• Code cleanup, comments by @berpeti in #8

Full Changelog: v1.3...v1.4

v1.3

What's Changed

• Proof of satisfying the signal ordering guarantee by @berpeti in #7

Full Changelog: v1.2...v1.3

v1.2

What's Changed

• Extend the formalisation of concurrency by @berpeti in #6

Full Changelog: v1.1...v1.2

v1.1

This release includes a formal definition of a subset of Core Erlang. The formalisation contains:

• Syntax using a de Bruijn approach
• Static semantics (variable scoping)
• Substitutions
• Frame stack semantics for both sequential, process-local, and inter-process semantics
• A definition of bisimulations, weak bisimulations, and a number of equivalence proofs in the concurrent semantics
• Logical relations, CIU, and contextual equivalence for the sequential sublanguage
• Proofs about equivalent sequential expressions, properties of the equivalence relations
• An informal description of the semantics in a separate document