log src/lite/ITLNodeParser.java @ 67:4ced2af1ff09 bdd-order

age author description
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
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 15:08:49 +0900 kono small example works.
Sat, 05 Jan 2008 10:50:04 +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 ***
Sat, 29 Dec 2007 19:27:18 +0900 kono Order in Node
Fri, 28 Dec 2007 18:05:25 +0900 kono *** empty log message ***
Fri, 28 Dec 2007 15:40:49 +0900 kono MacroNodeParserInterface
Fri, 28 Dec 2007 14:16:23 +0900 kono macro with command
Fri, 28 Dec 2007 04:54:38 +0900 kono Infix Macro (1st try)
Thu, 27 Dec 2007 19:03:14 +0900 kono Scanner Tester
Thu, 27 Dec 2007 00:40:28 +0900 kono *** empty log message ***
Wed, 26 Dec 2007 18:59:42 +0900 kono *** empty log message ***
Wed, 26 Dec 2007 11:48:51 +0900 kono *** empty log message ***