fangism/hackt

Issues

• more vt transistor types with custom names from config file

  #77 opened 3 years ago by chrislafrieda
  2

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

  #76 opened 4 years ago by fangism
  0

• gcc 5.2.1 doesn't like the STL wrappers

  #40 opened 9 years ago
  6

• wrap_verilog_modules_to_hacprsim.awk doesn't support multidimensional arrays

  #75 opened 8 years ago by fangism
  1

• hacknet: support new device parameters NFIN and NF

  #39 opened 8 years ago by teenylasers
  1

• fatal error: 'sim/veriuser.h' file not found

  #74 opened 8 years ago by cjdrake
  1

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

  #73 opened 8 years ago by fangism
  1

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

  #72 opened 8 years ago by fangism
  0

• [hacprsim] support counterflow channels

  #71 opened 8 years ago by fangism
  0

• Lift 4-dimension limit on arrays

  #70 opened 8 years ago by fangism
  0

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

  #69 opened 8 years ago by fangism
  0

• documentation for spice* utility scripts

  #68 opened 8 years ago by fangism
  1

• hacknet -H documentation could be organized by section

  #67 opened 8 years ago by fangism
  0

• hacknet feature request (verilog): indicate port directions

  #64 opened 8 years ago by fangism
  0

• Feature Request channel-source-none

  #66 opened 8 years ago by nbingham1
  1

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

  #65 opened 8 years ago by nbingham1
  1

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

  #63 opened 8 years ago by fangism
  0

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

  #62 opened 8 years ago by fangism
  0

• [rejects-valid] template typedef relaxed parameter binding

  #61 opened 8 years ago by fangism
  1

• haccreate assertion failure -- template typedef parameter binding

  #60 opened 8 years ago by nbingham1
  1

• haco assertion failure -- template typedef parameter transformation

  #59 opened 8 years ago by nbingham1
  5

• Segmentation fault -- memory allocation?

  #52 opened 9 years ago by nbingham1
  2

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

  #56 opened 9 years ago by nbingham1
  0

• hacprsim false positive error on channel connections

  #49 opened 9 years ago by nbingham1
  1

• mk_exclhi dies with one input

  #53 opened 8 years ago by nbingham1
  0

• feature request: random number generator in CHP

  #57 opened 8 years ago by fangism
  0

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

  #58 opened 8 years ago by fangism
  0

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

  #55 opened 9 years ago by nbingham1
  0

• chpsim watchall-values unrecognized command

  #47 opened 9 years ago by nbingham1
  0

• feature request for compile time assert to print message

  #54 opened 9 years ago by nbingham1
  1

• vpi-prsim support for Cadence incisive (cosimulation)

  #51 opened 9 years ago by fangism
  0

• hacprsim channel-clocked no support for reset data value

  #50 opened 9 years ago by nbingham1
  1

• hacprsim coredump on using implicit sources

  #48 opened 9 years ago by nbingham1
  1

• hacprsim: replay/rewind using trace files (time machine)

  #41 opened 9 years ago by joydip15
  0

• hacprsim no-status-interfere command documentation inconsistent

  #46 opened 9 years ago by fangism
  0

• bison-2.7 produces invalid parser/hackt-union.cc (zero-size array)

  #43 opened 9 years ago by fangism
  1

• bison-2.7 produces compile-error (in transformed hackt-parse-real.cc)

  #42 opened 9 years ago by fangism
  2

• bison-2.7 produces files outside of subdirectory where source file was referenced

  #45 opened 9 years ago by fangism
  1

• cannot configure with bison-2.7

  #44 opened 9 years ago by fangism
  0

• instance declaration instref_lval shadows preprocessor parameter

  #35 opened 10 years ago by tadeoman
  3

• Need absolute path option for location of "vcs".

  #38 opened 10 years ago by steveupham
  2

• hacprsim clocked-channel sources always drive clock, but sometimes want clock driven externally

  #37 opened 10 years ago by fangism
  2

• 'as' is identified as a keyword

  #36 opened 10 years ago by tadeoman
  0

• Request: Add flag to define metaparameters at compile time

  #32 opened 10 years ago by tadeoman
  1

• Unused typedef 'value_type' in util/multikey_assocc.tcc

  #33 opened 10 years ago by tadeoman
  0

• ./parser/instref-parse.output.hh:24:1: error: zero-size array 'yysss'

  #34 opened 10 years ago by tadeoman
  0

• hacprsim's dot output looks wrong

  #31 opened 11 years ago by benvarkey
  1

• readline: rl_completion_display_matches_hook prototype difference in pointer assignment

  #28 opened 11 years ago by benvarkey
  2

• Unused variable foo in flex_lexer_state.cc

  #30 opened 11 years ago by tadeoman
  1

• Unused-local-typedefs on static_asert.hh:47:57

  #29 opened 11 years ago by tadeoman
  1