Skip to content

relaxes interpreters to allow ill-typed operations - #1422

Merged
ivg merged 1 commit into
BinaryAnalysisPlatform:masterfrom
ivg:relaxes-apply-binop
Feb 4, 2022
Merged

relaxes interpreters to allow ill-typed operations#1422
ivg merged 1 commit into
BinaryAnalysisPlatform:masterfrom
ivg:relaxes-apply-binop

relaxes the Apply.binop function to allow not well-typed operations

a153442
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs