-
Notifications
You must be signed in to change notification settings - Fork 47
Home
Paul Sokolovsky edited this page Aug 21, 2015
·
6 revisions
(Informal-style, posts on forums/mailing lists.)
- http://lists.osuosl.org/pipermail/replicant/Week-of-Mon-20150413/000700.html (mirror)
- http://www.kosagi.com/forums/viewtopic.php?id=189
- 0.9: Save DB as YAML file #3.
- 1.0: Switch to https://github.com/pfalcon/picotui to enable decent UI.
ScratchABit may update saved state ("DB") format between different versions. DBMigration discusses how to migrate database.
- https://github.com/bdcht/amoco - Pure Python, symbolic evaluation, seems to have good formal base, not everything in docs is clear thus ;-)
- https://github.com/feliam/pysymemu - "An intel 64 symbolic emulator"