v1.0a-1724094929

Maximum width and depth as command line arguments

v1.0a-1723814912

Widening operator applied

v1.0a-1723575998

Updated tests and improved partial order relation implementation

v1.0a-1722927695

Restrictive experimental flag.

v1.0a-1722803413

Minor correction regarding if and while inference.

v1.0a-1721724163

Minor assignment update - still room for improvement (some unit tests failing)

v1.0a-1721632209

Name refactoring and cleanup.

v1.0a-1721393794

Benchmarks update.

v1.0a-1721282197

Python 3.11 compatibility fixes for some f-strings.

v1.0a-1721233350

Second pre-release - with parameter improvements and a few added benchmarks.