search

CozySynthesizer / cozy

The collection synthesizer
https://cozy.uwplse.org
Apache License 2.0
209 stars 18 forks source link

EFlatMap related optimizations #113

Closed izgzhen closed 4 years ago

izgzhen commented 4 years ago

How to test:

cd examples;
make flatmap
./flatmap # should finish quickly
izgzhen commented 4 years ago

The actual changes start to be a mess ... I will take this down until I figure the whole thing out