v2.6.0

Make it the default behavior to not perform abstract interpretation (…

v2.5.19

Document workaround for build problem

v2.5.18

Add inductive sequentialization examples

This includes all examples from the PLDI 2020 paper
"Inductive Sequentialization of Asynchronous Programs".

v2.5.17

- added async precondition checkers (#216)

- some renaming and documentation
- disabled linear type checking in introduction procedures

v2.5.16

[CIVL] Move all instrumentation related to linear permissions into CI…

v2.5.15

moved handling of asyncs from YieldProcInstrumentation to YieldProcDu…

v2.5.14

Fix treatment of calls to atomic actions that create pending asyncs

v2.5.13

Workaround for broken build because of GitVersionTask (#213)

v2.5.10

Clean up readme (#212)

* Clean up badges

* Update readme (documentation and getting help)

v2.5.9

Add support to inject lemmas into commutativity checks (#211)