TrustworthyComputing/helm

Issues

• GPU support

  #6 opened a year ago by jimouris
  1

• Benchmarks evaluation

  #9 opened a year ago by jimouris
  0

• In Boolean, parse array inputs as numbers

  #10 opened a year ago by jimouris
  1

• Modify Yosys liberty file to add custom gates

  #4 opened a year ago by jimouris
  0

• Combining LUTs

  #5 opened a year ago by jimouris
  1

• no-expr Yosys flag

  #7 opened a year ago by jimouris
  0

• Merge eval_lut_circuit with main

  #8 opened a year ago by jimouris
  1

• Topological sort of LUT

  #2 opened a year ago by jimouris
  0

• Integrate encrypted LUTs into circuit.rs

  #3 opened a year ago by jimouris
  1

• Read input wires from file

  #1 opened a year ago by jimouris
  0