├── .gitignore ├── CMakeLists.txt ├── README.md ├── images ├── aa.png └── vf.png ├── include ├── AA │ ├── AAStat.h │ ├── AliasAnalysis.h │ ├── PEGFold.h │ └── PEGInterDyck.h ├── CFLData │ ├── BasicUtils.h │ ├── CFG.h │ ├── CFLData.h │ ├── CFLEdge.h │ ├── CFLGraph.h │ ├── CFLNode.h │ ├── ECG.h │ ├── IVFG.h │ └── PEG.h ├── CFLSolver │ ├── CFLBase.h │ ├── CFLOpt.h │ ├── CFLSolver.h │ └── CFLStat.h ├── RSM │ ├── GFPattern.h │ └── RSM.h └── VFA │ ├── IVFGFold.h │ ├── IVFGInterDyck.h │ ├── VFAStat.h │ └── VFAnalysis.h ├── lib ├── AA │ ├── AAGraphSimp.cpp │ ├── AAStat.cpp │ ├── AliasAnalysis.cpp │ ├── FocrAA.cpp │ ├── GRAA.cpp │ ├── GspanAA.cpp │ ├── PEGFold.cpp │ ├── PEGInterDyck.cpp │ └── PocrAA.cpp ├── CFLData │ ├── BSECG.cpp │ ├── BasicUtils.cpp │ ├── CFG.cpp │ ├── CFLGraph.cpp │ ├── ECG.cpp │ ├── IVFG.cpp │ └── PEG.cpp ├── CFLSolver │ ├── CFLOpt.cpp │ ├── CFLSolver.cpp │ ├── CFLStat.cpp │ ├── FocrCFL.cpp │ ├── HPocrCFL.cpp │ ├── PocrCFL.cpp │ └── TRCFL.cpp ├── CMakeLists.txt ├── RSM │ ├── GFPattern.cpp │ └── RSM.cpp └── VFA │ ├── FocrVFA.cpp │ ├── GRVFA.cpp │ ├── GspanVFA.cpp │ ├── IVFGFold.cpp │ ├── IVFGInterDyck.cpp │ ├── PocrVFA.cpp │ ├── VFAGraphSimp.cpp │ ├── VFAStat.cpp │ └── VFAnalysis.cpp ├── setup.sh ├── tests ├── aa.cfg ├── aa_simple.cfg ├── aa_two.cfg ├── aanew.cfg ├── art.peg ├── art.vfg ├── astar.peg ├── astar.vfg ├── astyle.peg ├── astyle.vfg ├── bzip2.peg ├── bzip2.vfg ├── crafty.peg ├── crafty.vfg ├── gzip.peg ├── gzip.vfg ├── i3.peg ├── i3.vfg ├── janet.peg ├── janet.vfg ├── namd.peg ├── namd.vfg ├── psql.peg ├── psql.vfg ├── taint-new.cfg ├── taint.cfg ├── taint_simple.cfg ├── test.cfg ├── vf.cfg ├── vf_manual.cfg ├── vf_simple.cfg ├── vf_two.cfg └── vfnew.cfg └── tools ├── AA ├── CMakeLists.txt └── aa.cpp ├── CFL ├── CMakeLists.txt └── cfl.cpp ├── CMakeLists.txt ├── FoldablePattern ├── CMakeLists.txt └── fp.cpp └── VFA ├── CMakeLists.txt └── vf.cpp /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/README.md -------------------------------------------------------------------------------- /images/aa.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/images/aa.png -------------------------------------------------------------------------------- /images/vf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/images/vf.png -------------------------------------------------------------------------------- /include/AA/AAStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/AA/AAStat.h -------------------------------------------------------------------------------- /include/AA/AliasAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/AA/AliasAnalysis.h -------------------------------------------------------------------------------- /include/AA/PEGFold.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/AA/PEGFold.h -------------------------------------------------------------------------------- /include/AA/PEGInterDyck.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/AA/PEGInterDyck.h -------------------------------------------------------------------------------- /include/CFLData/BasicUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLData/BasicUtils.h -------------------------------------------------------------------------------- /include/CFLData/CFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLData/CFG.h -------------------------------------------------------------------------------- /include/CFLData/CFLData.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLData/CFLData.h -------------------------------------------------------------------------------- /include/CFLData/CFLEdge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLData/CFLEdge.h -------------------------------------------------------------------------------- /include/CFLData/CFLGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLData/CFLGraph.h -------------------------------------------------------------------------------- /include/CFLData/CFLNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLData/CFLNode.h -------------------------------------------------------------------------------- /include/CFLData/ECG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLData/ECG.h -------------------------------------------------------------------------------- /include/CFLData/IVFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLData/IVFG.h -------------------------------------------------------------------------------- /include/CFLData/PEG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLData/PEG.h -------------------------------------------------------------------------------- /include/CFLSolver/CFLBase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLSolver/CFLBase.h -------------------------------------------------------------------------------- /include/CFLSolver/CFLOpt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLSolver/CFLOpt.h -------------------------------------------------------------------------------- /include/CFLSolver/CFLSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLSolver/CFLSolver.h -------------------------------------------------------------------------------- /include/CFLSolver/CFLStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/CFLSolver/CFLStat.h -------------------------------------------------------------------------------- /include/RSM/GFPattern.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/RSM/GFPattern.h -------------------------------------------------------------------------------- /include/RSM/RSM.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/RSM/RSM.h -------------------------------------------------------------------------------- /include/VFA/IVFGFold.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/VFA/IVFGFold.h -------------------------------------------------------------------------------- /include/VFA/IVFGInterDyck.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/VFA/IVFGInterDyck.h -------------------------------------------------------------------------------- /include/VFA/VFAStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/VFA/VFAStat.h -------------------------------------------------------------------------------- /include/VFA/VFAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/include/VFA/VFAnalysis.h -------------------------------------------------------------------------------- /lib/AA/AAGraphSimp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/AA/AAGraphSimp.cpp -------------------------------------------------------------------------------- /lib/AA/AAStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/AA/AAStat.cpp -------------------------------------------------------------------------------- /lib/AA/AliasAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/AA/AliasAnalysis.cpp -------------------------------------------------------------------------------- /lib/AA/FocrAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/AA/FocrAA.cpp -------------------------------------------------------------------------------- /lib/AA/GRAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/AA/GRAA.cpp -------------------------------------------------------------------------------- /lib/AA/GspanAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/AA/GspanAA.cpp -------------------------------------------------------------------------------- /lib/AA/PEGFold.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/AA/PEGFold.cpp -------------------------------------------------------------------------------- /lib/AA/PEGInterDyck.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/AA/PEGInterDyck.cpp -------------------------------------------------------------------------------- /lib/AA/PocrAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/AA/PocrAA.cpp -------------------------------------------------------------------------------- /lib/CFLData/BSECG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLData/BSECG.cpp -------------------------------------------------------------------------------- /lib/CFLData/BasicUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLData/BasicUtils.cpp -------------------------------------------------------------------------------- /lib/CFLData/CFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLData/CFG.cpp -------------------------------------------------------------------------------- /lib/CFLData/CFLGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLData/CFLGraph.cpp -------------------------------------------------------------------------------- /lib/CFLData/ECG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLData/ECG.cpp -------------------------------------------------------------------------------- /lib/CFLData/IVFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLData/IVFG.cpp -------------------------------------------------------------------------------- /lib/CFLData/PEG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLData/PEG.cpp -------------------------------------------------------------------------------- /lib/CFLSolver/CFLOpt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLSolver/CFLOpt.cpp -------------------------------------------------------------------------------- /lib/CFLSolver/CFLSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLSolver/CFLSolver.cpp -------------------------------------------------------------------------------- /lib/CFLSolver/CFLStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLSolver/CFLStat.cpp -------------------------------------------------------------------------------- /lib/CFLSolver/FocrCFL.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLSolver/FocrCFL.cpp -------------------------------------------------------------------------------- /lib/CFLSolver/HPocrCFL.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLSolver/HPocrCFL.cpp -------------------------------------------------------------------------------- /lib/CFLSolver/PocrCFL.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLSolver/PocrCFL.cpp -------------------------------------------------------------------------------- /lib/CFLSolver/TRCFL.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CFLSolver/TRCFL.cpp -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/RSM/GFPattern.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/RSM/GFPattern.cpp -------------------------------------------------------------------------------- /lib/RSM/RSM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/RSM/RSM.cpp -------------------------------------------------------------------------------- /lib/VFA/FocrVFA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/VFA/FocrVFA.cpp -------------------------------------------------------------------------------- /lib/VFA/GRVFA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/VFA/GRVFA.cpp -------------------------------------------------------------------------------- /lib/VFA/GspanVFA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/VFA/GspanVFA.cpp -------------------------------------------------------------------------------- /lib/VFA/IVFGFold.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/VFA/IVFGFold.cpp -------------------------------------------------------------------------------- /lib/VFA/IVFGInterDyck.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/VFA/IVFGInterDyck.cpp -------------------------------------------------------------------------------- /lib/VFA/PocrVFA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/VFA/PocrVFA.cpp -------------------------------------------------------------------------------- /lib/VFA/VFAGraphSimp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/VFA/VFAGraphSimp.cpp -------------------------------------------------------------------------------- /lib/VFA/VFAStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/VFA/VFAStat.cpp -------------------------------------------------------------------------------- /lib/VFA/VFAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/lib/VFA/VFAnalysis.cpp -------------------------------------------------------------------------------- /setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/setup.sh -------------------------------------------------------------------------------- /tests/aa.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/aa.cfg -------------------------------------------------------------------------------- /tests/aa_simple.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/aa_simple.cfg -------------------------------------------------------------------------------- /tests/aa_two.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/aa_two.cfg -------------------------------------------------------------------------------- /tests/aanew.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/aanew.cfg -------------------------------------------------------------------------------- /tests/art.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/art.peg -------------------------------------------------------------------------------- /tests/art.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/art.vfg -------------------------------------------------------------------------------- /tests/astar.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/astar.peg -------------------------------------------------------------------------------- /tests/astar.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/astar.vfg -------------------------------------------------------------------------------- /tests/astyle.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/astyle.peg -------------------------------------------------------------------------------- /tests/astyle.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/astyle.vfg -------------------------------------------------------------------------------- /tests/bzip2.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/bzip2.peg -------------------------------------------------------------------------------- /tests/bzip2.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/bzip2.vfg -------------------------------------------------------------------------------- /tests/crafty.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/crafty.peg -------------------------------------------------------------------------------- /tests/crafty.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/crafty.vfg -------------------------------------------------------------------------------- /tests/gzip.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/gzip.peg -------------------------------------------------------------------------------- /tests/gzip.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/gzip.vfg -------------------------------------------------------------------------------- /tests/i3.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/i3.peg -------------------------------------------------------------------------------- /tests/i3.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/i3.vfg -------------------------------------------------------------------------------- /tests/janet.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/janet.peg -------------------------------------------------------------------------------- /tests/janet.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/janet.vfg -------------------------------------------------------------------------------- /tests/namd.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/namd.peg -------------------------------------------------------------------------------- /tests/namd.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/namd.vfg -------------------------------------------------------------------------------- /tests/psql.peg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/psql.peg -------------------------------------------------------------------------------- /tests/psql.vfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/psql.vfg -------------------------------------------------------------------------------- /tests/taint-new.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/taint-new.cfg -------------------------------------------------------------------------------- /tests/taint.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/taint.cfg -------------------------------------------------------------------------------- /tests/taint_simple.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/taint_simple.cfg -------------------------------------------------------------------------------- /tests/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/test.cfg -------------------------------------------------------------------------------- /tests/vf.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/vf.cfg -------------------------------------------------------------------------------- /tests/vf_manual.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/vf_manual.cfg -------------------------------------------------------------------------------- /tests/vf_simple.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/vf_simple.cfg -------------------------------------------------------------------------------- /tests/vf_two.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/vf_two.cfg -------------------------------------------------------------------------------- /tests/vfnew.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tests/vfnew.cfg -------------------------------------------------------------------------------- /tools/AA/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tools/AA/CMakeLists.txt -------------------------------------------------------------------------------- /tools/AA/aa.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tools/AA/aa.cpp -------------------------------------------------------------------------------- /tools/CFL/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tools/CFL/CMakeLists.txt -------------------------------------------------------------------------------- /tools/CFL/cfl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tools/CFL/cfl.cpp -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/FoldablePattern/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tools/FoldablePattern/CMakeLists.txt -------------------------------------------------------------------------------- /tools/FoldablePattern/fp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tools/FoldablePattern/fp.cpp -------------------------------------------------------------------------------- /tools/VFA/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tools/VFA/CMakeLists.txt -------------------------------------------------------------------------------- /tools/VFA/vf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisslune/POCR/HEAD/tools/VFA/vf.cpp --------------------------------------------------------------------------------