• Update config_register.json for upstream magma change Aug 4
  • Update code based on upstream bv/fault changes Aug 11
  • Update gold file for upstream mantle change Aug 15
  • Update config register to use coreir Aug 15
  • Add simple pe with formal verification example Aug 16
  • Update gold for config register Aug 17
  • Update python simulator to return BitVector instead of bool list Aug 2
  • Add support for passing a dictionary to rename ports Aug 15
  • Add preliminary support for coreir metadata Aug 19
  • Add filename/lineno for coreir connections/modules Aug 24
  • Add support for array of clocks in wireclocks pass Aug 4
  • Add ModuleDefCanSelect to c-api Aug 14
  • Avoid using `join` as instance name in commonlib Aug 15
  • Add c api methods for metadata Aug 19
  • Use as_uint to since as_int now returns signed by default Aug 2
  • Raise exception on selection error instead of segfault Aug 14
  • Add add_metadata support Aug 19
  • Update coroutine tester to use BitVector instead of bool list Aug 2
  • Rename ports Aug 15
  • Update implementation for int_vector branch of bit_vector Aug 2
  • Update implementation for bit_vector int_vector branch Aug 2
  • `BitVector.unsigned_value` -> `BitVector.as_uint()` Aug 15
  • [msat-installer] Don't use $ORIGIN on darwin Aug 16
  • Add requirements note Aug 16
  • Use anonymous circuit to wrap convolution Aug 24