Issues

• Replace references to CVS with git

  workflow
  fangism/hackt#81 · Filter by author fangism opened on Dec 31, 2024
  1

  

• Migrate documentation to Markdown

  documentation
  fangism/hackt#80 · Filter by author fangism opened on Dec 31, 2024
  

• Modernize code base to C++11 (first)

  build-portability
  fangism/hackt#79 · Filter by author fangism opened on Dec 31, 2024
  2

  

• more vt transistor types with custom names from config file

  featurenetlister
  fangism/hackt#77 · Filter by author chrislafrieda opened on Dec 15, 2021
  2

  

• [memory usage] re-write union-find non-recursively

  fangism/hackt#76 · Filter by author fangism opened on Jul 9, 2020

• [tool] exhaustive QDI verifier/prover "prlint"

  feature
  fangism/hackt#73 · Filter by author fangism opened on Sep 20, 2016
  1

• [linking] symbol is defined in DSO... so try adding it to the linker command line

  build-portability
  fangism/hackt#72 · Filter by author fangism opened on Sep 8, 2016
  

• [hacprsim] support counterflow channels

  featuresimulator
  fangism/hackt#71 · Filter by author fangism opened on Aug 11, 2016

• Lift 4-dimension limit on arrays

  language front-end
  fangism/hackt#70 · Filter by author fangism opened on Aug 4, 2016

• $prsim() is passed a space-padded string from plusarg, needs to be stripped

  simulatorworkaround
  fangism/hackt#69 · Filter by author fangism opened on Aug 4, 2016

• documentation for spice* utility scripts

  documentation
  fangism/hackt#68 · Filter by author fangism opened on Aug 1, 2016
  1

• hacknet -H documentation could be organized by section

  documentation
  fangism/hackt#67 · Filter by author fangism opened on Aug 1, 2016

• Feature Request channel-source-none

  featuresimulator
  fangism/hackt#66 · Filter by author nbingham1 opened on Jul 24, 2016
  1

• channel-source-args doesn't completely reset previous channel-rsource effect

  simulator
  fangism/hackt#65 · Filter by author nbingham1 opened on Jul 24, 2016
  1

• hacknet feature request (verilog): indicate port directions

  featurenetlister
  fangism/hackt#64 · Filter by author fangism opened on Jul 21, 2016

• chpsim should get channel-source/expect/sink commands, analogous to prsim

  simulator
  fangism/hackt#63 · Filter by author fangism opened on Jul 18, 2016

• CHP int defaults to 32b, even when machine/binary is 64b native

  language front-end
  fangism/hackt#62 · Filter by author fangism opened on Jul 18, 2016

• [rejects-valid] template typedef relaxed parameter binding

  language front-end
  fangism/hackt#61 · Filter by author fangism opened on Jul 14, 2016
  1

  

• haccreate assertion failure -- template typedef parameter binding

  diagnosticlanguage front-end
  fangism/hackt#60 · Filter by author nbingham1 opened on Jul 13, 2016
  1

  

• haco assertion failure -- template typedef parameter transformation

  language front-end
  fangism/hackt#59 · Filter by author nbingham1 opened on Jul 12, 2016
  5

  

• update VPI tests to run with incisive (irun) if available

  simulatortesting
  fangism/hackt#58 · Filter by author fangism opened on Jul 12, 2016
  

• script for generating co-simulation (verilog/spice) testbench files from a DUT in HAC source

  workflow
  fangism/hackt#56 · Filter by author nbingham1 opened on Jul 1, 2016

• incisive verilog $prsim_cmd("timing random") hangs

  simulator
  fangism/hackt#55 · Filter by author nbingham1 opened on Jul 1, 2016

• feature request for compile time assert to print message

  diagnosticlanguage front-end
  fangism/hackt#54 · Filter by author nbingham1 opened on Jul 1, 2016
  1

• Segmentation fault -- memory allocation?

  language front-end
  fangism/hackt#52 · Filter by author nbingham1 opened on Jun 30, 2016
  2