summaryrefslogtreecommitdiffstats
path: root/abc70930/src/abc.xcodeproj/raiyan.pbxuser
diff options
context:
space:
mode:
Diffstat (limited to 'abc70930/src/abc.xcodeproj/raiyan.pbxuser')
-rw-r--r--abc70930/src/abc.xcodeproj/raiyan.pbxuser1622
1 files changed, 0 insertions, 1622 deletions
diff --git a/abc70930/src/abc.xcodeproj/raiyan.pbxuser b/abc70930/src/abc.xcodeproj/raiyan.pbxuser
deleted file mode 100644
index 1de27f67..00000000
--- a/abc70930/src/abc.xcodeproj/raiyan.pbxuser
+++ /dev/null
@@ -1,1622 +0,0 @@
-// !$*UTF8*$!
-{
- 08FB7793FE84155DC02AAC07 /* Project object */ = {
- activeBuildConfigurationName = Debug;
- activeExecutable = 27A92B5E0E34922E006E7CF6 /* abc */;
- activeTarget = 8DD76FA90486AB0100D96B5E /* abc */;
- addToTargets = (
- 8DD76FA90486AB0100D96B5E /* abc */,
- );
- breakpoints = (
- 274041060E38C0DB00DC6F18 /* main.c:51 */,
- 274041130E38D01D00DC6F18 /* mainUtils.c:78 */,
- );
- codeSenseManager = 27A92B6A0E34923D006E7CF6 /* Code sense */;
- executables = (
- 27A92B5E0E34922E006E7CF6 /* abc */,
- );
- perUserDictionary = {
- PBXConfiguration.PBXFileTableDataSource3.PBXErrorsWarningsDataSource = {
- PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
- PBXFileTableDataSourceColumnSortingKey = PBXErrorsWarningsDataSource_LocationID;
- PBXFileTableDataSourceColumnWidthsKey = (
- 20,
- 300,
- 724,
- );
- PBXFileTableDataSourceColumnsKey = (
- PBXErrorsWarningsDataSource_TypeID,
- PBXErrorsWarningsDataSource_MessageID,
- PBXErrorsWarningsDataSource_LocationID,
- );
- };
- PBXConfiguration.PBXFileTableDataSource3.PBXExecutablesDataSource = {
- PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
- PBXFileTableDataSourceColumnSortingKey = PBXExecutablesDataSource_NameID;
- PBXFileTableDataSourceColumnWidthsKey = (
- 22,
- 300,
- 722,
- );
- PBXFileTableDataSourceColumnsKey = (
- PBXExecutablesDataSource_ActiveFlagID,
- PBXExecutablesDataSource_NameID,
- PBXExecutablesDataSource_CommentsID,
- );
- };
- PBXConfiguration.PBXFileTableDataSource3.PBXFileTableDataSource = {
- PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
- PBXFileTableDataSourceColumnSortingKey = PBXFileDataSource_Filename_ColumnID;
- PBXFileTableDataSourceColumnWidthsKey = (
- 20,
- 834,
- 20,
- 48,
- 43,
- 43,
- 20,
- );
- PBXFileTableDataSourceColumnsKey = (
- PBXFileDataSource_FiletypeID,
- PBXFileDataSource_Filename_ColumnID,
- PBXFileDataSource_Built_ColumnID,
- PBXFileDataSource_ObjectSize_ColumnID,
- PBXFileDataSource_Errors_ColumnID,
- PBXFileDataSource_Warnings_ColumnID,
- PBXFileDataSource_Target_ColumnID,
- );
- };
- PBXConfiguration.PBXFileTableDataSource3.PBXSymbolsDataSource = {
- PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
- PBXFileTableDataSourceColumnSortingKey = PBXSymbolsDataSource_SymbolNameID;
- PBXFileTableDataSourceColumnWidthsKey = (
- 16,
- 200,
- 50,
- 774,
- );
- PBXFileTableDataSourceColumnsKey = (
- PBXSymbolsDataSource_SymbolTypeIconID,
- PBXSymbolsDataSource_SymbolNameID,
- PBXSymbolsDataSource_SymbolTypeID,
- PBXSymbolsDataSource_ReferenceNameID,
- );
- };
- PBXConfiguration.PBXTargetDataSource.PBXTargetDataSource = {
- PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
- PBXFileTableDataSourceColumnSortingKey = PBXFileDataSource_Filename_ColumnID;
- PBXFileTableDataSourceColumnWidthsKey = (
- 20,
- 794,
- 60,
- 20,
- 48,
- 43,
- 43,
- );
- PBXFileTableDataSourceColumnsKey = (
- PBXFileDataSource_FiletypeID,
- PBXFileDataSource_Filename_ColumnID,
- PBXTargetDataSource_PrimaryAttribute,
- PBXFileDataSource_Built_ColumnID,
- PBXFileDataSource_ObjectSize_ColumnID,
- PBXFileDataSource_Errors_ColumnID,
- PBXFileDataSource_Warnings_ColumnID,
- );
- };
- PBXPerProjectTemplateStateSaveDate = 238637327;
- PBXWorkspaceStateSaveDate = 238637327;
- };
- perUserProjectItems = {
- 2717FC7F0E3843AC0038296D /* PBXTextBookmark */ = 2717FC7F0E3843AC0038296D /* PBXTextBookmark */;
- 2717FC810E3843AC0038296D /* PBXTextBookmark */ = 2717FC810E3843AC0038296D /* PBXTextBookmark */;
- 2717FC820E3843AC0038296D /* PBXTextBookmark */ = 2717FC820E3843AC0038296D /* PBXTextBookmark */;
- 2717FC830E3843AC0038296D /* PBXTextBookmark */ = 2717FC830E3843AC0038296D /* PBXTextBookmark */;
- 2717FC840E3843AC0038296D /* PBXTextBookmark */ = 2717FC840E3843AC0038296D /* PBXTextBookmark */;
- 2717FC850E3843AC0038296D /* PBXTextBookmark */ = 2717FC850E3843AC0038296D /* PBXTextBookmark */;
- 2717FC870E3843AC0038296D /* PBXTextBookmark */ = 2717FC870E3843AC0038296D /* PBXTextBookmark */;
- 2717FC890E3843AC0038296D /* PBXTextBookmark */ = 2717FC890E3843AC0038296D /* PBXTextBookmark */;
- 2717FC8B0E3843AC0038296D /* PBXTextBookmark */ = 2717FC8B0E3843AC0038296D /* PBXTextBookmark */;
- 2717FC8D0E3843AC0038296D /* PBXTextBookmark */ = 2717FC8D0E3843AC0038296D /* PBXTextBookmark */;
- 2717FC8E0E3843AC0038296D /* PBXTextBookmark */ = 2717FC8E0E3843AC0038296D /* PBXTextBookmark */;
- 2717FC8F0E3843AC0038296D /* PBXTextBookmark */ = 2717FC8F0E3843AC0038296D /* PBXTextBookmark */;
- 2717FC900E3843AC0038296D /* PBXTextBookmark */ = 2717FC900E3843AC0038296D /* PBXTextBookmark */;
- 2717FC930E3843AC0038296D /* PBXTextBookmark */ = 2717FC930E3843AC0038296D /* PBXTextBookmark */;
- 2717FCA20E3852600038296D /* PBXTextBookmark */ = 2717FCA20E3852600038296D /* PBXTextBookmark */;
- 2717FCA30E3852600038296D /* PBXTextBookmark */ = 2717FCA30E3852600038296D /* PBXTextBookmark */;
- 2717FCA90E3852600038296D /* PBXTextBookmark */ = 2717FCA90E3852600038296D /* PBXTextBookmark */;
- 2717FCB70E3854530038296D /* PBXTextBookmark */ = 2717FCB70E3854530038296D /* PBXTextBookmark */;
- 2717FCB80E3854530038296D /* PBXTextBookmark */ = 2717FCB80E3854530038296D /* PBXTextBookmark */;
- 2717FCBD0E3854530038296D /* PBXTextBookmark */ = 2717FCBD0E3854530038296D /* PBXTextBookmark */;
- 2717FCBE0E3854530038296D /* PBXTextBookmark */ = 2717FCBE0E3854530038296D /* PBXTextBookmark */;
- 2717FCC00E3854530038296D /* PBXTextBookmark */ = 2717FCC00E3854530038296D /* PBXTextBookmark */;
- 2717FCD10E38569B0038296D /* PBXTextBookmark */ = 2717FCD10E38569B0038296D /* PBXTextBookmark */;
- 2717FCD20E38569B0038296D /* PBXTextBookmark */ = 2717FCD20E38569B0038296D /* PBXTextBookmark */;
- 2717FCD30E38569B0038296D /* PBXTextBookmark */ = 2717FCD30E38569B0038296D /* PBXTextBookmark */;
- 2717FCD50E38569B0038296D /* PBXTextBookmark */ = 2717FCD50E38569B0038296D /* PBXTextBookmark */;
- 2717FCD70E38569B0038296D /* PBXTextBookmark */ = 2717FCD70E38569B0038296D /* PBXTextBookmark */;
- 2717FCE90E3857DC0038296D /* PBXTextBookmark */ = 2717FCE90E3857DC0038296D /* PBXTextBookmark */;
- 2717FCEA0E3857DC0038296D /* PBXTextBookmark */ = 2717FCEA0E3857DC0038296D /* PBXTextBookmark */;
- 2717FCEB0E3857DC0038296D /* PBXTextBookmark */ = 2717FCEB0E3857DC0038296D /* PBXTextBookmark */;
- 2717FCED0E3857DC0038296D /* PBXTextBookmark */ = 2717FCED0E3857DC0038296D /* PBXTextBookmark */;
- 2717FCEE0E3857DC0038296D /* PBXTextBookmark */ = 2717FCEE0E3857DC0038296D /* PBXTextBookmark */;
- 2717FCEF0E3857DC0038296D /* PBXTextBookmark */ = 2717FCEF0E3857DC0038296D /* PBXTextBookmark */;
- 2717FD140E3861B70038296D /* PBXTextBookmark */ = 2717FD140E3861B70038296D /* PBXTextBookmark */;
- 2717FD150E3861B70038296D /* PBXTextBookmark */ = 2717FD150E3861B70038296D /* PBXTextBookmark */;
- 2717FD190E3861B70038296D /* PBXTextBookmark */ = 2717FD190E3861B70038296D /* PBXTextBookmark */;
- 2717FD1A0E3861B70038296D /* PBXTextBookmark */ = 2717FD1A0E3861B70038296D /* PBXTextBookmark */;
- 2717FD1B0E3861B70038296D /* PBXTextBookmark */ = 2717FD1B0E3861B70038296D /* PBXTextBookmark */;
- 273F099E0E387A1A00BA537B /* PBXTextBookmark */ = 273F099E0E387A1A00BA537B /* PBXTextBookmark */;
- 273F099F0E387A1A00BA537B /* PBXTextBookmark */ = 273F099F0E387A1A00BA537B /* PBXTextBookmark */;
- 273F09A00E387A1A00BA537B /* PBXTextBookmark */ = 273F09A00E387A1A00BA537B /* PBXTextBookmark */;
- 273F09A10E387A1A00BA537B /* PBXTextBookmark */ = 273F09A10E387A1A00BA537B /* PBXTextBookmark */;
- 273F09A20E387A1A00BA537B /* PBXTextBookmark */ = 273F09A20E387A1A00BA537B /* PBXTextBookmark */;
- 273F09A40E387A1A00BA537B /* PBXTextBookmark */ = 273F09A40E387A1A00BA537B /* PBXTextBookmark */;
- 273F09A50E387A1A00BA537B /* PBXTextBookmark */ = 273F09A50E387A1A00BA537B /* PBXTextBookmark */;
- 274041210E38D50900DC6F18 /* PBXTextBookmark */ = 274041210E38D50900DC6F18 /* PBXTextBookmark */;
- 274041230E38D50900DC6F18 /* PBXTextBookmark */ = 274041230E38D50900DC6F18 /* PBXTextBookmark */;
- 274041280E38D50900DC6F18 /* PBXTextBookmark */ = 274041280E38D50900DC6F18 /* PBXTextBookmark */;
- 2740412B0E38D50900DC6F18 /* PBXTextBookmark */ = 2740412B0E38D50900DC6F18 /* PBXTextBookmark */;
- 274041720E38D73B00DC6F18 /* PBXTextBookmark */ = 274041720E38D73B00DC6F18 /* PBXTextBookmark */;
- 2755FD8C0E35986F0031A656 /* PBXTextBookmark */ = 2755FD8C0E35986F0031A656 /* PBXTextBookmark */;
- 2755FD8D0E35986F0031A656 /* PBXTextBookmark */ = 2755FD8D0E35986F0031A656 /* PBXTextBookmark */;
- 2755FD8E0E35986F0031A656 /* PBXTextBookmark */ = 2755FD8E0E35986F0031A656 /* PBXTextBookmark */;
- 2755FD8F0E35986F0031A656 /* PBXTextBookmark */ = 2755FD8F0E35986F0031A656 /* PBXTextBookmark */;
- 2755FD900E35986F0031A656 /* PBXTextBookmark */ = 2755FD900E35986F0031A656 /* PBXTextBookmark */;
- 2755FD910E35986F0031A656 /* PBXTextBookmark */ = 2755FD910E35986F0031A656 /* PBXTextBookmark */;
- 2755FD920E35986F0031A656 /* PBXTextBookmark */ = 2755FD920E35986F0031A656 /* PBXTextBookmark */;
- 2755FD930E35986F0031A656 /* PBXTextBookmark */ = 2755FD930E35986F0031A656 /* PBXTextBookmark */;
- 2755FD950E35986F0031A656 /* PBXTextBookmark */ = 2755FD950E35986F0031A656 /* PBXTextBookmark */;
- 2755FD960E35986F0031A656 /* PBXTextBookmark */ = 2755FD960E35986F0031A656 /* PBXTextBookmark */;
- 2755FD970E35986F0031A656 /* PBXTextBookmark */ = 2755FD970E35986F0031A656 /* PBXTextBookmark */;
- 2755FD980E35986F0031A656 /* PBXTextBookmark */ = 2755FD980E35986F0031A656 /* PBXTextBookmark */;
- 2755FD990E35986F0031A656 /* PBXTextBookmark */ = 2755FD990E35986F0031A656 /* PBXTextBookmark */;
- 2755FD9A0E35986F0031A656 /* PBXTextBookmark */ = 2755FD9A0E35986F0031A656 /* PBXTextBookmark */;
- 2755FD9B0E35986F0031A656 /* PBXTextBookmark */ = 2755FD9B0E35986F0031A656 /* PBXTextBookmark */;
- 2755FD9C0E35986F0031A656 /* PBXTextBookmark */ = 2755FD9C0E35986F0031A656 /* PBXTextBookmark */;
- 2755FD9D0E35986F0031A656 /* PBXTextBookmark */ = 2755FD9D0E35986F0031A656 /* PBXTextBookmark */;
- 2755FDCC0E3821400031A656 /* PBXTextBookmark */ = 2755FDCC0E3821400031A656 /* PBXTextBookmark */;
- 2755FDCD0E3821400031A656 /* PBXTextBookmark */ = 2755FDCD0E3821400031A656 /* PBXTextBookmark */;
- 2755FDD00E3821400031A656 /* PBXTextBookmark */ = 2755FDD00E3821400031A656 /* PBXTextBookmark */;
- 2755FDD10E3821400031A656 /* PBXTextBookmark */ = 2755FDD10E3821400031A656 /* PBXTextBookmark */;
- 27A930BD0E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930BD0E3494E8006E7CF6 /* PBXTextBookmark */;
- 27A930BE0E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930BE0E3494E8006E7CF6 /* PBXTextBookmark */;
- 27A930BF0E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930BF0E3494E8006E7CF6 /* PBXTextBookmark */;
- 27A930C10E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C10E3494E8006E7CF6 /* PBXTextBookmark */;
- 27A930C30E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C30E3494E8006E7CF6 /* PBXTextBookmark */;
- 27A930C40E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C40E3494E8006E7CF6 /* PBXTextBookmark */;
- 27A930C50E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C50E3494E8006E7CF6 /* PBXTextBookmark */;
- 27A930C60E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C60E3494E8006E7CF6 /* PBXTextBookmark */;
- 27A930C70E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C70E3494E8006E7CF6 /* PBXTextBookmark */;
- 27F2A0390E3951350056453A /* PBXTextBookmark */ = 27F2A0390E3951350056453A /* PBXTextBookmark */;
- 27F2A03A0E3951350056453A /* PBXTextBookmark */ = 27F2A03A0E3951350056453A /* PBXTextBookmark */;
- 27F2A03B0E3951350056453A /* PBXTextBookmark */ = 27F2A03B0E3951350056453A /* PBXTextBookmark */;
- 27F2A0450E39514F0056453A /* PBXTextBookmark */ = 27F2A0450E39514F0056453A /* PBXTextBookmark */;
- };
- sourceControlManager = 27A92B690E34923D006E7CF6 /* Source Control */;
- userBuildSettings = {
- };
- };
- 2717FC7F0E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E660E349283006E7CF6 /* nmTable.c */;
- name = "nmTable.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 656;
- vrLoc = 5092;
- };
- 2717FC810E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92CE20E349281006E7CF6 /* hop.h */;
- name = "hop.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 733;
- vrLoc = 459;
- };
- 2717FC820E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E740E349283006E7CF6 /* vec.h */;
- name = "vec.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1041;
- vrLoc = 788;
- };
- 2717FC830E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E6E0E349283006E7CF6 /* leaks.h */;
- name = "leaks.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1112;
- vrLoc = 0;
- };
- 2717FC840E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C820E349281006E7CF6 /* aig.h */;
- name = "aig.h: 48";
- rLen = 49;
- rLoc = 1390;
- rType = 0;
- vrLen = 1081;
- vrLoc = 901;
- };
- 2717FC850E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E6A0E349283006E7CF6 /* st.h */;
- name = "st.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 462;
- vrLoc = 0;
- };
- 2717FC870E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92CE00E349281006E7CF6 /* cudd2.c */;
- name = "cudd2.c: 61";
- rLen = 40;
- rLoc = 1965;
- rType = 0;
- vrLen = 782;
- vrLoc = 1516;
- };
- 2717FC890E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E660E349283006E7CF6 /* nmTable.c */;
- name = "nmTable.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 656;
- vrLoc = 5092;
- };
- 2717FC8B0E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DFA0E349282006E7CF6 /* temp.c */;
- name = "temp.c: 14";
- rLen = 0;
- rLoc = 511;
- rType = 0;
- vrLen = 574;
- vrLoc = 0;
- };
- 2717FC8D0E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92CE20E349281006E7CF6 /* hop.h */;
- name = "hop.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 733;
- vrLoc = 459;
- };
- 2717FC8E0E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E740E349283006E7CF6 /* vec.h */;
- name = "vec.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1041;
- vrLoc = 788;
- };
- 2717FC8F0E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E6E0E349283006E7CF6 /* leaks.h */;
- name = "leaks.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1112;
- vrLoc = 0;
- };
- 2717FC900E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92CE00E349281006E7CF6 /* cudd2.c */;
- name = "cudd2.c: 21";
- rLen = 0;
- rLoc = 574;
- rType = 0;
- vrLen = 953;
- vrLoc = 410;
- };
- 2717FC930E3843AC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D060E349281006E7CF6 /* ivyMulti8.c */;
- name = "ivyMulti8.c: 59";
- rLen = 9;
- rLoc = 2159;
- rType = 0;
- vrLen = 810;
- vrLoc = 1486;
- };
- 2717FCA20E3852600038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D060E349281006E7CF6 /* ivyMulti8.c */;
- name = "ivyMulti8.c: 9";
- rLen = 0;
- rLoc = 274;
- rType = 0;
- vrLen = 718;
- vrLoc = 0;
- };
- 2717FCA30E3852600038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF50E349282006E7CF6 /* mainFrame.c */;
- name = "mainFrame.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1823;
- vrLoc = 1175;
- };
- 2717FCA90E3852600038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF50E349282006E7CF6 /* mainFrame.c */;
- name = "mainFrame.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1823;
- vrLoc = 1175;
- };
- 2717FCB70E3854530038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C2D0E349280006E7CF6 /* cuddDecomp.c */;
- name = "cuddDecomp.c: 1402";
- rLen = 8;
- rLoc = 42831;
- rType = 0;
- vrLen = 818;
- vrLoc = 42435;
- };
- 2717FCB80E3854530038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C310E349280006E7CF6 /* cuddGenCof.c */;
- name = "cuddGenCof.c: 159";
- rLen = 8;
- rLoc = 5663;
- rType = 0;
- vrLen = 658;
- vrLoc = 5348;
- };
- 2717FCBD0E3854530038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C2D0E349280006E7CF6 /* cuddDecomp.c */;
- name = "cuddDecomp.c: 1402";
- rLen = 8;
- rLoc = 42831;
- rType = 0;
- vrLen = 818;
- vrLoc = 42435;
- };
- 2717FCBE0E3854530038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C310E349280006E7CF6 /* cuddGenCof.c */;
- name = "cuddGenCof.c: 159";
- rLen = 8;
- rLoc = 5663;
- rType = 0;
- vrLen = 658;
- vrLoc = 5348;
- };
- 2717FCC00E3854530038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DB10E349282006E7CF6 /* abcPlace.c */;
- name = "abcPlace.c: 32";
- rLen = 27;
- rLoc = 893;
- rType = 0;
- vrLen = 566;
- vrLoc = 677;
- };
- 2717FCD10E38569B0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D0B0E349281006E7CF6 /* ivyRwrAlg.c */;
- name = "ivyRwrAlg.c: 83";
- rLen = 65;
- rLoc = 2940;
- rType = 0;
- vrLen = 658;
- vrLoc = 2549;
- };
- 2717FCD20E38569B0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DC80E349282006E7CF6 /* module.make */;
- name = "module.make: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 716;
- vrLoc = 478;
- };
- 2717FCD30E38569B0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DB10E349282006E7CF6 /* abcPlace.c */;
- name = "abcPlace.c: 24";
- rLen = 25;
- rLoc = 576;
- rType = 0;
- vrLen = 683;
- vrLoc = 258;
- };
- 2717FCD50E38569B0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D0B0E349281006E7CF6 /* ivyRwrAlg.c */;
- name = "ivyRwrAlg.c: 83";
- rLen = 65;
- rLoc = 2940;
- rType = 0;
- vrLen = 658;
- vrLoc = 2549;
- };
- 2717FCD70E38569B0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DC80E349282006E7CF6 /* module.make */;
- name = "module.make: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 716;
- vrLoc = 478;
- };
- 2717FCE90E3857DC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92BAF0E349280006E7CF6 /* resSim_old.c */;
- name = "resSim_old.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 636;
- vrLoc = 0;
- };
- 2717FCEA0E3857DC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C010E349280006E7CF6 /* msatOrderJ.c */;
- name = "msatOrderJ.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 776;
- vrLoc = 0;
- };
- 2717FCEB0E3857DC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D970E349282006E7CF6 /* abcCut.c */;
- name = "abcCut.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 774;
- vrLoc = 167;
- };
- 2717FCED0E3857DC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92BAF0E349280006E7CF6 /* resSim_old.c */;
- name = "resSim_old.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 636;
- vrLoc = 0;
- };
- 2717FCEE0E3857DC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C010E349280006E7CF6 /* msatOrderJ.c */;
- name = "msatOrderJ.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 776;
- vrLoc = 0;
- };
- 2717FCEF0E3857DC0038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D970E349282006E7CF6 /* abcCut.c */;
- name = "abcCut.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 774;
- vrLoc = 167;
- };
- 2717FD140E3861B70038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF70E349282006E7CF6 /* mainInt.h */;
- name = "mainInt.h: 28";
- rLen = 0;
- rLoc = 832;
- rType = 0;
- vrLen = 810;
- vrLoc = 465;
- };
- 2717FD150E3861B70038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C580E349281006E7CF6 /* testcudd.c */;
- name = "testcudd.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 782;
- vrLoc = 0;
- };
- 2717FD190E3861B70038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C580E349281006E7CF6 /* testcudd.c */;
- name = "testcudd.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 782;
- vrLoc = 0;
- };
- 2717FD1A0E3861B70038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF80E349282006E7CF6 /* mainUtils.c */;
- name = "mainUtils.c: 78";
- rLen = 11;
- rLoc = 2288;
- rType = 0;
- vrLen = 631;
- vrLoc = 1749;
- };
- 2717FD1B0E3861B70038296D /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF40E349282006E7CF6 /* main.h */;
- name = "main.h: 46";
- rLen = 0;
- rLoc = 1511;
- rType = 0;
- vrLen = 773;
- vrLoc = 843;
- };
- 273F099E0E387A1A00BA537B /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DD50E349282006E7CF6 /* io.h */;
- name = "io.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 837;
- vrLoc = 677;
- };
- 273F099F0E387A1A00BA537B /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D770E349282006E7CF6 /* abc.h */;
- name = "abc.h: 37";
- rLen = 0;
- rLoc = 931;
- rType = 0;
- vrLen = 914;
- vrLoc = 1605;
- };
- 273F09A00E387A1A00BA537B /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DFA0E349282006E7CF6 /* temp.c */;
- name = "temp.c: 14";
- rLen = 0;
- rLoc = 511;
- rType = 0;
- vrLen = 755;
- vrLoc = 0;
- };
- 273F09A10E387A1A00BA537B /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF40E349282006E7CF6 /* main.h */;
- name = "main.h: 48";
- rLen = 0;
- rLoc = 1512;
- rType = 0;
- vrLen = 654;
- vrLoc = 960;
- };
- 273F09A20E387A1A00BA537B /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF30E349282006E7CF6 /* main.c */;
- name = "main.c: 50";
- rLen = 0;
- rLoc = 1438;
- rType = 0;
- vrLen = 836;
- vrLoc = 280;
- };
- 273F09A40E387A1A00BA537B /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DD50E349282006E7CF6 /* io.h */;
- name = "io.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 837;
- vrLoc = 677;
- };
- 273F09A50E387A1A00BA537B /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D770E349282006E7CF6 /* abc.h */;
- name = "abc.h: 37";
- rLen = 0;
- rLoc = 931;
- rType = 0;
- vrLen = 914;
- vrLoc = 1605;
- };
- 274041060E38C0DB00DC6F18 /* main.c:51 */ = {
- isa = PBXFileBreakpoint;
- actions = (
- );
- breakpointStyle = 0;
- continueAfterActions = 0;
- countType = 0;
- delayBeforeContinue = 0;
- fileReference = 27A92DF30E349282006E7CF6 /* main.c */;
- functionName = "main()";
- hitCount = 1;
- ignoreCount = 0;
- lineNumber = 51;
- location = abc;
- modificationTime = 238637372.018766;
- state = 1;
- };
- 274041130E38D01D00DC6F18 /* mainUtils.c:78 */ = {
- isa = PBXFileBreakpoint;
- actions = (
- );
- breakpointStyle = 0;
- continueAfterActions = 0;
- countType = 0;
- delayBeforeContinue = 0;
- fileReference = 27A92DF80E349282006E7CF6 /* mainUtils.c */;
- functionName = "Abc_UtilsGetUsersInput()";
- hitCount = 0;
- ignoreCount = 0;
- lineNumber = 78;
- location = abc;
- modificationTime = 238637369.74741;
- state = 1;
- };
- 274041210E38D50900DC6F18 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF60E349282006E7CF6 /* mainInit.c */;
- name = "mainInit.c: 61";
- rLen = 0;
- rLoc = 2034;
- rType = 0;
- vrLen = 315;
- vrLoc = 1989;
- };
- 274041230E38D50900DC6F18 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E460E349282006E7CF6 /* extraUtilUtil.c */;
- name = "extraUtilUtil.c: 254";
- rLen = 0;
- rLoc = 6224;
- rType = 0;
- vrLen = 246;
- vrLoc = 6804;
- };
- 274041280E38D50900DC6F18 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF60E349282006E7CF6 /* mainInit.c */;
- name = "mainInit.c: 61";
- rLen = 0;
- rLoc = 2034;
- rType = 0;
- vrLen = 315;
- vrLoc = 1989;
- };
- 2740412B0E38D50900DC6F18 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E460E349282006E7CF6 /* extraUtilUtil.c */;
- name = "extraUtilUtil.c: 95";
- rLen = 0;
- rLoc = 2480;
- rType = 0;
- vrLen = 316;
- vrLoc = 2351;
- };
- 274041720E38D73B00DC6F18 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF30E349282006E7CF6 /* main.c */;
- name = "main.c: 213";
- rLen = 0;
- rLoc = 6094;
- rType = 0;
- vrLen = 601;
- vrLoc = 1251;
- };
- 2755FD8C0E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92B6E0E349280006E7CF6 /* abcCut.c */;
- name = "abcCut.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 994;
- vrLoc = 0;
- };
- 2755FD8D0E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92B760E349280006E7CF6 /* cutMerge.c */;
- name = "cutMerge.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 909;
- vrLoc = 4785;
- };
- 2755FD8E0E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D4D0E349281006E7CF6 /* mapper.h */;
- name = "mapper.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 2101;
- vrLoc = 8968;
- };
- 2755FD8F0E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D4E0E349281006E7CF6 /* mapperCanon.c */;
- name = "mapperCanon.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1369;
- vrLoc = 0;
- };
- 2755FD900E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D4F0E349281006E7CF6 /* mapperCore.c */;
- name = "mapperCore.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1213;
- vrLoc = 0;
- };
- 2755FD910E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D500E349281006E7CF6 /* mapperCreate.c */;
- name = "mapperCreate.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1387;
- vrLoc = 0;
- };
- 2755FD920E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D540E349281006E7CF6 /* mapperGENERIC.c */;
- name = "mapperGENERIC.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1101;
- vrLoc = 347;
- };
- 2755FD930E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C100E349280006E7CF6 /* cas.h */;
- name = "cas.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1347;
- vrLoc = 573;
- };
- 2755FD950E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E330E349282006E7CF6 /* unate.c */;
- name = "unate.c: 187";
- rLen = 0;
- rLoc = 2901;
- rType = 0;
- vrLen = 918;
- vrLoc = 3741;
- };
- 2755FD960E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92B6E0E349280006E7CF6 /* abcCut.c */;
- name = "abcCut.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 994;
- vrLoc = 0;
- };
- 2755FD970E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92B760E349280006E7CF6 /* cutMerge.c */;
- name = "cutMerge.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 909;
- vrLoc = 4785;
- };
- 2755FD980E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D4D0E349281006E7CF6 /* mapper.h */;
- name = "mapper.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 2101;
- vrLoc = 8968;
- };
- 2755FD990E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D4E0E349281006E7CF6 /* mapperCanon.c */;
- name = "mapperCanon.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1369;
- vrLoc = 0;
- };
- 2755FD9A0E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D4F0E349281006E7CF6 /* mapperCore.c */;
- name = "mapperCore.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1213;
- vrLoc = 0;
- };
- 2755FD9B0E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D500E349281006E7CF6 /* mapperCreate.c */;
- name = "mapperCreate.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1387;
- vrLoc = 0;
- };
- 2755FD9C0E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92D540E349281006E7CF6 /* mapperGENERIC.c */;
- name = "mapperGENERIC.c: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1101;
- vrLoc = 347;
- };
- 2755FD9D0E35986F0031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C100E349280006E7CF6 /* cas.h */;
- name = "cas.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1347;
- vrLoc = 573;
- };
- 2755FDCC0E3821400031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C110E349280006E7CF6 /* casCore.c */;
- name = "casCore.c: 82";
- rLen = 0;
- rLoc = 3380;
- rType = 0;
- vrLen = 870;
- vrLoc = 2963;
- };
- 2755FDCD0E3821400031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E600E349283006E7CF6 /* mvcUtils.c */;
- name = "mvcUtils.c: 283";
- rLen = 5;
- rLoc = 8137;
- rType = 0;
- vrLen = 868;
- vrLoc = 7715;
- };
- 2755FDD00E3821400031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C110E349280006E7CF6 /* casCore.c */;
- name = "casCore.c: 82";
- rLen = 0;
- rLoc = 3380;
- rType = 0;
- vrLen = 870;
- vrLoc = 2963;
- };
- 2755FDD10E3821400031A656 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E600E349283006E7CF6 /* mvcUtils.c */;
- name = "mvcUtils.c: 283";
- rLen = 5;
- rLoc = 8137;
- rType = 0;
- vrLen = 868;
- vrLoc = 7715;
- };
- 27A92B5E0E34922E006E7CF6 /* abc */ = {
- isa = PBXExecutable;
- activeArgIndices = (
- );
- argumentStrings = (
- );
- autoAttachOnCrash = 1;
- breakpointsEnabled = 1;
- configStateDict = {
- "PBXLSLaunchAction-0" = {
- PBXLSLaunchAction = 0;
- PBXLSLaunchStartAction = 1;
- PBXLSLaunchStdioStyle = 2;
- PBXLSLaunchStyle = 0;
- class = PBXLSRunLaunchConfig;
- commandLineArgs = (
- );
- displayName = "Executable Runner";
- environment = {
- };
- identifier = com.apple.Xcode.launch.runConfig;
- remoteHostInfo = "";
- startActionInfo = "";
- };
- "PBXLSLaunchAction-1" = {
- PBXLSLaunchAction = 1;
- PBXLSLaunchStartAction = 1;
- PBXLSLaunchStdioStyle = 2;
- PBXLSLaunchStyle = 0;
- class = PBXGDB_LaunchConfig;
- commandLineArgs = (
- );
- displayName = GDB;
- environment = {
- };
- identifier = com.apple.Xcode.launch.GDBMI_Config;
- remoteHostInfo = "";
- startActionInfo = "";
- };
- };
- customDataFormattersEnabled = 1;
- debuggerPlugin = GDBDebugging;
- disassemblyDisplayState = 0;
- dylibVariantSuffix = "";
- enableDebugStr = 1;
- environmentEntries = (
- );
- executableSystemSymbolLevel = 0;
- executableUserSymbolLevel = 0;
- libgmallocEnabled = 0;
- name = abc;
- savedGlobals = {
- };
- sourceDirectories = (
- );
- variableFormatDictionary = {
- };
- };
- 27A92B690E34923D006E7CF6 /* Source Control */ = {
- isa = PBXSourceControlManager;
- fallbackIsa = XCSourceControlManager;
- isSCMEnabled = 0;
- scmConfiguration = {
- };
- };
- 27A92B6A0E34923D006E7CF6 /* Code sense */ = {
- isa = PBXCodeSenseManager;
- indexTemplatePath = "";
- };
- 27A92B6E0E349280006E7CF6 /* abcCut.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 7000}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 994}";
- };
- };
- 27A92B760E349280006E7CF6 /* cutMerge.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 9198}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{4785, 909}";
- };
- };
- 27A92BAF0E349280006E7CF6 /* resSim_old.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 7224}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 636}";
- };
- };
- 27A92BD50E349280006E7CF6 /* generic.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 896}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 1021}";
- };
- };
- 27A92BFE0E349280006E7CF6 /* msatInt.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 4662}}";
- sepNavSelRange = "{1826, 28}";
- sepNavVisRange = "{1111, 1650}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92C010E349280006E7CF6 /* msatOrderJ.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 6608}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 776}";
- };
- };
- 27A92C100E349280006E7CF6 /* cas.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 910}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{573, 1347}";
- };
- };
- 27A92C110E349280006E7CF6 /* casCore.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 17360}}";
- sepNavSelRange = "{3380, 0}";
- sepNavVisRange = "{2963, 870}";
- };
- };
- 27A92C2D0E349280006E7CF6 /* cuddDecomp.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 30478}}";
- sepNavSelRange = "{42831, 8}";
- sepNavVisRange = "{42435, 818}";
- };
- };
- 27A92C310E349280006E7CF6 /* cuddGenCof.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 27202}}";
- sepNavSelRange = "{5663, 8}";
- sepNavVisRange = "{5348, 658}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92C580E349281006E7CF6 /* testcudd.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 13706}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 782}";
- };
- };
- 27A92C7F0E349281006E7CF6 /* generic.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 714}}";
- sepNavSelRange = "{468, 20}";
- sepNavVisRange = "{0, 1069}";
- };
- };
- 27A92C820E349281006E7CF6 /* aig.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 8358}}";
- sepNavSelRange = "{1390, 49}";
- sepNavVisRange = "{901, 1081}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92C850E349281006E7CF6 /* aigDfs.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 10176}}";
- sepNavSelRange = "{13510, 0}";
- sepNavVisRange = "{7567, 867}";
- };
- };
- 27A92C870E349281006E7CF6 /* aigMan.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 4606}}";
- sepNavSelRange = "{1348, 43}";
- sepNavVisRange = "{525, 1532}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92CE00E349281006E7CF6 /* cudd2.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 5068}}";
- sepNavSelRange = "{1965, 40}";
- sepNavVisRange = "{1516, 764}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92CE20E349281006E7CF6 /* hop.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1302, 4872}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{3631, 3108}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92CF60E349281006E7CF6 /* ivy.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 8372}}";
- sepNavSelRange = "{1388, 49}";
- sepNavVisRange = "{2070, 1848}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92D060E349281006E7CF6 /* ivyMulti8.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 6048}}";
- sepNavSelRange = "{274, 0}";
- sepNavVisRange = "{0, 718}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92D0B0E349281006E7CF6 /* ivyRwrAlg.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 5736}}";
- sepNavSelRange = "{2940, 65}";
- sepNavVisRange = "{2571, 969}";
- };
- };
- 27A92D3C0E349281006E7CF6 /* fpgaVec.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 5582}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 1405}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92D4C0E349281006E7CF6 /* mapper.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 2604}}";
- sepNavSelRange = "{1397, 14}";
- sepNavVisRange = "{1106, 889}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92D4D0E349281006E7CF6 /* mapper.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 2744}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{8968, 2101}";
- };
- };
- 27A92D4E0E349281006E7CF6 /* mapperCanon.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 3780}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 1369}";
- };
- };
- 27A92D4F0E349281006E7CF6 /* mapperCore.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 3220}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 1213}";
- };
- };
- 27A92D500E349281006E7CF6 /* mapperCreate.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 8316}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 1387}";
- };
- };
- 27A92D540E349281006E7CF6 /* mapperGENERIC.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 658}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{347, 1101}";
- };
- };
- 27A92D770E349282006E7CF6 /* abc.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1590, 12502}}";
- sepNavSelRange = "{26732, 0}";
- sepNavVisRange = "{12385, 1622}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92D860E349282006E7CF6 /* abcNtk.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 17094}}";
- sepNavSelRange = "{4224, 0}";
- sepNavVisRange = "{3910, 628}";
- };
- };
- 27A92D870E349282006E7CF6 /* abcObj.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 13636}}";
- sepNavSelRange = "{10191, 0}";
- sepNavVisRange = "{9836, 490}";
- };
- };
- 27A92D8E0E349282006E7CF6 /* abc.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 178332}}";
- sepNavSelRange = "{290028, 0}";
- sepNavVisRange = "{290021, 526}";
- };
- };
- 27A92D920E349282006E7CF6 /* abcBalance.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 8484}}";
- sepNavSelRange = "{2298, 0}";
- sepNavVisRange = "{1940, 604}";
- };
- };
- 27A92D970E349282006E7CF6 /* abcCut.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 8750}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{167, 774}";
- };
- };
- 27A92DB10E349282006E7CF6 /* abcPlace.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 3556}}";
- sepNavSelRange = "{576, 25}";
- sepNavVisRange = "{258, 683}";
- };
- };
- 27A92DC40E349282006E7CF6 /* abcUnate.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 2170}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 1336}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DC80E349282006E7CF6 /* module.make */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 784}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{478, 716}";
- };
- };
- 27A92DCA0E349282006E7CF6 /* cmd.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 22820}}";
- sepNavSelRange = "{4544, 0}";
- sepNavVisRange = "{2742, 2018}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DCB0E349282006E7CF6 /* cmd.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 1036}}";
- sepNavSelRange = "{2768, 0}";
- sepNavVisRange = "{928, 2086}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DCD0E349282006E7CF6 /* cmdApi.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 1512}}";
- sepNavSelRange = "{2785, 0}";
- sepNavVisRange = "{2484, 423}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DCE0E349282006E7CF6 /* cmdFlag.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 1386}}";
- sepNavSelRange = "{1654, 0}";
- sepNavVisRange = "{1241, 438}";
- };
- };
- 27A92DCF0E349282006E7CF6 /* cmdHist.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 784}}";
- sepNavSelRange = "{1568, 0}";
- sepNavVisRange = "{1201, 446}";
- };
- };
- 27A92DD10E349282006E7CF6 /* cmdUtils.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 9016}}";
- sepNavSelRange = "{3526, 0}";
- sepNavVisRange = "{3266, 541}";
- };
- };
- 27A92DD40E349282006E7CF6 /* io.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 26236}}";
- sepNavSelRange = "{3837, 36}";
- sepNavVisRange = "{3341, 2202}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DD50E349282006E7CF6 /* io.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 2422}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{677, 837}";
- };
- };
- 27A92DF30E349282006E7CF6 /* main.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 4466}}";
- sepNavSelRange = "{1588, 0}";
- sepNavVisRange = "{1326, 503}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DF40E349282006E7CF6 /* main.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 1918}}";
- sepNavSelRange = "{1512, 0}";
- sepNavVisRange = "{960, 654}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DF50E349282006E7CF6 /* mainFrame.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 7364}}";
- sepNavSelRange = "{7049, 0}";
- sepNavVisRange = "{6906, 299}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DF60E349282006E7CF6 /* mainInit.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 1512}}";
- sepNavSelRange = "{2034, 0}";
- sepNavVisRange = "{1989, 315}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DF70E349282006E7CF6 /* mainInt.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 1540}}";
- sepNavSelRange = "{832, 0}";
- sepNavVisRange = "{267, 1411}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DF80E349282006E7CF6 /* mainUtils.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 3990}}";
- sepNavSelRange = "{1783, 44}";
- sepNavVisRange = "{1569, 573}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92DFA0E349282006E7CF6 /* temp.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 1162}}";
- sepNavSelRange = "{511, 0}";
- sepNavVisRange = "{0, 755}";
- };
- };
- 27A92E130E349282006E7CF6 /* espresso.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 11130}}";
- sepNavSelRange = "{1704, 29}";
- sepNavVisRange = "{814, 1651}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92E330E349282006E7CF6 /* unate.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 6258}}";
- sepNavSelRange = "{10139, 15}";
- sepNavVisRange = "{9874, 661}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92E410E349282006E7CF6 /* extraUtilMemory.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 8946}}";
- sepNavSelRange = "{7240, 0}";
- sepNavVisRange = "{8045, 539}";
- };
- };
- 27A92E460E349282006E7CF6 /* extraUtilUtil.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 4620}}";
- sepNavSelRange = "{2934, 0}";
- sepNavVisRange = "{3757, 304}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92E600E349283006E7CF6 /* mvcUtils.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 12222}}";
- sepNavSelRange = "{8137, 5}";
- sepNavVisRange = "{7715, 868}";
- };
- };
- 27A92E660E349283006E7CF6 /* nmTable.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 4760}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{5092, 656}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92E690E349283006E7CF6 /* st.c */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 8652}}";
- sepNavSelRange = "{3367, 0}";
- sepNavVisRange = "{3486, 200}";
- };
- };
- 27A92E6A0E349283006E7CF6 /* st.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 1358}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 462}";
- };
- };
- 27A92E6E0E349283006E7CF6 /* leaks.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 434}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{0, 1112}";
- };
- };
- 27A92E710E349283006E7CF6 /* util_hack.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {691, 1344}}";
- sepNavSelRange = "{2287, 45}";
- sepNavVisRange = "{1599, 1173}";
- sepNavWindowFrame = "{{15, 76}, {750, 697}}";
- };
- };
- 27A92E740E349283006E7CF6 /* vec.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1012, 1554}}";
- sepNavSelRange = "{0, 0}";
- sepNavVisRange = "{788, 1041}";
- };
- };
- 27A92E780E349283006E7CF6 /* vecPtr.h */ = {
- uiCtxt = {
- sepNavIntBoundsRect = "{{0, 0}, {1219, 10864}}";
- sepNavSelRange = "{16340, 0}";
- sepNavVisRange = "{16340, 305}";
- };
- };
- 27A930B60E3492E6006E7CF6 /* abcDar.c */ = {
- isa = PBXFileReference;
- lastKnownFileType = sourcecode.c.c;
- name = abcDar.c;
- path = "/Users/raiyan/Documents/Xcode Projects/abc/base/abci/abcDar.c";
- sourceTree = "<absolute>";
- };
- 27A930BD0E3494E8006E7CF6 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92BD50E349280006E7CF6 /* generic.h */;
- name = "generic.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1021;
- vrLoc = 0;
- };
- 27A930BE0E3494E8006E7CF6 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A930B60E3492E6006E7CF6 /* abcDar.c */;
- name = "abcDar.c: 282";
- rLen = 0;
- rLoc = 10649;
- rType = 0;
- vrLen = 916;
- vrLoc = 10295;
- };
- 27A930BF0E3494E8006E7CF6 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C7F0E349281006E7CF6 /* generic.c */;
- name = "generic.c: 21";
- rLen = 20;
- rLoc = 468;
- rType = 0;
- vrLen = 1014;
- vrLoc = 0;
- };
- 27A930C10E3494E8006E7CF6 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C850E349281006E7CF6 /* aigDfs.c */;
- name = "aigDfs.c: 452";
- rLen = 0;
- rLoc = 13510;
- rType = 0;
- vrLen = 798;
- vrLoc = 7567;
- };
- 27A930C30E3494E8006E7CF6 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92BD50E349280006E7CF6 /* generic.h */;
- name = "generic.h: 1";
- rLen = 0;
- rLoc = 0;
- rType = 0;
- vrLen = 1021;
- vrLoc = 0;
- };
- 27A930C40E3494E8006E7CF6 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A930B60E3492E6006E7CF6 /* abcDar.c */;
- name = "abcDar.c: 282";
- rLen = 0;
- rLoc = 10649;
- rType = 0;
- vrLen = 916;
- vrLoc = 10295;
- };
- 27A930C50E3494E8006E7CF6 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C7F0E349281006E7CF6 /* generic.c */;
- name = "generic.c: 21";
- rLen = 20;
- rLoc = 468;
- rType = 0;
- vrLen = 1014;
- vrLoc = 0;
- };
- 27A930C60E3494E8006E7CF6 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C820E349281006E7CF6 /* aig.h */;
- name = "aig.h: 69";
- rLen = 31;
- rLoc = 2287;
- rType = 0;
- vrLen = 1509;
- vrLoc = 1016;
- };
- 27A930C70E3494E8006E7CF6 /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92C850E349281006E7CF6 /* aigDfs.c */;
- name = "aigDfs.c: 452";
- rLen = 0;
- rLoc = 13510;
- rType = 0;
- vrLen = 798;
- vrLoc = 7567;
- };
- 27F2A0390E3951350056453A /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E330E349282006E7CF6 /* unate.c */;
- name = "unate.c: 419";
- rLen = 15;
- rLoc = 10139;
- rType = 0;
- vrLen = 661;
- vrLoc = 9874;
- };
- 27F2A03A0E3951350056453A /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- comments = "warning: unused variable 'Buffer'";
- fRef = 27A92DF80E349282006E7CF6 /* mainUtils.c */;
- rLen = 1;
- rLoc = 66;
- rType = 1;
- };
- 27F2A03B0E3951350056453A /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92E330E349282006E7CF6 /* unate.c */;
- name = "unate.c: 419";
- rLen = 15;
- rLoc = 10139;
- rType = 0;
- vrLen = 661;
- vrLoc = 9874;
- };
- 27F2A0450E39514F0056453A /* PBXTextBookmark */ = {
- isa = PBXTextBookmark;
- fRef = 27A92DF80E349282006E7CF6 /* mainUtils.c */;
- name = "mainUtils.c: 67";
- rLen = 44;
- rLoc = 1783;
- rType = 0;
- vrLen = 516;
- vrLoc = 1569;
- };
- 8DD76FA90486AB0100D96B5E /* abc */ = {
- activeExec = 0;
- executables = (
- 27A92B5E0E34922E006E7CF6 /* abc */,
- );
- };
-}
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-04 12:07:37 +0000