2016-04-09 | Alexander Fedotov | helper maps | blob | commitdiff | raw |
2016-04-07 | Alexander Fedotov | tiny update | blob | commitdiff | raw | diff to current |
2016-04-07 | Alexander Fedotov | small clean-up | blob | commitdiff | raw | diff to current |
2016-04-07 | Alexander Fedotov | state encoding done (needs checking) | blob | commitdiff | raw | diff to current |
2016-04-07 | Alexander Fedotov | encoding update (unfinished) | blob | commitdiff | raw | diff to current |
2016-04-07 | Alexander Fedotov | small update | blob | commitdiff | raw | diff to current |
2016-04-07 | Alexander Fedotov | started with bdd encoding | blob | commitdiff | raw | diff to current |