search

chipmunk-project / chipmunk

A code generator for packet-processing pipelines based on end-to-end program synthesis
12 stars 5 forks source link

Think up the counterexample guided constant synthesis and var dependency algo #172

Closed XiangyuG closed 4 years ago

XiangyuG commented 4 years ago

We have already implement counterexample guided constant synthesis algo by appending more constants to constant_vec from generated counterexamples.

The var dependency algo will be implement in the issue #192 .

We can close this issue for now.