CSeq 1.9b (Lazy-CSeq only, old framework)

Updated lazy sequentialization schema with extended backend support.

CSeq 3.0 (SV-COMP 2022)

Major framework restructuring.
Major lazy sequentialisation overhaul + data race detection.

CSeq 2.1 (SV-COMP 2021)

More robust parsing and modules.
Slight optimisations.

CSeq 1.9 (incl. lazy schema for SV-COMP 2020)

SVCOMP2020

Create README.md

CSeq 1.6 for SV-COMP 2019

SVCOMP2019

Create README.md

CSeq 1.5 (old framework, parallel context-bounded analysis only)

PPoPP2020

Create README.md