├── .gitignore ├── FraigProject.doc ├── FraigProject.pdf ├── Makefile ├── MustExist.txt ├── MustRemove.txt ├── SelfCheck ├── assets ├── commit1.png ├── commit2.png ├── fraigCmp.png ├── runReadme.png └── simCmp.png ├── b05901011.md ├── b05901011.pdf ├── b05901011_fraig.tgz ├── bin └── fraig ├── clean.sh ├── contest ├── dofile ├── fraig ├── fraig-mac ├── presentation.key └── test.aag ├── dofile ├── fraig ├── grading_rule.txt ├── hwMake.sh ├── include ├── File.h ├── Global.h ├── Heap.h ├── Proof.h ├── Solver.h ├── SolverTypes.h ├── Sort.h ├── VarOrder.h ├── cmdCharDef.h ├── cmdParser.h ├── myHashMap.h ├── myUsage.h ├── rnGen.h ├── sat.h └── util.h ├── lib ├── lib.d ├── libcir.a ├── libcmd-linux.a ├── libcmd-mac.a ├── libcmd.a ├── libsat.a └── libutil.a ├── mydofile ├── dofile.js └── runMiter ├── ptnGen.js ├── readme.md ├── ref ├── fraig ├── fraig-linux └── fraig-mac ├── run.sh ├── src ├── Makefile.in ├── Makefile.lib ├── cir │ ├── .depend.mak │ ├── .extheader.mak │ ├── cirCmd.cpp │ ├── cirCmd.h │ ├── cirDef.h │ ├── cirFraig.cpp │ ├── cirGate.cpp │ ├── cirGate.h │ ├── cirMgr.cpp │ ├── cirMgr.h │ ├── cirOpt.cpp │ ├── cirSim.cpp │ └── make.cir ├── cmd │ ├── cmdCharDef.h │ └── cmdParser.h ├── main │ ├── .depend.mak │ ├── .extheader.mak │ ├── main.cpp │ └── make.main ├── sat │ ├── .depend.mak │ ├── .extheader.mak │ ├── File.cpp │ ├── File.h │ ├── Global.h │ ├── Heap.h │ ├── Proof.cpp │ ├── Proof.h │ ├── README │ ├── Solver.cpp │ ├── Solver.h │ ├── SolverTypes.h │ ├── Sort.h │ ├── VarOrder.h │ ├── make.sat │ ├── sat.h │ └── test │ │ ├── File.cpp │ │ ├── File.h │ │ ├── Global.h │ │ ├── Heap.h │ │ ├── Makefile │ │ ├── Proof.cpp │ │ ├── Proof.h │ │ ├── Solver.cpp │ │ ├── Solver.h │ │ ├── SolverTypes.h │ │ ├── Sort.h │ │ ├── VarOrder.h │ │ ├── sat.h │ │ ├── satTest │ │ └── satTest.cpp └── util │ ├── .depend.mak │ ├── .extheader.mak │ ├── make.util │ ├── myGetChar.cpp │ ├── myHashMap.h │ ├── myHashSet.h │ ├── myString.cpp │ ├── myUsage.h │ ├── rnGen.h │ ├── util.cpp │ └── util.h ├── testdata-usage.md └── tests.fraig ├── C1355.aag ├── C17.aag ├── C1908.aag ├── C3540.aag ├── C432.aag ├── C432_r.aag ├── C499.aag ├── C499_r.aag ├── C5315.aag ├── C6288.aag ├── C7552.aag ├── C880.aag ├── do.fraig ├── do.fsim ├── opt01.aag ├── opt02.aag ├── opt03.aag ├── opt04.aag ├── opt05.aag ├── opt06.aag ├── opt07.aag ├── opt08.aag ├── opt09.aag ├── opt10.aag ├── pattern.01 ├── pattern.02 ├── pattern.03 ├── pattern.04 ├── pattern.05 ├── pattern.06 ├── pattern.08 ├── pattern.09 ├── pattern.10 ├── pattern.11 ├── pattern.12 ├── pattern.13 ├── pattern.14 ├── pattern.15 ├── ptn.01 ├── ptn.02 ├── ptn.03 ├── ptn.04 ├── ptn.05 ├── ptn.06 ├── ptn.07 ├── ptn.08 ├── ptn.09 ├── ptn.10 ├── ptn.11 ├── ptn.12 ├── ptn.13 ├── ptn.14 ├── ptn.15 ├── run.fraig ├── run.fraig.all ├── run.fsim ├── run.fsim.all ├── run.rsim ├── run.rsim.all ├── run.strash ├── run.strash.all ├── sim01.aag ├── sim02.aag ├── sim03.aag ├── sim04.aag ├── sim05.aag ├── sim06.aag ├── sim07.aag ├── sim08.aag ├── sim09.aag ├── sim10.aag ├── sim11.aag ├── sim12.aag ├── sim13.aag ├── sim14.aag ├── sim15.aag ├── strash01.aag ├── strash02.aag ├── strash03.aag ├── strash04.aag ├── strash05.aag ├── strash06.aag ├── strash07.aag ├── strash08.aag ├── strash09.aag ├── strash10.aag ├── test1.aag └── test2.aag /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/.gitignore -------------------------------------------------------------------------------- /FraigProject.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/FraigProject.doc -------------------------------------------------------------------------------- /FraigProject.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/FraigProject.pdf -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/Makefile -------------------------------------------------------------------------------- /MustExist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/MustExist.txt -------------------------------------------------------------------------------- /MustRemove.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/MustRemove.txt -------------------------------------------------------------------------------- /SelfCheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/SelfCheck -------------------------------------------------------------------------------- /assets/commit1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/assets/commit1.png -------------------------------------------------------------------------------- /assets/commit2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/assets/commit2.png -------------------------------------------------------------------------------- /assets/fraigCmp.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/assets/fraigCmp.png -------------------------------------------------------------------------------- /assets/runReadme.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/assets/runReadme.png -------------------------------------------------------------------------------- /assets/simCmp.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/assets/simCmp.png -------------------------------------------------------------------------------- /b05901011.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/b05901011.md -------------------------------------------------------------------------------- /b05901011.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/b05901011.pdf -------------------------------------------------------------------------------- /b05901011_fraig.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/b05901011_fraig.tgz -------------------------------------------------------------------------------- /bin/fraig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/bin/fraig -------------------------------------------------------------------------------- /clean.sh: -------------------------------------------------------------------------------- 1 | rm mydofile/*.do 2 | rm myoutput/* -------------------------------------------------------------------------------- /contest/dofile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/contest/dofile -------------------------------------------------------------------------------- /contest/fraig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/contest/fraig -------------------------------------------------------------------------------- /contest/fraig-mac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/contest/fraig-mac -------------------------------------------------------------------------------- /contest/presentation.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/contest/presentation.key -------------------------------------------------------------------------------- /contest/test.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/contest/test.aag -------------------------------------------------------------------------------- /dofile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/dofile -------------------------------------------------------------------------------- /fraig: -------------------------------------------------------------------------------- 1 | bin/fraig -------------------------------------------------------------------------------- /grading_rule.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/grading_rule.txt -------------------------------------------------------------------------------- /hwMake.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/hwMake.sh -------------------------------------------------------------------------------- /include/File.h: -------------------------------------------------------------------------------- 1 | ../src/sat/File.h -------------------------------------------------------------------------------- /include/Global.h: -------------------------------------------------------------------------------- 1 | ../src/sat/Global.h -------------------------------------------------------------------------------- /include/Heap.h: -------------------------------------------------------------------------------- 1 | ../src/sat/Heap.h -------------------------------------------------------------------------------- /include/Proof.h: -------------------------------------------------------------------------------- 1 | ../src/sat/Proof.h -------------------------------------------------------------------------------- /include/Solver.h: -------------------------------------------------------------------------------- 1 | ../src/sat/Solver.h -------------------------------------------------------------------------------- /include/SolverTypes.h: -------------------------------------------------------------------------------- 1 | ../src/sat/SolverTypes.h -------------------------------------------------------------------------------- /include/Sort.h: -------------------------------------------------------------------------------- 1 | ../src/sat/Sort.h -------------------------------------------------------------------------------- /include/VarOrder.h: -------------------------------------------------------------------------------- 1 | ../src/sat/VarOrder.h -------------------------------------------------------------------------------- /include/cmdCharDef.h: -------------------------------------------------------------------------------- 1 | ../src/cmd/cmdCharDef.h -------------------------------------------------------------------------------- /include/cmdParser.h: -------------------------------------------------------------------------------- 1 | ../src/cmd/cmdParser.h -------------------------------------------------------------------------------- /include/myHashMap.h: -------------------------------------------------------------------------------- 1 | ../src/util/myHashMap.h -------------------------------------------------------------------------------- /include/myUsage.h: -------------------------------------------------------------------------------- 1 | ../src/util/myUsage.h -------------------------------------------------------------------------------- /include/rnGen.h: -------------------------------------------------------------------------------- 1 | ../src/util/rnGen.h -------------------------------------------------------------------------------- /include/sat.h: -------------------------------------------------------------------------------- 1 | ../src/sat/sat.h -------------------------------------------------------------------------------- /include/util.h: -------------------------------------------------------------------------------- 1 | ../src/util/util.h -------------------------------------------------------------------------------- /lib/lib.d: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/libcir.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/lib/libcir.a -------------------------------------------------------------------------------- /lib/libcmd-linux.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/lib/libcmd-linux.a -------------------------------------------------------------------------------- /lib/libcmd-mac.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/lib/libcmd-mac.a -------------------------------------------------------------------------------- /lib/libcmd.a: -------------------------------------------------------------------------------- 1 | libcmd-mac.a -------------------------------------------------------------------------------- /lib/libsat.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/lib/libsat.a -------------------------------------------------------------------------------- /lib/libutil.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/lib/libutil.a -------------------------------------------------------------------------------- /mydofile/dofile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/mydofile/dofile.js -------------------------------------------------------------------------------- /mydofile/runMiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/mydofile/runMiter -------------------------------------------------------------------------------- /ptnGen.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/ptnGen.js -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/readme.md -------------------------------------------------------------------------------- /ref/fraig: -------------------------------------------------------------------------------- 1 | fraig-mac -------------------------------------------------------------------------------- /ref/fraig-linux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/ref/fraig-linux -------------------------------------------------------------------------------- /ref/fraig-mac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/ref/fraig-mac -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/run.sh -------------------------------------------------------------------------------- /src/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/Makefile.in -------------------------------------------------------------------------------- /src/Makefile.lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/Makefile.lib -------------------------------------------------------------------------------- /src/cir/.depend.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/.depend.mak -------------------------------------------------------------------------------- /src/cir/.extheader.mak: -------------------------------------------------------------------------------- 1 | cir.d: 2 | -------------------------------------------------------------------------------- /src/cir/cirCmd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirCmd.cpp -------------------------------------------------------------------------------- /src/cir/cirCmd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirCmd.h -------------------------------------------------------------------------------- /src/cir/cirDef.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirDef.h -------------------------------------------------------------------------------- /src/cir/cirFraig.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirFraig.cpp -------------------------------------------------------------------------------- /src/cir/cirGate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirGate.cpp -------------------------------------------------------------------------------- /src/cir/cirGate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirGate.h -------------------------------------------------------------------------------- /src/cir/cirMgr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirMgr.cpp -------------------------------------------------------------------------------- /src/cir/cirMgr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirMgr.h -------------------------------------------------------------------------------- /src/cir/cirOpt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirOpt.cpp -------------------------------------------------------------------------------- /src/cir/cirSim.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/cirSim.cpp -------------------------------------------------------------------------------- /src/cir/make.cir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cir/make.cir -------------------------------------------------------------------------------- /src/cmd/cmdCharDef.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cmd/cmdCharDef.h -------------------------------------------------------------------------------- /src/cmd/cmdParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/cmd/cmdParser.h -------------------------------------------------------------------------------- /src/main/.depend.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/main/.depend.mak -------------------------------------------------------------------------------- /src/main/.extheader.mak: -------------------------------------------------------------------------------- 1 | .d: 2 | -------------------------------------------------------------------------------- /src/main/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/main/main.cpp -------------------------------------------------------------------------------- /src/main/make.main: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/main/make.main -------------------------------------------------------------------------------- /src/sat/.depend.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/.depend.mak -------------------------------------------------------------------------------- /src/sat/.extheader.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/.extheader.mak -------------------------------------------------------------------------------- /src/sat/File.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/File.cpp -------------------------------------------------------------------------------- /src/sat/File.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/File.h -------------------------------------------------------------------------------- /src/sat/Global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/Global.h -------------------------------------------------------------------------------- /src/sat/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/Heap.h -------------------------------------------------------------------------------- /src/sat/Proof.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/Proof.cpp -------------------------------------------------------------------------------- /src/sat/Proof.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/Proof.h -------------------------------------------------------------------------------- /src/sat/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/README -------------------------------------------------------------------------------- /src/sat/Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/Solver.cpp -------------------------------------------------------------------------------- /src/sat/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/Solver.h -------------------------------------------------------------------------------- /src/sat/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/SolverTypes.h -------------------------------------------------------------------------------- /src/sat/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/Sort.h -------------------------------------------------------------------------------- /src/sat/VarOrder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/VarOrder.h -------------------------------------------------------------------------------- /src/sat/make.sat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/make.sat -------------------------------------------------------------------------------- /src/sat/sat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/sat.h -------------------------------------------------------------------------------- /src/sat/test/File.cpp: -------------------------------------------------------------------------------- 1 | ../File.cpp -------------------------------------------------------------------------------- /src/sat/test/File.h: -------------------------------------------------------------------------------- 1 | ../File.h -------------------------------------------------------------------------------- /src/sat/test/Global.h: -------------------------------------------------------------------------------- 1 | ../Global.h -------------------------------------------------------------------------------- /src/sat/test/Heap.h: -------------------------------------------------------------------------------- 1 | ../Heap.h -------------------------------------------------------------------------------- /src/sat/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/test/Makefile -------------------------------------------------------------------------------- /src/sat/test/Proof.cpp: -------------------------------------------------------------------------------- 1 | ../Proof.cpp -------------------------------------------------------------------------------- /src/sat/test/Proof.h: -------------------------------------------------------------------------------- 1 | ../Proof.h -------------------------------------------------------------------------------- /src/sat/test/Solver.cpp: -------------------------------------------------------------------------------- 1 | ../Solver.cpp -------------------------------------------------------------------------------- /src/sat/test/Solver.h: -------------------------------------------------------------------------------- 1 | ../Solver.h -------------------------------------------------------------------------------- /src/sat/test/SolverTypes.h: -------------------------------------------------------------------------------- 1 | ../SolverTypes.h -------------------------------------------------------------------------------- /src/sat/test/Sort.h: -------------------------------------------------------------------------------- 1 | ../Sort.h -------------------------------------------------------------------------------- /src/sat/test/VarOrder.h: -------------------------------------------------------------------------------- 1 | ../VarOrder.h -------------------------------------------------------------------------------- /src/sat/test/sat.h: -------------------------------------------------------------------------------- 1 | ../sat.h -------------------------------------------------------------------------------- /src/sat/test/satTest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/test/satTest -------------------------------------------------------------------------------- /src/sat/test/satTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/sat/test/satTest.cpp -------------------------------------------------------------------------------- /src/util/.depend.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/.depend.mak -------------------------------------------------------------------------------- /src/util/.extheader.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/.extheader.mak -------------------------------------------------------------------------------- /src/util/make.util: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/make.util -------------------------------------------------------------------------------- /src/util/myGetChar.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/myGetChar.cpp -------------------------------------------------------------------------------- /src/util/myHashMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/myHashMap.h -------------------------------------------------------------------------------- /src/util/myHashSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/myHashSet.h -------------------------------------------------------------------------------- /src/util/myString.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/myString.cpp -------------------------------------------------------------------------------- /src/util/myUsage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/myUsage.h -------------------------------------------------------------------------------- /src/util/rnGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/rnGen.h -------------------------------------------------------------------------------- /src/util/util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/util.cpp -------------------------------------------------------------------------------- /src/util/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/src/util/util.h -------------------------------------------------------------------------------- /testdata-usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/testdata-usage.md -------------------------------------------------------------------------------- /tests.fraig/C1355.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C1355.aag -------------------------------------------------------------------------------- /tests.fraig/C17.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C17.aag -------------------------------------------------------------------------------- /tests.fraig/C1908.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C1908.aag -------------------------------------------------------------------------------- /tests.fraig/C3540.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C3540.aag -------------------------------------------------------------------------------- /tests.fraig/C432.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C432.aag -------------------------------------------------------------------------------- /tests.fraig/C432_r.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C432_r.aag -------------------------------------------------------------------------------- /tests.fraig/C499.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C499.aag -------------------------------------------------------------------------------- /tests.fraig/C499_r.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C499_r.aag -------------------------------------------------------------------------------- /tests.fraig/C5315.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C5315.aag -------------------------------------------------------------------------------- /tests.fraig/C6288.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C6288.aag -------------------------------------------------------------------------------- /tests.fraig/C7552.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C7552.aag -------------------------------------------------------------------------------- /tests.fraig/C880.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/C880.aag -------------------------------------------------------------------------------- /tests.fraig/do.fraig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/do.fraig -------------------------------------------------------------------------------- /tests.fraig/do.fsim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/do.fsim -------------------------------------------------------------------------------- /tests.fraig/opt01.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/opt01.aag -------------------------------------------------------------------------------- /tests.fraig/opt02.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/opt02.aag -------------------------------------------------------------------------------- /tests.fraig/opt03.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/opt03.aag -------------------------------------------------------------------------------- /tests.fraig/opt04.aag: -------------------------------------------------------------------------------- 1 | aag 2 1 0 1 1 2 | 2 3 | 4 4 | 4 3 2 5 | c 6 | PO(3) = CONST(0) 7 | -------------------------------------------------------------------------------- /tests.fraig/opt05.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/opt05.aag -------------------------------------------------------------------------------- /tests.fraig/opt06.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/opt06.aag -------------------------------------------------------------------------------- /tests.fraig/opt07.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/opt07.aag -------------------------------------------------------------------------------- /tests.fraig/opt08.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/opt08.aag -------------------------------------------------------------------------------- /tests.fraig/opt09.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/opt09.aag -------------------------------------------------------------------------------- /tests.fraig/opt10.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/opt10.aag -------------------------------------------------------------------------------- /tests.fraig/pattern.01: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.01 -------------------------------------------------------------------------------- /tests.fraig/pattern.02: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.02 -------------------------------------------------------------------------------- /tests.fraig/pattern.03: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.03 -------------------------------------------------------------------------------- /tests.fraig/pattern.04: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.04 -------------------------------------------------------------------------------- /tests.fraig/pattern.05: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.05 -------------------------------------------------------------------------------- /tests.fraig/pattern.06: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.06 -------------------------------------------------------------------------------- /tests.fraig/pattern.08: -------------------------------------------------------------------------------- 1 | 00 2 | -------------------------------------------------------------------------------- /tests.fraig/pattern.09: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.09 -------------------------------------------------------------------------------- /tests.fraig/pattern.10: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.10 -------------------------------------------------------------------------------- /tests.fraig/pattern.11: -------------------------------------------------------------------------------- 1 | 00 2 | -------------------------------------------------------------------------------- /tests.fraig/pattern.12: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.12 -------------------------------------------------------------------------------- /tests.fraig/pattern.13: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.13 -------------------------------------------------------------------------------- /tests.fraig/pattern.14: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.14 -------------------------------------------------------------------------------- /tests.fraig/pattern.15: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/pattern.15 -------------------------------------------------------------------------------- /tests.fraig/ptn.01: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.01 -------------------------------------------------------------------------------- /tests.fraig/ptn.02: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.02 -------------------------------------------------------------------------------- /tests.fraig/ptn.03: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.03 -------------------------------------------------------------------------------- /tests.fraig/ptn.04: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.04 -------------------------------------------------------------------------------- /tests.fraig/ptn.05: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.05 -------------------------------------------------------------------------------- /tests.fraig/ptn.06: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.06 -------------------------------------------------------------------------------- /tests.fraig/ptn.07: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.07 -------------------------------------------------------------------------------- /tests.fraig/ptn.08: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.08 -------------------------------------------------------------------------------- /tests.fraig/ptn.09: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.09 -------------------------------------------------------------------------------- /tests.fraig/ptn.10: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.10 -------------------------------------------------------------------------------- /tests.fraig/ptn.11: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.11 -------------------------------------------------------------------------------- /tests.fraig/ptn.12: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.12 -------------------------------------------------------------------------------- /tests.fraig/ptn.13: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.13 -------------------------------------------------------------------------------- /tests.fraig/ptn.14: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.14 -------------------------------------------------------------------------------- /tests.fraig/ptn.15: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/ptn.15 -------------------------------------------------------------------------------- /tests.fraig/run.fraig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/run.fraig -------------------------------------------------------------------------------- /tests.fraig/run.fraig.all: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/run.fraig.all -------------------------------------------------------------------------------- /tests.fraig/run.fsim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/run.fsim -------------------------------------------------------------------------------- /tests.fraig/run.fsim.all: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/run.fsim.all -------------------------------------------------------------------------------- /tests.fraig/run.rsim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/run.rsim -------------------------------------------------------------------------------- /tests.fraig/run.rsim.all: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/run.rsim.all -------------------------------------------------------------------------------- /tests.fraig/run.strash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/run.strash -------------------------------------------------------------------------------- /tests.fraig/run.strash.all: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/run.strash.all -------------------------------------------------------------------------------- /tests.fraig/sim01.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim01.aag -------------------------------------------------------------------------------- /tests.fraig/sim02.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim02.aag -------------------------------------------------------------------------------- /tests.fraig/sim03.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim03.aag -------------------------------------------------------------------------------- /tests.fraig/sim04.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim04.aag -------------------------------------------------------------------------------- /tests.fraig/sim05.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim05.aag -------------------------------------------------------------------------------- /tests.fraig/sim06.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim06.aag -------------------------------------------------------------------------------- /tests.fraig/sim07.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim07.aag -------------------------------------------------------------------------------- /tests.fraig/sim08.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim08.aag -------------------------------------------------------------------------------- /tests.fraig/sim09.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim09.aag -------------------------------------------------------------------------------- /tests.fraig/sim10.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim10.aag -------------------------------------------------------------------------------- /tests.fraig/sim11.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim11.aag -------------------------------------------------------------------------------- /tests.fraig/sim12.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim12.aag -------------------------------------------------------------------------------- /tests.fraig/sim13.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim13.aag -------------------------------------------------------------------------------- /tests.fraig/sim14.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim14.aag -------------------------------------------------------------------------------- /tests.fraig/sim15.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/sim15.aag -------------------------------------------------------------------------------- /tests.fraig/strash01.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash01.aag -------------------------------------------------------------------------------- /tests.fraig/strash02.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash02.aag -------------------------------------------------------------------------------- /tests.fraig/strash03.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash03.aag -------------------------------------------------------------------------------- /tests.fraig/strash04.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash04.aag -------------------------------------------------------------------------------- /tests.fraig/strash05.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash05.aag -------------------------------------------------------------------------------- /tests.fraig/strash06.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash06.aag -------------------------------------------------------------------------------- /tests.fraig/strash07.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash07.aag -------------------------------------------------------------------------------- /tests.fraig/strash08.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash08.aag -------------------------------------------------------------------------------- /tests.fraig/strash09.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash09.aag -------------------------------------------------------------------------------- /tests.fraig/strash10.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/strash10.aag -------------------------------------------------------------------------------- /tests.fraig/test1.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/test1.aag -------------------------------------------------------------------------------- /tests.fraig/test2.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ByronHsu/FRAIGs/HEAD/tests.fraig/test2.aag --------------------------------------------------------------------------------