search

sl-comp / SL-COMP18

Resources for the SL-COMP 2018 edition
3 stars 2 forks source link

added benchmarks for basic inference rules #9

Closed lequangloc closed 6 years ago

lequangloc commented 6 years ago

8 more benchmarks for idls_entl

Thanks, Loc

slcomp commented 6 years ago

Thank you for this contribution.