Mercurial > hg > Applications > JavaLite

changeset 72:87b179e60443

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Diagnosis Routine
author kono
date Wed, 16 Jan 2008 14:34:04 +0900
parents 01356168f25f
children 034c573af8ea
files Changes
diffstat 1 files changed, 19 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Changes	Tue Jan 15 15:25:06 2008 +0900
+++ b/Changes	Wed Jan 16 14:34:04 2008 +0900
@@ -1,3 +1,22 @@
+Wed Jan 16 14:32:09 JST 2008
+
+diag も書きましたが、テストする気がしない...
+
+free arity なマクロが欲しいかな... def("ex(...)","true")  みたいな?
+define_varargs() かな。
+
+Tue Jan 15 16:20:05 JST 2008
+
+途中で、既に展開したnodeが出て来たときに、satisfiable のflag
+を間違えるらしい。state 毎にflagを持っている方がいいのかな。
+
+Lite 自体は、logicNode とかverifierに縮退する必要はないので、
+そちらを切り離した方が良いかも知れない。
+
+weak next をbaseにすると、~empty,next() がたくさん出て来る。
+strong next base の方が合理的なのかも。そういえば、always とかも
+持っていた方が良いと言う考え方も出来るけど...
+
 Sun Jan 13 19:20:10 JST 2008
 
 あぁ、ordered BDD になってないよ〜