Check the current benchmarks from the eco-imp database (https://www-sop.inria.fr/members/Martin.Avanzini/software/eco-imp/#experiments) if they are equivalent (e.g. coupon.heyvl and linear01.heyvl are different from the original programs). For the remaining eco-imp benchmarks that have not been translated to heyvl yet, check if there are reasons for that (e. g. too complicated, not possible, doesn't make sense) or if they could be added to Caesar's benchmark set.
Check the current benchmarks from the eco-imp database (https://www-sop.inria.fr/members/Martin.Avanzini/software/eco-imp/#experiments) if they are equivalent (e.g. coupon.heyvl and linear01.heyvl are different from the original programs). For the remaining eco-imp benchmarks that have not been translated to heyvl yet, check if there are reasons for that (e. g. too complicated, not possible, doesn't make sense) or if they could be added to Caesar's benchmark set.