You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Added code and data to TransactionBody returns (#3051)
* Added code and data to TransactionBody returns
* Always return data
* Added in logs and transitions
Moved db wrapper to accepting and returning verified transactions (#2986)
* Moved db wrapper to accepting and returning verified transactions, with actual verification skipped on retrieval
- Should fix error when retrieving some ZQ1 transactions
* Changes from comments
Fix Scilla state delta application (#2953)
The recursive call fails to pop the last element when it is
finished, meaning state deltas with more than one key update are
applied very incorrectly.
Fixes#2350.
Fix querying Scilla variables which prefix other variables (#2926)
There is a comment next to the change which explains the problem. I
won't bother repeating it here.