Commit 714f71f1 authored by Thorsten Wißmann's avatar Thorsten Wißmann 🐧
Browse files

More bugs

parent 529690c8
......@@ -41,5 +41,9 @@ $ elm repl
* Highlight the next SMV step better
* Fix scroll window for long traces.
* What's wrong with data_422/256.sol?
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment