{"shas":[["c198e9e0bc5cc8fcbbf830f4a988949d79abfadb","3504ecb32775c9ded85af6057cd2469aef67e6fb@sogilis.com","Abstracted default int size of i32 in GENERATOR. TODO: make it configurable by looking at the size of the integer role","Shanti Bouchez"],["60d628d986e3b1c906a19f2336df0f6d7f6eea54","3504ecb32775c9ded85af6057cd2469aef67e6fb@sogilis.com","Improved bool.feature","Shanti Bouchez"]],"ref":"refs/heads/wip","size":2,"head":"60d628d986e3b1c906a19f2336df0f6d7f6eea54","push_id":38852845}