Commit 82dac1a6 authored by Thorsten Wißmann's avatar Thorsten Wißmann 🐧
Browse files

Update BUGS

parent 21a9dc98
......@@ -35,13 +35,11 @@ $ elm repl
* Add a favicon:
<link rel="shortcut icon" href="/lib/tpl/mnml-blog/user/favicon.png">
* Compress train after last SMV step
* Describe the task in the title.
* Highlight the next SMV step better
* Fix scroll window for long traces.
* Call .scrollIntoView() on the focused trace line
* 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