search

wala / ML

Eclipse Public License 2.0
24 stars 17 forks source link

Using XML summaries to add some TF2 APIs #64

Closed tatianacv closed 1 year ago

tatianacv commented 1 year ago

All "level 1" APIs and one "level 2" API (random.uniform) are now inferred via summaries.

This PR addresses the following issues:

  1. https://github.com/wala/ML/issues/60
  2. https://github.com/wala/ML/issues/49