Andreas Lindner
Andreas Lindner
I was just looking for the Holmake include directive so I would also like this feature. Is there already something done for this?
Okay, for now I made a local workaround. If I have time later I may give it a try.
Strange, for me it worked as described. Did you checkout the armv8 branch in openocd? If not, you do this with "git checkout armv8"
Ok. I found the problem. I didn't know that direction means something like angle of force. This code works and I can use it to change the force from a...
Just a note: these two are a (now not anymore working) copy-fork of the scamv symbexec subdirectory. It should be checked but there should be nothing additional there. I forgot...
`std_holba_ss` sounds nice to me. I wouldn't include additional theories in those ones. I cannot foresee a lot of implications, use cases and associated traps of simplification sets with all...
The one that is already used, like for MSB and friends. But maybe it's less consistent than I remember. Let's do this together. Maybe imp also suggests something different than...
also the make structure with the runner scripts, gen_Holmakefile.py and travis. that is the foundation. so pretty much `Makefile` and `scripts`.
Yes, you are right! And we should be able to add this relatively easy by using w2n and combintheory's update in your wrapper.py file I believe. (If I'm not missing...