v0.3.0

What's new

Features:

• Support tab completion of options for the set command (#53)
• Support using existing aliases to define new aliases via the alias command (#57)

Bug fixes:

• Loading a trace which imports symlinked modules would fail (#55)

v0.2.0

What's new

Features:

• alias command (doc) (#2)
• init command (doc) (#22)
• set command (doc) (#46)
• Support stepping with constraints (doc) (#18)
• Display differential state output with step and alt (doc) (#47)
• Enable selecting alternative initial states (#24, #32)
• Output state ID alongside state contents (#10, #30)
• Output state fields in sorted order and in set notation (#6, #4)
• Output specific model errors on a failed load (#51)
• Allow specifying bitwidth-scoped signatures as additional signature scopes (#28, #34)

Bug fixes:

• Users could step past the end of a trace (#20)
• Loading a model did not fail when no satisfying instance was found (#49)
• Wrong behaviour in certain scenarios when loading a trace after a model (#16, #42)

Misc. internal improvements:

• #12, #14, #26, #36, #38, #44

v0.1.0

Add v0.1.0 codebase