--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile	Wed Dec 16 15:16:11 2015 +0900
@@ -0,0 +1,128 @@
+CC=gcc
+MCC=mcc
+TARGET=dpp dpp2 tableau tableau2 tableau3
+MCCFLAGS=-s
+CFLAGS=-I. -g -Wall
+
+.SUFFIXES:	.cbc .c .o
+
+.cbc.o:
+	$(MCC) $(MCCFLAGS) $<
+	$(CC) $(CFLAGS) -o $@ -c $(<:.cbc=.s)
+
+all: $(TARGET)
+
+# single running
+dpp: dpp.o main.o
+	$(CC) $(CFLAGS) -o $@ $^
+
+# multiple running
+dpp2: dpp2.o queue.o scheduler.o memory.o crc32.o
+	$(CC) $(CFLAGS) -o $@ $^
+
+# tableau expansion 
+tableau: dpp2.o queue.o tableau.o memory.o state_db.o crc32.o
+	$(CC) $(CFLAGS) -o $@ $^
+
+# tableau expansion with LTL
+tableau2: dpp2.o queue.o ltl.o tableau2.o memory.o state_db.o crc32.o
+	$(CC) $(CFLAGS) -o $@ $^
+
+# tableau expansion with LTL (reduced the number of states)
+tableau3: dpp3.o queue.o ltl.o tableau3.o memory.o state_db.o crc32.o
+	$(CC) $(CFLAGS) -o $@ $^
+
+#
+
+test:   memory_test state_test
+
+memory_test: test/memory_test
+	test/memory_test
+state_test: test/state_test
+	test/state_test
+
+test/memory_test: test/memory_test.o memory.o crc32.o
+	$(CC) $(CFLAGS) -I. $^ -o $@
+test/state_test: test/state_test.o memory.o  state_db.o crc32.o
+	$(CC) $(CFLAGS) -I. $^ -o $@
+
+clean:
+	$(RM) -f $(TARGET)
+	$(RM) -f *.s *.o
+	$(RM) -f test/*.s test/*.o test/state_test test/memory_test
+
+
+depend:
+	makedepend *.cbc *.[hc] test/*.c
+
+# DO NOT DELETE
+
+dpp.o: dpp.h
+dpp2.o: dpp2.h queue.h dpp.h state_db.h scheduler.h
+main.o: dpp.h
+queue.o: queue.h dpp.h state_db.h
+scheduler.o: /usr/include/stdio.h /usr/include/features.h
+scheduler.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
+scheduler.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
+scheduler.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
+scheduler.o: /usr/include/libio.h /usr/include/_G_config.h
+scheduler.o: /usr/include/wchar.h /usr/include/bits/wchar.h
+scheduler.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
+scheduler.o: /usr/include/bits/sys_errlist.h /usr/include/stdlib.h
+scheduler.o: /usr/include/sys/types.h /usr/include/time.h
+scheduler.o: /usr/include/endian.h /usr/include/bits/endian.h
+scheduler.o: /usr/include/sys/select.h /usr/include/bits/select.h
+scheduler.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
+scheduler.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
+scheduler.o: /usr/include/alloca.h dpp2.h queue.h dpp.h state_db.h
+tableau.o: /usr/include/stdlib.h /usr/include/features.h
+tableau.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
+tableau.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
+tableau.o: /usr/include/sys/types.h /usr/include/bits/types.h
+tableau.o: /usr/include/bits/typesizes.h /usr/include/time.h
+tableau.o: /usr/include/endian.h /usr/include/bits/endian.h
+tableau.o: /usr/include/sys/select.h /usr/include/bits/select.h
+tableau.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
+tableau.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
+tableau.o: /usr/include/alloca.h dpp2.h queue.h dpp.h state_db.h memory.h
+memory.o: /usr/include/stdio.h /usr/include/features.h
+memory.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
+memory.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
+memory.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
+memory.o: /usr/include/libio.h /usr/include/_G_config.h /usr/include/wchar.h
+memory.o: /usr/include/bits/wchar.h /usr/include/gconv.h
+memory.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
+memory.o: /usr/include/stdlib.h /usr/include/sys/types.h /usr/include/time.h
+memory.o: /usr/include/endian.h /usr/include/bits/endian.h
+memory.o: /usr/include/sys/select.h /usr/include/bits/select.h
+memory.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
+memory.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
+memory.o: /usr/include/alloca.h memory.h crc32.h /usr/include/string.h
+queue.o: dpp.h state_db.h
+state_db.o: /usr/include/stdlib.h /usr/include/features.h
+state_db.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
+state_db.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
+state_db.o: /usr/include/sys/types.h /usr/include/bits/types.h
+state_db.o: /usr/include/bits/typesizes.h /usr/include/time.h
+state_db.o: /usr/include/endian.h /usr/include/bits/endian.h
+state_db.o: /usr/include/sys/select.h /usr/include/bits/select.h
+state_db.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
+state_db.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
+state_db.o: /usr/include/alloca.h state_db.h memory.h
+test/memory_test.o: /usr/include/stdio.h /usr/include/features.h
+test/memory_test.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
+test/memory_test.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
+test/memory_test.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
+test/memory_test.o: /usr/include/libio.h /usr/include/_G_config.h
+test/memory_test.o: /usr/include/wchar.h /usr/include/bits/wchar.h
+test/memory_test.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
+test/memory_test.o: /usr/include/bits/sys_errlist.h /usr/include/strings.h
+test/memory_test.o: memory.h
+test/state_test.o: /usr/include/stdio.h /usr/include/features.h
+test/state_test.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
+test/state_test.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
+test/state_test.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
+test/state_test.o: /usr/include/libio.h /usr/include/_G_config.h
+test/state_test.o: /usr/include/wchar.h /usr/include/bits/wchar.h
+test/state_test.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
+test/state_test.o: /usr/include/bits/sys_errlist.h memory.h state_db.h