issues
search
Xazax-hun
/
domains-oxide
Toy language to help experiment with numerical domains for abstract interpretation
Apache License 2.0
2
stars
0
forks
source link
Add transfer function utilities
#3
Open
Xazax-hun
opened
1 year ago
Xazax-hun
commented
1 year ago
Transfer function to add logging
Memoization wrapper
Could widening be a wrapper?
Chain transfer functions, an option to reorganize code by separating one big transfer function into many smaller ones
Combine transfer functions for lattices built using products or other methods