CozySynthesizer / cozy

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

Use backend specific implementation for UOp.Length #116

Closed izgzhen closed 1 year ago

izgzhen commented 4 years ago

... which is faster than sum(map(xs, lambda _: 1))

Test:

cd examples
cozy intset.ds --c++ intset.hpp -t 30
cozy intset.ds --java Intset.java -t 30
cozy intset.ds --ruby intset.rb -t 30