GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 05:45:51 +03:00
Code Issues Projects Releases Wiki Activity

macaw-symbolic: Note lazy memory model in the changelog

Browse Source
This commit is contained in:
Ryan Scott 2023-03-13 17:05:23 -04:00 committed by Ryan Scott
parent 73b8a49d38
commit 88d024990b
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
symbolic/ChangeLog.md
View File

@ -87,6 +87,13 @@
Then you can simply use the implementation that `memModelConfig` provides.
- In addition to the default memory model in `Data.Macaw.Symbolic.Memory`, there
is now a lazy memory model configuration in `Data.Macaw.Symbolic.Memory.Lazy`.
Both modules provide the same API, so it is recommended to import them
qualified. The lazy model sacrifies same space in exchange for generally
improved simulation-time performance and better scalabilty for large (i.e.,
megabytes or larger) binaries.
- `Data.Macaw.Symbolic.Testing.simulateAndVerify` now takes an additional
`MemModelPreset` argument to allow test case authors to choose which preset
memory model configuration to use during testing. Currently, the only two