[Project] FileName=Scyther.dev Name=Scyther UnitCount=72 Type=1 Ver=1 ObjFiles= Includes= Libs= PrivateResource= ResourceIncludes= MakeIncludes= Compiler= CppCompiler= Linker= IsCpp=0 Icon= ExeOutput=..\gui\Scyther ObjectOutput= OverrideOutput=0 OverrideOutputName=Scyther.exe HostApplication= Folders= CommandLine= UseCustomMakefile=0 CustomMakefile= IncludeVersionInfo=0 SupportXPThemes=0 CompilerSet=0 CompilerSettings=0000000000000000000000 [Unit1] FileName=xmlout.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit2] FileName=arachne.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit3] FileName=arachne.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit4] FileName=binding.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit5] FileName=binding.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit6] FileName=claim.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit7] FileName=claim.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit8] FileName=color.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit9] FileName=color.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit10] FileName=compiler.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit11] FileName=compiler.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit12] FileName=cost.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit13] FileName=cost.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit14] FileName=debug.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit15] FileName=debug.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit16] FileName=depend.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit17] FileName=depend.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit18] FileName=dotout.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit19] FileName=dotout.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit20] FileName=error.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit21] FileName=error.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit22] FileName=heuristic.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit23] FileName=heuristic.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit24] FileName=hidelevel.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit25] FileName=hidelevel.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit26] FileName=intruderknowledge.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit27] FileName=intruderknowledge.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit28] FileName=knowledge.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit29] FileName=knowledge.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit30] FileName=label.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit31] FileName=label.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit32] FileName=list.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit33] FileName=list.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit35] FileName=mgu.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit36] FileName=pheading.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit37] FileName=prune_bounds.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit38] FileName=prune_bounds.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit39] FileName=prune_theorems.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit40] FileName=prune_theorems.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit41] FileName=role.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit42] FileName=role.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit43] FileName=specialterm.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit44] FileName=specialterm.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit45] FileName=states.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit46] FileName=states.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit48] FileName=switches.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit49] FileName=symbol.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit50] FileName=symbol.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit51] FileName=system.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit52] FileName=system.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit53] FileName=tac.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit54] FileName=tac.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit55] FileName=term.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit56] FileName=term.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit57] FileName=termlist.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit58] FileName=termlist.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit59] FileName=termmap.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit60] FileName=termmap.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit61] FileName=timer.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit62] FileName=timer.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit63] FileName=type.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit64] FileName=type.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit65] FileName=warshall.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit66] FileName=warshall.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit67] FileName=xmlout.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit68] FileName=main.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit69] FileName=version.h CompileCpp=0 Folder= Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit70] FileName=parser.h CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit71] FileName=scanner.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [VersionInfo] Major=0 Minor=1 Release=1 Build=1 LanguageID=1033 CharsetID=1252 CompanyName= FileVersion= FileDescription=Developed using the Dev-C++ IDE InternalName= LegalCopyright= LegalTrademarks= OriginalFilename= ProductName= ProductVersion= AutoIncBuildNr=0 [Unit34] FileName=mgu.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit72] FileName=parser.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit73] FileName=scanner.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit74] FileName=parser.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd= [Unit47] FileName=switches.c CompileCpp=0 Folder=Scyther Compile=1 Link=1 Priority=1000 OverrideBuildCmd=0 BuildCmd=