Atomic
|
add pure-callable type (#4066)
|
2020-08-26 16:51:22 -04:00 |
Algebra.php
|
Simplify simplification
|
2020-08-26 16:51:55 -04:00 |
Atomic.php
|
add pure-callable type (#4066)
|
2020-08-26 16:51:22 -04:00 |
NodeVisitor.php
|
Align paramter names
|
2020-08-09 23:19:59 -04:00 |
Reconciler.php
|
Fix CI
|
2020-08-03 02:45:55 -04:00 |
TaintKind.php
|
Simplify sink mapping for internal calls
|
2020-05-25 13:10:06 -04:00 |
TypeNode.php
|
Allow types to be traversed
|
2020-03-14 23:54:51 -04:00 |
Union.php
|
Refactor type comparison
|
2020-07-21 19:40:35 -04:00 |