search

favu100 / b2program

READ-ONLY MIRROR of https://gitlab.cs.uni-duesseldorf.de/general/stups/b2program; DO NOT PUSH
5 stars 3 forks source link

Implement iterator for BRelation #26

Closed favu100 closed 2 years ago

favu100 commented 2 years ago

This is now fixed for Java at least

favu100 commented 2 years ago

This issue is now also solved for C++ and TypeScript