├── .gitignore ├── .python-version ├── AliasAnalysis ├── README.md ├── alias.py ├── driver.py ├── lang.py ├── parser.py └── tests │ ├── ref0.txt │ ├── ref1.txt │ ├── ref2.txt │ ├── ref3.txt │ ├── ref4.txt │ ├── ref5.txt │ ├── ref6.txt │ ├── ref7.txt │ ├── ref8.txt │ └── ref9.txt ├── ConstantPropagation ├── Answers │ ├── dataflow.py │ ├── driver.py │ ├── eliminationExample.py │ ├── instFolder.py │ ├── lang.py │ └── parser.py ├── README.md ├── dataflow.py ├── driver.py ├── lang.py ├── parser.py └── tests │ ├── 0_small_branch.txt │ ├── 1_small_branch.txt │ ├── big_branch.txt │ ├── fib.txt │ ├── is_even.txt │ ├── is_seven.txt │ ├── loop.txt │ ├── max0.txt │ ├── nonSSA0.txt │ ├── nonSSA1.txt │ ├── read0.txt │ ├── read1.txt │ ├── yesSSA0.txt │ └── yesSSA1.txt ├── ControlFlowGraphs ├── README.md ├── driver.py ├── lang.py └── todo.py ├── Dominance ├── README.md ├── dataflow.py ├── driver.py ├── lang.py ├── parser.py └── tests │ ├── 0_small_branch.txt │ ├── 1_small_branch.txt │ ├── big_branch.txt │ ├── fib.txt │ ├── is_seven.txt │ ├── loop.txt │ ├── small_branch.txt │ └── straight0.txt ├── IntroDataFlow ├── README.md ├── dataflow.py ├── driver.py ├── lang.py ├── parser.py └── tests │ ├── 0_small_branch.txt │ ├── 1_small_branch.txt │ ├── big_branch.txt │ ├── fib.txt │ ├── is_seven.txt │ ├── loop.txt │ ├── small_branch.txt │ └── straight0.txt ├── Parsing ├── README.md ├── driver.py ├── lang.py ├── tests │ ├── big_branch.txt │ ├── fib.txt │ ├── is_seven.txt │ ├── loop.txt │ └── small_branch.txt └── todo.py ├── PhiFunctions ├── README.md ├── driver.py ├── lang.py ├── programs.py └── tests │ ├── fact0.txt │ ├── fact1.txt │ ├── fact2.txt │ ├── fib0.txt │ ├── fib1.txt │ ├── fib2.txt │ ├── fib_swap_fixed0.txt │ ├── fib_swap_fixed1.txt │ ├── fib_swap_fixed2.txt │ ├── fib_swap_prob0.txt │ ├── fib_swap_prob1.txt │ ├── fib_swap_prob2.txt │ ├── test_div0.txt │ ├── test_div1.txt │ ├── test_min3_a.txt │ ├── test_min3_b.txt │ ├── test_min3_c.txt │ ├── test_min_0.txt │ └── test_min_1.txt ├── README.md ├── SSARegisterAllocation ├── README.md ├── dataflow.py ├── driver.py ├── graph.py └── lang.py ├── TypeChecking ├── README.md ├── driver.py ├── lang.py ├── parser.py └── tests │ ├── safe_big_branch.txt │ ├── safe_fib.txt │ ├── safe_is_even.txt │ ├── safe_loop.txt │ ├── safe_small_branch.txt │ ├── unsafe_big_branch.txt │ ├── unsafe_is_even.txt │ └── unsafe_small_branch.txt ├── Worklist ├── README.md ├── dataflow.py ├── driver.py ├── lang.py ├── parser.py └── tests │ ├── 0_small_branch.txt │ ├── 1_small_branch.txt │ ├── big_branch.txt │ ├── fib.txt │ ├── is_seven.txt │ ├── loop.txt │ ├── small_branch.txt │ └── straight0.txt └── assets └── images ├── aliasAnalysis0.png ├── aliasAnalysis1.png ├── chaoticVsWorklist.png ├── constantprop.png ├── constantpropexample.png ├── constantproplattice.png ├── dominance.png ├── exDependenceGraph.png ├── exDominance.png ├── exFibonacci.png ├── exParsing.png ├── newSyntacticRules.png ├── nonSSAAbstractInterpretation.png ├── phiRelated.png ├── phiSemantics.png ├── ssaFact.png ├── ssaPrograms.png ├── testDominance.png └── type_checking.png /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/.gitignore -------------------------------------------------------------------------------- /.python-version: -------------------------------------------------------------------------------- 1 | 3.9.18 2 | -------------------------------------------------------------------------------- /AliasAnalysis/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/README.md -------------------------------------------------------------------------------- /AliasAnalysis/alias.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/alias.py -------------------------------------------------------------------------------- /AliasAnalysis/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/driver.py -------------------------------------------------------------------------------- /AliasAnalysis/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/lang.py -------------------------------------------------------------------------------- /AliasAnalysis/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/parser.py -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref0.txt -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref1.txt -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref2.txt -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref3.txt -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref4.txt -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref5.txt -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref6.txt -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref7.txt -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref8.txt -------------------------------------------------------------------------------- /AliasAnalysis/tests/ref9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/AliasAnalysis/tests/ref9.txt -------------------------------------------------------------------------------- /ConstantPropagation/Answers/dataflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/Answers/dataflow.py -------------------------------------------------------------------------------- /ConstantPropagation/Answers/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/Answers/driver.py -------------------------------------------------------------------------------- /ConstantPropagation/Answers/eliminationExample.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/Answers/eliminationExample.py -------------------------------------------------------------------------------- /ConstantPropagation/Answers/instFolder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/Answers/instFolder.py -------------------------------------------------------------------------------- /ConstantPropagation/Answers/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/Answers/lang.py -------------------------------------------------------------------------------- /ConstantPropagation/Answers/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/Answers/parser.py -------------------------------------------------------------------------------- /ConstantPropagation/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/README.md -------------------------------------------------------------------------------- /ConstantPropagation/dataflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/dataflow.py -------------------------------------------------------------------------------- /ConstantPropagation/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/driver.py -------------------------------------------------------------------------------- /ConstantPropagation/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/lang.py -------------------------------------------------------------------------------- /ConstantPropagation/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/parser.py -------------------------------------------------------------------------------- /ConstantPropagation/tests/0_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/0_small_branch.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/1_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/1_small_branch.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/big_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/big_branch.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/fib.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/fib.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/is_even.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/is_even.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/is_seven.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/is_seven.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/loop.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/loop.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/max0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/max0.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/nonSSA0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/nonSSA0.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/nonSSA1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/nonSSA1.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/read0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/read0.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/read1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/read1.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/yesSSA0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/yesSSA0.txt -------------------------------------------------------------------------------- /ConstantPropagation/tests/yesSSA1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ConstantPropagation/tests/yesSSA1.txt -------------------------------------------------------------------------------- /ControlFlowGraphs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ControlFlowGraphs/README.md -------------------------------------------------------------------------------- /ControlFlowGraphs/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ControlFlowGraphs/driver.py -------------------------------------------------------------------------------- /ControlFlowGraphs/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ControlFlowGraphs/lang.py -------------------------------------------------------------------------------- /ControlFlowGraphs/todo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/ControlFlowGraphs/todo.py -------------------------------------------------------------------------------- /Dominance/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/README.md -------------------------------------------------------------------------------- /Dominance/dataflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/dataflow.py -------------------------------------------------------------------------------- /Dominance/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/driver.py -------------------------------------------------------------------------------- /Dominance/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/lang.py -------------------------------------------------------------------------------- /Dominance/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/parser.py -------------------------------------------------------------------------------- /Dominance/tests/0_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/tests/0_small_branch.txt -------------------------------------------------------------------------------- /Dominance/tests/1_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/tests/1_small_branch.txt -------------------------------------------------------------------------------- /Dominance/tests/big_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/tests/big_branch.txt -------------------------------------------------------------------------------- /Dominance/tests/fib.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/tests/fib.txt -------------------------------------------------------------------------------- /Dominance/tests/is_seven.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/tests/is_seven.txt -------------------------------------------------------------------------------- /Dominance/tests/loop.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/tests/loop.txt -------------------------------------------------------------------------------- /Dominance/tests/small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/tests/small_branch.txt -------------------------------------------------------------------------------- /Dominance/tests/straight0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Dominance/tests/straight0.txt -------------------------------------------------------------------------------- /IntroDataFlow/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/README.md -------------------------------------------------------------------------------- /IntroDataFlow/dataflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/dataflow.py -------------------------------------------------------------------------------- /IntroDataFlow/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/driver.py -------------------------------------------------------------------------------- /IntroDataFlow/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/lang.py -------------------------------------------------------------------------------- /IntroDataFlow/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/parser.py -------------------------------------------------------------------------------- /IntroDataFlow/tests/0_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/tests/0_small_branch.txt -------------------------------------------------------------------------------- /IntroDataFlow/tests/1_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/tests/1_small_branch.txt -------------------------------------------------------------------------------- /IntroDataFlow/tests/big_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/tests/big_branch.txt -------------------------------------------------------------------------------- /IntroDataFlow/tests/fib.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/tests/fib.txt -------------------------------------------------------------------------------- /IntroDataFlow/tests/is_seven.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/tests/is_seven.txt -------------------------------------------------------------------------------- /IntroDataFlow/tests/loop.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/tests/loop.txt -------------------------------------------------------------------------------- /IntroDataFlow/tests/small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/tests/small_branch.txt -------------------------------------------------------------------------------- /IntroDataFlow/tests/straight0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/IntroDataFlow/tests/straight0.txt -------------------------------------------------------------------------------- /Parsing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Parsing/README.md -------------------------------------------------------------------------------- /Parsing/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Parsing/driver.py -------------------------------------------------------------------------------- /Parsing/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Parsing/lang.py -------------------------------------------------------------------------------- /Parsing/tests/big_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Parsing/tests/big_branch.txt -------------------------------------------------------------------------------- /Parsing/tests/fib.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Parsing/tests/fib.txt -------------------------------------------------------------------------------- /Parsing/tests/is_seven.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Parsing/tests/is_seven.txt -------------------------------------------------------------------------------- /Parsing/tests/loop.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Parsing/tests/loop.txt -------------------------------------------------------------------------------- /Parsing/tests/small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Parsing/tests/small_branch.txt -------------------------------------------------------------------------------- /Parsing/todo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Parsing/todo.py -------------------------------------------------------------------------------- /PhiFunctions/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/PhiFunctions/README.md -------------------------------------------------------------------------------- /PhiFunctions/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/PhiFunctions/driver.py -------------------------------------------------------------------------------- /PhiFunctions/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/PhiFunctions/lang.py -------------------------------------------------------------------------------- /PhiFunctions/programs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/PhiFunctions/programs.py -------------------------------------------------------------------------------- /PhiFunctions/tests/fact0.txt: -------------------------------------------------------------------------------- 1 | fact 2 | 4 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fact1.txt: -------------------------------------------------------------------------------- 1 | fact 2 | 8 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fact2.txt: -------------------------------------------------------------------------------- 1 | fact 2 | 10 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fib0.txt: -------------------------------------------------------------------------------- 1 | fib 2 | 3 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fib1.txt: -------------------------------------------------------------------------------- 1 | fib 2 | 4 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fib2.txt: -------------------------------------------------------------------------------- 1 | fib 2 | 20 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fib_swap_fixed0.txt: -------------------------------------------------------------------------------- 1 | test_fib_swap_problem_fixed_with_phi_blocks 2 | 3 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fib_swap_fixed1.txt: -------------------------------------------------------------------------------- 1 | test_fib_swap_problem_fixed_with_phi_blocks 2 | 4 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fib_swap_fixed2.txt: -------------------------------------------------------------------------------- 1 | test_fib_swap_problem_fixed_with_phi_blocks 2 | 20 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fib_swap_prob0.txt: -------------------------------------------------------------------------------- 1 | fib_swap_problem 2 | 3 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fib_swap_prob1.txt: -------------------------------------------------------------------------------- 1 | fib_swap_problem 2 | 4 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/fib_swap_prob2.txt: -------------------------------------------------------------------------------- 1 | fib_swap_problem 2 | 20 3 | -------------------------------------------------------------------------------- /PhiFunctions/tests/test_div0.txt: -------------------------------------------------------------------------------- 1 | test_div 2 | 5 3 | 2 4 | -------------------------------------------------------------------------------- /PhiFunctions/tests/test_div1.txt: -------------------------------------------------------------------------------- 1 | test_div 2 | 50 3 | 4 4 | -------------------------------------------------------------------------------- /PhiFunctions/tests/test_min3_a.txt: -------------------------------------------------------------------------------- 1 | test_min3 2 | 2 3 | 3 4 | 4 5 | -------------------------------------------------------------------------------- /PhiFunctions/tests/test_min3_b.txt: -------------------------------------------------------------------------------- 1 | test_min3 2 | 2 3 | 4 4 | 3 5 | -------------------------------------------------------------------------------- /PhiFunctions/tests/test_min3_c.txt: -------------------------------------------------------------------------------- 1 | test_min3 2 | 4 3 | 3 4 | 2 5 | -------------------------------------------------------------------------------- /PhiFunctions/tests/test_min_0.txt: -------------------------------------------------------------------------------- 1 | test_min 2 | 3 3 | 4 4 | -------------------------------------------------------------------------------- /PhiFunctions/tests/test_min_1.txt: -------------------------------------------------------------------------------- 1 | test_min 2 | 5 3 | 2 4 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/README.md -------------------------------------------------------------------------------- /SSARegisterAllocation/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/SSARegisterAllocation/README.md -------------------------------------------------------------------------------- /SSARegisterAllocation/dataflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/SSARegisterAllocation/dataflow.py -------------------------------------------------------------------------------- /SSARegisterAllocation/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/SSARegisterAllocation/driver.py -------------------------------------------------------------------------------- /SSARegisterAllocation/graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/SSARegisterAllocation/graph.py -------------------------------------------------------------------------------- /SSARegisterAllocation/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/SSARegisterAllocation/lang.py -------------------------------------------------------------------------------- /TypeChecking/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/README.md -------------------------------------------------------------------------------- /TypeChecking/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/driver.py -------------------------------------------------------------------------------- /TypeChecking/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/lang.py -------------------------------------------------------------------------------- /TypeChecking/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/parser.py -------------------------------------------------------------------------------- /TypeChecking/tests/safe_big_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/tests/safe_big_branch.txt -------------------------------------------------------------------------------- /TypeChecking/tests/safe_fib.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/tests/safe_fib.txt -------------------------------------------------------------------------------- /TypeChecking/tests/safe_is_even.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/tests/safe_is_even.txt -------------------------------------------------------------------------------- /TypeChecking/tests/safe_loop.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/tests/safe_loop.txt -------------------------------------------------------------------------------- /TypeChecking/tests/safe_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/tests/safe_small_branch.txt -------------------------------------------------------------------------------- /TypeChecking/tests/unsafe_big_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/tests/unsafe_big_branch.txt -------------------------------------------------------------------------------- /TypeChecking/tests/unsafe_is_even.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/tests/unsafe_is_even.txt -------------------------------------------------------------------------------- /TypeChecking/tests/unsafe_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/TypeChecking/tests/unsafe_small_branch.txt -------------------------------------------------------------------------------- /Worklist/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/README.md -------------------------------------------------------------------------------- /Worklist/dataflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/dataflow.py -------------------------------------------------------------------------------- /Worklist/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/driver.py -------------------------------------------------------------------------------- /Worklist/lang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/lang.py -------------------------------------------------------------------------------- /Worklist/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/parser.py -------------------------------------------------------------------------------- /Worklist/tests/0_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/tests/0_small_branch.txt -------------------------------------------------------------------------------- /Worklist/tests/1_small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/tests/1_small_branch.txt -------------------------------------------------------------------------------- /Worklist/tests/big_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/tests/big_branch.txt -------------------------------------------------------------------------------- /Worklist/tests/fib.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/tests/fib.txt -------------------------------------------------------------------------------- /Worklist/tests/is_seven.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/tests/is_seven.txt -------------------------------------------------------------------------------- /Worklist/tests/loop.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/tests/loop.txt -------------------------------------------------------------------------------- /Worklist/tests/small_branch.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/tests/small_branch.txt -------------------------------------------------------------------------------- /Worklist/tests/straight0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/Worklist/tests/straight0.txt -------------------------------------------------------------------------------- /assets/images/aliasAnalysis0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/aliasAnalysis0.png -------------------------------------------------------------------------------- /assets/images/aliasAnalysis1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/aliasAnalysis1.png -------------------------------------------------------------------------------- /assets/images/chaoticVsWorklist.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/chaoticVsWorklist.png -------------------------------------------------------------------------------- /assets/images/constantprop.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/constantprop.png -------------------------------------------------------------------------------- /assets/images/constantpropexample.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/constantpropexample.png -------------------------------------------------------------------------------- /assets/images/constantproplattice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/constantproplattice.png -------------------------------------------------------------------------------- /assets/images/dominance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/dominance.png -------------------------------------------------------------------------------- /assets/images/exDependenceGraph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/exDependenceGraph.png -------------------------------------------------------------------------------- /assets/images/exDominance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/exDominance.png -------------------------------------------------------------------------------- /assets/images/exFibonacci.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/exFibonacci.png -------------------------------------------------------------------------------- /assets/images/exParsing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/exParsing.png -------------------------------------------------------------------------------- /assets/images/newSyntacticRules.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/newSyntacticRules.png -------------------------------------------------------------------------------- /assets/images/nonSSAAbstractInterpretation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/nonSSAAbstractInterpretation.png -------------------------------------------------------------------------------- /assets/images/phiRelated.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/phiRelated.png -------------------------------------------------------------------------------- /assets/images/phiSemantics.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/phiSemantics.png -------------------------------------------------------------------------------- /assets/images/ssaFact.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/ssaFact.png -------------------------------------------------------------------------------- /assets/images/ssaPrograms.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/ssaPrograms.png -------------------------------------------------------------------------------- /assets/images/testDominance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/testDominance.png -------------------------------------------------------------------------------- /assets/images/type_checking.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pronesto/DCC888/HEAD/assets/images/type_checking.png --------------------------------------------------------------------------------