[PPL-devel] Import

[Roberto Bagnara]

CVSROOT:	/cvs/alv
Module name:	composite
Changes by:	roberto at spartacus.cs.unipr.it	03/01/08 11:16:50

Log message:
    As received from Ken Mixter.
    
    Status:
    
    Vendor Tag:	KM
    Release Tags:	COMPOSITE_PPL_0_1
    
    N composite/codegen/generate.c
    N composite/codegen/generate.h
    N composite/composition/Composition.c
    N composite/composition/Composition.h
    N composite/obj-linux/Makefile
    N composite/parser/Action.c
    N composite/parser/Action.h
    N composite/parser/StringUtil.c
    N composite/parser/StringUtil.h
    N composite/parser/SymbolTable.c
    N composite/parser/SymbolTable.h
    N composite/parser/TypeInfo.c
    N composite/parser/TypeInfo.h
    N composite/parser/lexer.l
    N composite/parser/main.c
    N composite/parser/parser.y
    N composite/parser/yylex.h
    N composite/predabs/AbsAction.cc
    N composite/predabs/AbsSpec.cc
    N composite/predabs/AbsUtil.cc
    N composite/predabs/ErrTrace.cc
    N composite/predabs/HaTransSys.cc
    N composite/predabs/bPredVar.cc
    N composite/predabs/AbsAction.h
    N composite/predabs/AbsSpec.h
    N composite/predabs/AbsUtil.h
    N composite/predabs/ErrTrace.h
    N composite/predabs/HaTransSys.h
    N composite/predabs/bPredVar.h
    N composite/predabs/elimparser.y
    N composite/predabs/predparser.y
    N composite/predabs/elimlexer.l
    N composite/predabs/predlexer.l
    N composite/predabs/elimscript.txt
    N composite/predabs/sedscript.txt
    N composite/symbolic/BoolSym.c
    N composite/symbolic/BoolSym.h
    N composite/symbolic/CompSym.c
    N composite/symbolic/CompSym.h
    N composite/symbolic/IntSym.c
    N composite/symbolic/IntSym.h
    N composite/symbolic/RealSym.c
    N composite/symbolic/RealSym.h
    N composite/symbolic/Symbolic.c
    N composite/symbolic/Symbolic.h
    N composite/symcache/SymCache.c
    N composite/symcache/SymCache.h
    N composite/util/Formula.c
    N composite/util/Formula.h
    N composite/util/LinkedList.c
    N composite/util/LinkedList.h
    N composite/util/Node.c
    N composite/util/Node.h
    N composite/util/Set.c
    N composite/util/Set.h
    N composite/util/Stack.c
    N composite/util/Stack.h
    N composite/util/bool.h
    N composite/util/parmiface.c
    N composite/util/parmiface.h
    N composite/verifier/TransSys.c
    N composite/verifier/TransSys.h
    N composite/examples/bakery2i.al
    N composite/examples/bakery2l.al
    N composite/examples/bakery3i.al
    N composite/examples/bakery3l.al
    N composite/examples/bakery4i.al
    N composite/examples/bakery4l.al
    N composite/examples/bakeryint.al
    N composite/examples/barber1.al
    N composite/examples/barber2.al
    N composite/examples/barber3.al
    N composite/examples/barber4.al
    N composite/examples/barber5.al
    N composite/examples/barber.al
    N composite/examples/barberm1.al
    N composite/examples/barberm2-1
    N composite/examples/barberm2-2
    N composite/examples/barberm2-3
    N composite/examples/barberm2.al
    N composite/examples/barberm3-1
    N composite/examples/barberm3-2
    N composite/examples/barberm3-3
    N composite/examples/barberm3.al
    N composite/examples/barberm4-1
    N composite/examples/barberm4-2
    N composite/examples/barberm4-3
    N composite/examples/barberm4.al
    N composite/examples/barberm5.al
    N composite/examples/barberm.al
    N composite/examples/barbermp-1.al
    N composite/examples/barbermp-2.al
    N composite/examples/barbermp-3.al
    N composite/examples/barbermp.al
    N composite/examples/barberp.al
    
    No conflicts created by this import