Change log

This commit is contained in:
REDMOND\brodes
2024-11-18 11:14:46 -05:00
parent de05aee483
commit 4b83a451bd

View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* Removed NonThrowing.qll. Throwing meta-data now part of Throwing.qll. Updated models and IR to use the new Throwing library and predicates.