GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 08:53:12 +03:00
Code Issues Projects Releases Wiki Activity
332e85b8b1
macaw/macaw-ppc
History
Tristan Ravitch 332e85b8b1 ppc: Implement semantics for TD and TDI 
The semantics for these instructions cannot be represented in our semantics
language, as they have side effects (i.e., they trap).  This currently means
that we have to implement their semantics by hand in macaw-ppc.
2018-07-03 17:44:40 -07:00
..
src/Data/Macaw ppc: Implement semantics for TD and TDI 2018-07-03 17:44:40 -07:00
tests Update the PowerPC tests to deal with the latest macaw-semmc changes 2018-05-21 14:32:29 -07:00
ChangeLog.md first commit 2017-08-28 15:48:55 -07:00
LICENSE first commit 2017-08-28 15:48:55 -07:00
macaw-ppc.cabal Update the PowerPC tests to deal with the latest macaw-semmc changes 2018-05-21 14:32:29 -07:00
Setup.hs first commit 2017-08-28 15:48:55 -07:00