working on enum

.gitignore

@@ -0,0 +1,57 @@
+# Compiled source #
+###################
+*.com
+*.class
+*.dll
+*.exe
+*.o
+*.so
+*.cma
+
+# Packages #
+############
+# it's better to unpack these files and commit the raw source
+# git has its own built in compression methods
+*.7z
+*.dmg
+*.gz
+*.iso
+*.jar
+*.rar
+*.tar
+*.zip
+
+# Logs and databases #
+######################
+*.log
+*.sql
+*.sqlite
+
+# OS generated files #
+######################
+.DS_Store
+.DS_Store?
+._*
+.Spotlight-V100
+.Trashes
+ehthumbs.db
+Thumbs.db
+
+#latex generated files#
+#######################
+*.pdf
+*.blg
+*.aux
+*.bbl
+
+#Time-C generated files#
+########################
+*.i
+*.o
+*.cil.c
+*.dot
+
+#Time-C generated files#
+########################
+ktcexe
+_build/

Makefile

@@ -0,0 +1,32 @@
+DIRS = src
+
+.PHONY: all 
+
+# Init submodules if needed and make native version. 
+# The resulting executable can be found under /bin and /library (symlinks)
+all:   ktcutil ktcoption native 
+
+# Compile native version.
+ktcutil:
+	@ocamlbuild -no-hygiene -use-ocamlfind -package cil -Is $(DIRS) ktcutil.cma
+	@ocamlbuild -no-hygiene -use-ocamlfind -package cil -Is $(DIRS) ktcutil.cmxa 
+	@rm -f bytes.ml
+	@cp _build/src/ktcutil.cma libs/.
+	@cp _build/src/ktcutil.cmxa libs/.
+
+ktcoption:
+	@ocamlbuild -no-hygiene -use-ocamlfind -package cil -Is $(DIRS) ktcoptions.cma
+	@ocamlbuild -no-hygiene -use-ocamlfind -package cil -Is $(DIRS) ktcoptions.cmxa 
+	@ocamlbuild -no-hygiene -use-ocamlfind -package cil -Is $(DIRS) cilktc.cma
+	@ocamlbuild -no-hygiene -use-ocamlfind -package cil -Is $(DIRS) cilktc.cmxa 
+	@rm -f bytes.ml
+	@cp _build/src/ktcoptions.cma libs/. 
+	@cp _build/src/ktcoptions.cmxa libs/.
+
+
+
+native:
+	@ocamlbuild -no-hygiene -use-ocamlfind -package cil  -Is $(DIRS) main.native
+	@rm -f main.native
+	@cd bin; cp ../_build/src/main.native ktcexe
+

bin/ktc

@@ -0,0 +1,21 @@
+#!/usr/bin/perl
+#
+# The main driver for the Ktc system.
+#
+
+use strict;
+
+use FindBin;
+use lib "$FindBin::RealBin/../..";
+use lib "$FindBin::RealBin/../lib";
+use lib "$FindBin::RealBin/../cil/bin";
+use lib "$FindBin::RealBin/../cil/lib";
+
+use App::Cilly::CilConfig;
+use Ktc;
+
+$::ktchome = "$FindBin::RealBin/..";
+
+Ktc->new(@ARGV)->doit();
+
+exit(0);

bin/log

@@ -0,0 +1,17 @@
+Pred 1 -- 0
+Pred 2 -- 1
+Pred 3 -- 2
+Pred 4 -- 3
+Pred 5 -- 4
+Pred 7 -- 5
+Pred 7 -- 6
+Pred 6 -- 5
+Available for 0: {}
+Available for 1: {a}
+Available for sdelay: {a}
+Available for 3: {a,b}
+Available for fdelay: {a,b}
+Available for 5: {a,b}
+Available for callme: {a,b}
+Available for 7: {a,b}
+