Hmm, I’m realizing I should have provided more context: I have a closed source compiler and disassembler for a mystery ISA (no physical hardware). Can I figure out the available instructions and their semantics?https://twitter.com/moyix/status/1162443206291677184 …
-
-
Replying to @moyix
This might be relatedhttps://github.com/StanfordPL/strata …
3 replies 0 retweets 5 likes -
Replying to @bipartite @moyix
I might be wrong but didn't strata require a handcrafted base of useful instructions to be able to synthesize the rest?
2 replies 0 retweets 1 like
It’s unlikely to be directly applicable here since this is a different problem..
1:21 PM - 18 Aug 2019
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.