Christoph
authored
With Sat states only treated like other states in the second fixpoint iteration, the outer fixpoint was not ncessarily monononously decreasing causing wrong results when in the first round the same number of nodes got removed as added due to sat states.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| coalg | ||
| coalgcompare | ||
| debugger | ||
| lib | ||
| ncurses | ||
| owl | ||
| repl-example | ||
| testsuite | ||
| .dir-locals.el | ||