v0.13.3

Fixed

• regression in prs simulation
• regression in prs parsing and interpret
• regression in cog interpret
• regression in astg interpret

v0.13.2

Added

• arithmetic expression simplification with rewrite engine
• progress on templated synthesis to val-rdy interfaces as a first step for compiling higher level languages
• initial structuring of weaver, a high level language like go
• some basic tests for many of the libraries
• documentation for many of the libraries
• region, bound, and segment to petri nets as an extension of the iterator

Removed

• Cut the old ucs library out of the project, and moved variables into the sub languages for modularity

Fixed

• better runtime linking of Python to load the technology file
• performance issue with calendar queue in prs simulator

v0.13.1

Fixed

• Design elaboration for cell placement

v0.13.0

Added

• Initial work on cell placement
• spice parser support for subckt instances

v0.12.2

Added

• Examples

Fixed

• Composition analysis
• #42

v0.12.1

Fixed

• Functionality to determine whether two nodes are composed in parallel/choice/sequence in the net

v0.12.0

Added

• Cog programming language for a simpler user interface

Changed

• various internal fixes and improvements to generalizability in preparation for state variable insertion

v0.11.2

Fixed

• Cross platform support for macos and windows
• Installation flow

v0.11.1

Added

• Ghosts that annotate how transitions on a given conditional branch propagate into the rest of the state space
• Python is now loaded dynamically on demand with support for all versions of python3

Changed

• Cleaned up debug messages and hooked up the debug flag as needed

v0.11.0

Added

• extremely simple PN ratio computation
• parasitics data in the technology file

Changed

• rearch of technology file substrate and model specifications

Fixed

• #4