Andreas Lindner

Hi again, Now I added the code (borrowed from another project and adjusted to the aarch64 assembler you use). Do you have comments about this change?

Effect "FF_CONSTANT" with G920

1

It seems like this simple effect should work but I cannot see how this is supposed to be used. Possibly I am doing something wrong and help is much appreciated....

In PR #135 we encapsulate the library inclusions in the lifter libraries to put an end to the era of its binding pollution throughout HolBA (i.e., everything that happens to...

In PR #130 we remove the dependency graph from README.md because it is stale and we don't have a script to update it quickly. We need to either fix the...

All extra expression definitions should follow a naming scheme

4

This refers mainly to the bir_and_exp, bir_imp_exp, and similar.

Init wiki

1

start with wiki pages to document environment variables, autoenv and opt environment in general

This issue/question is about the default approach that z3 takes to solve queries involving array and bitvector theory. The application we have is using these two theories to model binary...