From 88d024990b97292f4d3d0fe0bf9c08e75c12c3ce Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 13 Mar 2023 17:05:23 -0400 Subject: [PATCH] macaw-symbolic: Note lazy memory model in the changelog --- symbolic/ChangeLog.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/symbolic/ChangeLog.md b/symbolic/ChangeLog.md index a8b6bcbf..a4f4d092 100644 --- a/symbolic/ChangeLog.md +++ b/symbolic/ChangeLog.md @@ -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