Mercurial > hg > Applications > JavaLite
changeset 68:e769488a5d78
Minor fix
author | kono |
---|---|
date | Mon, 14 Jan 2008 03:01:42 +0900 |
parents | 4ced2af1ff09 |
children | 5fd456b0a073 |
files | Changes |
diffstat | 1 files changed, 7 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/Changes Sun Jan 13 19:48:42 2008 +0900 +++ b/Changes Mon Jan 14 03:01:42 2008 +0900 @@ -2,6 +2,13 @@ あぁ、ordered BDD になってないよ〜 +一応、出来たかな? まだ、少しsyntax error とか残っているけど。 + +あとは、GUI と、diag (valid,unsatisfiable,counter example, execute) +かな。そのためには、 + on-demaned state generator +がいるね。そうしないと、巨大な状態遷移を二つ持つことが必要になる。 + Fri Jan 11 14:23:21 JST 2008 (empty & Hoge)が、なんかはびこって、項の大きさを大きくしているらしい。