log

age author description
Fri, 18 Jan 2008 00:00:27 +0900 kono *** empty log message ***
Thu, 17 Jan 2008 21:23:11 +0900 kono Almost completed.
Thu, 17 Jan 2008 20:56:31 +0900 kono Almost completed.
Thu, 17 Jan 2008 18:49:34 +0900 kono *** empty log message ***
Thu, 17 Jan 2008 15:00:37 +0900 kono *** empty log message ***
Thu, 17 Jan 2008 13:55:08 +0900 kono *** empty log message ***
Thu, 17 Jan 2008 11:09:19 +0900 kono comments
Thu, 17 Jan 2008 11:09:15 +0900 kono *** empty log message ***
Thu, 17 Jan 2008 10:42:05 +0900 kono comments
Thu, 17 Jan 2008 03:45:54 +0900 kono *** empty log message ***
Thu, 17 Jan 2008 03:20:48 +0900 kono *** empty log message *** order-fix
Thu, 17 Jan 2008 01:49:50 +0900 kono *** empty log message *** remove-logicNode
Wed, 16 Jan 2008 14:34:11 +0900 kono Diagnosis Routine
Wed, 16 Jan 2008 14:34:04 +0900 kono Diagnosis Routine
Tue, 15 Jan 2008 15:25:06 +0900 kono *** empty log message ***
Mon, 14 Jan 2008 16:48:48 +0900 kono *** empty log message *** main-loop
Mon, 14 Jan 2008 03:01:45 +0900 kono *** empty log message ***
Mon, 14 Jan 2008 03:01:42 +0900 kono Minor fix
Sun, 13 Jan 2008 19:48:42 +0900 kono BDD Order fix bdd-order
Fri, 11 Jan 2008 14:31:02 +0900 kono *** empty log message ***
Fri, 11 Jan 2008 02:10:06 +0900 kono *** empty log message ***
Thu, 10 Jan 2008 18:16:00 +0900 kono *** empty log message *** quantifier-worked
Thu, 10 Jan 2008 02:29:46 +0900 kono きらかに、exists はバグってるね。
Thu, 10 Jan 2008 02:29:42 +0900 kono あきらかに、exists はバグってるね。
Wed, 09 Jan 2008 19:57:56 +0900 kono *** empty log message ***
Wed, 09 Jan 2008 16:42:51 +0900 kono exists does not terminate...
Wed, 09 Jan 2008 12:40:01 +0900 kono *** empty log message ***
Tue, 08 Jan 2008 17:01:21 +0900 kono *** empty log message ***
Tue, 08 Jan 2008 02:15:16 +0900 kono *** empty log message ***
Mon, 07 Jan 2008 22:02:16 +0900 kono *** empty log message ***
Mon, 07 Jan 2008 15:08:49 +0900 kono small example works.
Mon, 07 Jan 2008 08:40:10 +0900 kono *** empty log message ***
Mon, 07 Jan 2008 01:15:00 +0900 kono *** empty log message ***
Sun, 06 Jan 2008 23:08:08 +0900 kono *** empty log message ***
Sun, 06 Jan 2008 22:34:32 +0900 kono *** empty log message *** verify-chop-works
Sun, 06 Jan 2008 21:48:57 +0900 kono *** empty log message ***
Sun, 06 Jan 2008 21:02:24 +0900 kono *** empty log message ***
Sun, 06 Jan 2008 18:41:36 +0900 kono BDD done (?)
Sun, 06 Jan 2008 10:23:11 +0900 kono *** empty log message ***
Sun, 06 Jan 2008 08:58:07 +0900 kono *** empty log message ***
Sat, 05 Jan 2008 21:25:50 +0900 kono *** empty log message *** wokirng
Sat, 05 Jan 2008 11:50:29 +0900 kono *** empty log message *** sbdd-interface
Sat, 05 Jan 2008 10:50:04 +0900 kono *** empty log message ***
Sat, 05 Jan 2008 09:47:04 +0900 kono SBDD sbdd
Fri, 04 Jan 2008 12:07:12 +0900 kono *** empty log message ***
Wed, 02 Jan 2008 17:42:03 +0900 kono *** empty log message ***
Wed, 02 Jan 2008 14:29:13 +0900 kono *** empty log message ***
Wed, 02 Jan 2008 13:50:01 +0900 kono ITL develop
Wed, 02 Jan 2008 04:41:10 +0900 kono *** empty log message ***
Wed, 02 Jan 2008 04:31:20 +0900 kono *** empty log message ***
Wed, 02 Jan 2008 04:22:46 +0900 kono *** empty log message ***
Wed, 02 Jan 2008 03:57:40 +0900 kono ITL one clock working (!!) itl-one-clock
Wed, 02 Jan 2008 03:15:03 +0900 kono ITL Satisfier on one clock first try.
Wed, 02 Jan 2008 00:23:33 +0900 kono *** empty log message ***
Tue, 01 Jan 2008 23:15:54 +0900 kono *** empty log message ***
Tue, 01 Jan 2008 00:20:28 +0900 kono *** empty log message ***
Mon, 31 Dec 2007 20:29:34 +0900 kono Operator Order Test operator-order
Mon, 31 Dec 2007 19:06:38 +0900 kono state less scope cleannup infix-macro-working
Mon, 31 Dec 2007 12:23:50 +0900 kono *** empty log message ***
Mon, 31 Dec 2007 01:45:53 +0900 kono *** empty log message ***