chipmunk-project chipmunk issues

chipmunk-project / chipmunk

A code generator for packet-processing pipelines based on end-to-end program synthesis

12 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

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 SOANykun closed 2 years ago
1
Find the influence automatically

#202 XiangyuG opened 4 years ago
1
Add slicing algo

#201 XiangyuG closed 4 years ago
0
Update README on how to test.

#200 taegyunkim closed 4 years ago
0
Merge changes from the private repo.

#199 taegyunkim closed 4 years ago
1
Test only whether counterexamples are generated not their actual values.

#198 taegyunkim closed 4 years ago
0
Pyenv to use 3.7.5.

#197 taegyunkim closed 4 years ago
1
Fix two failing tests from #195

#196 taegyunkim closed 4 years ago
0
Try using GitHub actions for CI.

#195 anirudhSK closed 4 years ago
0
Add slicing and dependency through cmd line

#194 XiangyuG closed 4 years ago
3
Verification of the dependency

#193 XiangyuG opened 4 years ago
0
Slicing algo implementation

#192 XiangyuG opened 4 years ago
0
Use truth table into spec

#191 XiangyuG opened 4 years ago
0
Better way to encode dependency between stateful groups

#190 XiangyuG opened 4 years ago
0
Constant synthesis algorithm development

#189 XiangyuG opened 4 years ago
0
Create a folder to store all outputs from a run of iterative solver.

#188 anirudhSK opened 4 years ago
0
Remove curly braces for constant vector argument in README.

#187 XiangyuG closed 5 years ago
0
Remove synthesis time restriction each iter

#186 XiangyuG closed 5 years ago
0
Update readme.

#185 taegyunkim closed 5 years ago
0
Update alu filename.

#184 taegyunkim closed 5 years ago
0
Add smoke test for type conversion functions used in get_z3_formula.

#183 anirudhSK closed 5 years ago
0
Correctly convert Bool to Int where required in get_z3_formula()

#182 anirudhSK closed 5 years ago
0
Deterministic compilation results.

#181 taegyunkim closed 5 years ago
3
Remove direct_solver.py as it's no longer used.

#180 taegyunkim closed 5 years ago
0
Add more unit tests.

#179 anirudhSK opened 5 years ago
0
Make sure chipmunk runs are deterministic.

#178 anirudhSK closed 5 years ago
0
Reduce integration time

#177 anirudhSK closed 5 years ago
2
Remove symmetry breaking assert; this is no longer correct. (duplicate of #160).

#176 anirudhSK closed 5 years ago
1
Dynamically update the set of constants considered for constant synthesis.

#175 XiangyuG closed 5 years ago
4
Use sketch intermediate representation to generate z3 formula for counterexample generation.

#174 taegyunkim closed 5 years ago
5
Add comments for negated_body().

#173 taegyunkim closed 5 years ago
0
Think up the counterexample guided constant synthesis and var dependency algo

#172 XiangyuG closed 4 years ago
1
Think up a reasonable way to deal with the address of array in domino program

#171 XiangyuG opened 5 years ago
0
Let Stateful_ALU to output either old state var or new state var

#170 XiangyuG closed 5 years ago
3
Remove parallel in test file

#169 XiangyuG closed 5 years ago
0
Remove redundant else in router_data_path_sketch.j2

#168 XiangyuG closed 5 years ago
0
Stop hardcoding constants in sketch_utils.py

#167 anirudhSK closed 5 years ago
1
Remove redundant else in j2

#166 XiangyuG closed 5 years ago
1
Implement synthesized allocation for stateful variables being allocated to stateful ALUs.

#165 anirudhSK opened 5 years ago
0
Specify output of stateful ALU

#164 anirudhSK closed 5 years ago
1
Consolidate router_data_path_sketch.j2 and router_data_path_sketch_synthesized_allocation.j2

#163 anirudhSK opened 5 years ago
0
Remove irrelevant comment.

#162 taegyunkim closed 5 years ago
0
Bug in SKETCH's generation of smt2 file.

#161 anirudhSK closed 5 years ago
2
Remove symmetry breaking constraint; this is no longer correct.

#160 anirudhSK closed 5 years ago
3
Chipmunk sometimes fails to generate smt2 file.

#159 XiangyuG closed 5 years ago
4
Pass constant vector(which store all constants appear in original program) to sketch

#158 XiangyuG closed 5 years ago
1
Use single grammar for both stateless and stateful ALUs.

#157 aatish17varma closed 5 years ago
9
Stateless alu

#156 michaeldwong closed 5 years ago
0
Compile with alu which only support some of the constants

#155 XiangyuG closed 5 years ago
1
Pass slv-seed from command line.

#154 anirudhSK opened 5 years ago
0