chipmunk-project/chipmunk

Issues

• AssertionError when run iterative_solver example_specs/simple.sk example_alus/stateful_alus/raw.alu example_alus/stateless_alus/stateless_alu.alu 2 2 "0,1,2,3" 10 --hole-elimination

  #203 opened 2 years ago by SOANykun
  1

• Find the influence automatically

  #202 opened 5 years ago by XiangyuG
  1

• Fix two failing tests from #195

  #196 opened 5 years ago by taegyunkim
  0

• pkt-fields argument doesn't work correctly

  #136 opened 5 years ago by anirudhSK
  5

• Consider using tempfile for autogenerated sketches

  #81 opened 5 years ago by anirudhSK
  5

• Verification of the dependency

  #193 opened 5 years ago by XiangyuG
  0

• Think up the counterexample guided constant synthesis and var dependency algo

  #172 opened 5 years ago by XiangyuG
  1

• Slicing algo implementation

  #192 opened 5 years ago by XiangyuG
  0

• Use truth table into spec

  #191 opened 5 years ago by XiangyuG
  0

• Better way to encode dependency between stateful groups

  #190 opened 5 years ago by XiangyuG
  0

• Constant synthesis algorithm development

  #189 opened 5 years ago by XiangyuG
  0

• Create a folder to store all outputs from a run of iterative solver.

  #188 opened 5 years ago by anirudhSK
  0

• Make sure chipmunk runs are deterministic.

  #178 opened 5 years ago by anirudhSK
  0

• Correctly convert Bool to Int where required in get_z3_formula()

  #182 opened 5 years ago by anirudhSK
  0

• Add more unit tests.

  #179 opened 5 years ago by anirudhSK
  0

• Bug in SKETCH's generation of smt2 file.

  #161 opened 5 years ago by anirudhSK
  2

• Think up a reasonable way to deal with the address of array in domino program

  #171 opened 5 years ago by XiangyuG
  0

• Provide a way to limit the number of cores to use

  #122 opened 5 years ago by taegyunkim
  3

• Develop a systematic approach to synthesizing constants

  #126 opened 5 years ago by anirudhSK
  1

• Specify output of stateful ALU

  #164 opened 5 years ago by anirudhSK
  1

• Implement synthesized allocation for stateful variables being allocated to stateful ALUs.

  #165 opened 5 years ago by anirudhSK
  0

• Consolidate router_data_path_sketch.j2 and router_data_path_sketch_synthesized_allocation.j2

  #163 opened 5 years ago by anirudhSK
  0

• Modify hole-elimination to not add counterexamples for the purpose of comparison

  #143 opened 5 years ago by taegyunkim
  3

• Error when calling free()

  #144 opened 6 years ago by XiangyuG
  1

• Pass sketch timeout as a command line argument.

  #147 opened 5 years ago by anirudhSK
  1

• Gradual search

  #93 opened 5 years ago by anirudhSK
  2

• compare the running time between hole-elimination and cex mode

  #150 opened 5 years ago by XiangyuG
  2

• Chipmunk sometimes fails to generate smt2 file.

  #159 opened 5 years ago by XiangyuG
  4

• Have a common format for both stateless and stateful ALUs.

  #153 opened 5 years ago by anirudhSK
  1

• Compile with alu which only support some of the constants

  #155 opened 5 years ago by XiangyuG
  1

• Pass slv-seed from command line.

  #154 opened 5 years ago by anirudhSK
  0

• Compare canonicalized-allocation vs synthesis-allocation

  #149 opened 6 years ago by XiangyuG
  0

• Time limit on compilation

  #152 opened 6 years ago by taegyunkim
  0

• Hole elimination test does not trigger hole elimination code paths

  #134 opened 6 years ago by taegyunkim
  0

• Debug "sketch not resolved" error

  #137 opened 6 years ago by anirudhSK
  3

• Implement flags to turn on/off specific optimizations

  #127 opened 6 years ago by taegyunkim
  1

• More z3 usages

  #98 opened 6 years ago by taegyunkim
  3

• Single test fails on Mac passes on cyclops

  #128 opened 6 years ago by taegyunkim
  8

• Adding counterexample input values vs adding negation of hole value assignments

  #140 opened 6 years ago by taegyunkim
  1

• Add tests for current 6 program specifications that we can compile now.

  #123 opened 6 years ago by taegyunkim
  0

• One compilation bug for flowlets.sk

  #117 opened 6 years ago by XiangyuG
  8

• It's hard to tell which required argument is not given.

  #119 opened 6 years ago by XiangyuG
  0

• The running issue of parallel vs not parallel

  #118 opened 6 years ago by XiangyuG
  2

• Figure out a sensible value for bnd-int-range.

  #86 opened 6 years ago by anirudhSK
  2

• Add nonnegative restriction in .smt2 file

  #108 opened 6 years ago by XiangyuG
  4

• Write a sketch wrapper library

  #105 opened 6 years ago by taegyunkim
  1

• Iterative solver counter example generation bug.

  #102 opened 6 years ago by taegyunkim
  6

• Speed up sol_verify

  #82 opened 6 years ago by anirudhSK
  14

• Look into GitHub security warning (https://github.com/chipmunk-project/chipmunk/network/alert/requirements.txt/Jinja2/open)

  #89 opened 6 years ago by anirudhSK
  2

• $> pip3 install -e . doesn't run antlr

  #83 opened 6 years ago by taegyunkim
  0