├── LICENSE ├── README.md ├── arch.png ├── examples ├── NetHCF │ ├── nethcf_input │ │ ├── compile.sh │ │ ├── includes │ │ │ ├── headers.p4 │ │ │ └── parser.p4 │ │ ├── nethcf.json │ │ ├── nethcf.p4 │ │ └── nethcf.p4i │ └── nethcf_org │ │ ├── compile.sh │ │ ├── includes │ │ ├── headers.p4 │ │ └── parser.p4 │ │ ├── nethcf.json │ │ ├── nethcf.p4 │ │ └── nethcf.p4i ├── action_ptr │ ├── action_ptr_new.json │ ├── action_ptr_new.p4 │ ├── action_ptr_old.json │ ├── action_ptr_old.p4 │ └── command_ProgPlanner.txt ├── action_ptr2 │ ├── action_ptr2_new.json │ ├── action_ptr2_new.p4 │ ├── action_ptr2_old.json │ ├── action_ptr2_old.p4 │ └── command_ProgPlanner.txt ├── consistency_example │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── consistency_example_new.json │ ├── consistency_example_new.p4 │ ├── consistency_example_old.json │ └── consistency_example_old.p4 ├── firewall │ ├── firewall_new.json │ ├── firewall_new.p4 │ ├── firewall_old.json │ └── firewall_old.p4 ├── multi_tenant │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── multi_tenant_new.json │ ├── multi_tenant_new.p4 │ ├── multi_tenant_old.json │ ├── multi_tenant_old.p4 │ ├── p4app.json │ ├── receive.py │ ├── s1-commands.txt │ ├── s2-commands.txt │ ├── s3-commands.txt │ ├── s4-commands.txt │ └── send.py ├── netcache │ ├── netcache_input │ │ ├── cache.p4 │ │ ├── compile.sh │ │ ├── ethernet.p4 │ │ ├── heavy_hitter.p4 │ │ ├── includes │ │ │ ├── checksum.p4 │ │ │ ├── defines.p4 │ │ │ ├── headers.p4 │ │ │ └── parsers.p4 │ │ ├── ipv4.p4 │ │ ├── netcache.json │ │ ├── netcache.p4 │ │ ├── netcache.p4i │ │ └── value.p4 │ └── netcache_org │ │ ├── cache.p4 │ │ ├── ethernet.p4 │ │ ├── heavy_hitter.p4 │ │ ├── includes │ │ ├── checksum.p4 │ │ ├── defines.p4 │ │ ├── headers.p4 │ │ └── parsers.p4 │ │ ├── ipv4.p4 │ │ ├── netcache.p4 │ │ └── value.p4 ├── netcache_modified │ ├── netcache_new.graph │ └── netcache_old.graph ├── no2hit │ ├── command_ProgPlanner.txt │ ├── no2hit_new.json │ ├── no2hit_new.p4 │ ├── no2hit_old.json │ └── no2hit_old.p4 ├── normalization │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── normalization_new.json │ ├── normalization_new.p4 │ ├── normalization_old.json │ ├── normalization_old.p4 │ ├── p4app.json │ ├── receive.py │ ├── s1-commands.txt │ └── send.py ├── switch2switch │ ├── command_ProgPlanner.txt │ ├── switch2switch_new.json │ ├── switch2switch_new.p4 │ ├── switch2switch_old.json │ └── switch2switch_old.p4 ├── synthesized_test1 │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── synthesized_test1_new.graph │ └── synthesized_test1_old.graph ├── test1 │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── test1_new.txt │ └── test1_old.txt ├── test2 │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── test2_new.txt │ └── test2_old.txt ├── test3 │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── test3_new.txt │ └── test3_old.txt ├── test4 │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── test4_new.txt │ └── test4_old.txt ├── test5 │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── test5_new.txt │ └── test5_old.txt └── test6 │ ├── command_ElemPlanner.txt │ ├── command_ExecPlanner.txt │ ├── command_ProgPlanner.txt │ ├── test6_new.txt │ └── test6_old.txt └── src ├── .gitignore ├── Logger.py ├── __init__.py ├── ast_based_synthetic.py ├── comp_commands_across_versions.py ├── elem_planner.py ├── exec_planner.py ├── flexcore.py ├── graph_tool.py ├── input_builder.py ├── json_to_nxGraph.py ├── main.py ├── planner.py ├── prog_planner.py └── run_all_example.py /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/README.md -------------------------------------------------------------------------------- /arch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/arch.png -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_input/compile.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | p4c -b bmv2 -a v1model --std p4-14 nethcf.p4 -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_input/includes/headers.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_input/includes/headers.p4 -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_input/includes/parser.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_input/includes/parser.p4 -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_input/nethcf.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_input/nethcf.json -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_input/nethcf.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_input/nethcf.p4 -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_input/nethcf.p4i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_input/nethcf.p4i -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_org/compile.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | p4c -b bmv2 -a v1model --std p4-14 nethcf.p4 -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_org/includes/headers.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_org/includes/headers.p4 -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_org/includes/parser.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_org/includes/parser.p4 -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_org/nethcf.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_org/nethcf.json -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_org/nethcf.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_org/nethcf.p4 -------------------------------------------------------------------------------- /examples/NetHCF/nethcf_org/nethcf.p4i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/NetHCF/nethcf_org/nethcf.p4i -------------------------------------------------------------------------------- /examples/action_ptr/action_ptr_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr/action_ptr_new.json -------------------------------------------------------------------------------- /examples/action_ptr/action_ptr_new.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr/action_ptr_new.p4 -------------------------------------------------------------------------------- /examples/action_ptr/action_ptr_old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr/action_ptr_old.json -------------------------------------------------------------------------------- /examples/action_ptr/action_ptr_old.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr/action_ptr_old.p4 -------------------------------------------------------------------------------- /examples/action_ptr/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/action_ptr2/action_ptr2_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr2/action_ptr2_new.json -------------------------------------------------------------------------------- /examples/action_ptr2/action_ptr2_new.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr2/action_ptr2_new.p4 -------------------------------------------------------------------------------- /examples/action_ptr2/action_ptr2_old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr2/action_ptr2_old.json -------------------------------------------------------------------------------- /examples/action_ptr2/action_ptr2_old.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr2/action_ptr2_old.p4 -------------------------------------------------------------------------------- /examples/action_ptr2/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/action_ptr2/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/consistency_example/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/consistency_example/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/consistency_example/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/consistency_example/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/consistency_example/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/consistency_example/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/consistency_example/consistency_example_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/consistency_example/consistency_example_new.json -------------------------------------------------------------------------------- /examples/consistency_example/consistency_example_new.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/consistency_example/consistency_example_new.p4 -------------------------------------------------------------------------------- /examples/consistency_example/consistency_example_old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/consistency_example/consistency_example_old.json -------------------------------------------------------------------------------- /examples/consistency_example/consistency_example_old.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/consistency_example/consistency_example_old.p4 -------------------------------------------------------------------------------- /examples/firewall/firewall_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/firewall/firewall_new.json -------------------------------------------------------------------------------- /examples/firewall/firewall_new.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/firewall/firewall_new.p4 -------------------------------------------------------------------------------- /examples/firewall/firewall_old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/firewall/firewall_old.json -------------------------------------------------------------------------------- /examples/firewall/firewall_old.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/firewall/firewall_old.p4 -------------------------------------------------------------------------------- /examples/multi_tenant/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/multi_tenant/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/multi_tenant/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/multi_tenant/multi_tenant_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/multi_tenant_new.json -------------------------------------------------------------------------------- /examples/multi_tenant/multi_tenant_new.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/multi_tenant_new.p4 -------------------------------------------------------------------------------- /examples/multi_tenant/multi_tenant_old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/multi_tenant_old.json -------------------------------------------------------------------------------- /examples/multi_tenant/multi_tenant_old.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/multi_tenant_old.p4 -------------------------------------------------------------------------------- /examples/multi_tenant/p4app.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/p4app.json -------------------------------------------------------------------------------- /examples/multi_tenant/receive.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/receive.py -------------------------------------------------------------------------------- /examples/multi_tenant/s1-commands.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/s1-commands.txt -------------------------------------------------------------------------------- /examples/multi_tenant/s2-commands.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/s2-commands.txt -------------------------------------------------------------------------------- /examples/multi_tenant/s3-commands.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/s3-commands.txt -------------------------------------------------------------------------------- /examples/multi_tenant/s4-commands.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/s4-commands.txt -------------------------------------------------------------------------------- /examples/multi_tenant/send.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/multi_tenant/send.py -------------------------------------------------------------------------------- /examples/netcache/netcache_input/cache.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/cache.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/compile.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | p4c -b bmv2 -a v1model --std p4-14 netcache.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/ethernet.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/ethernet.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/heavy_hitter.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/heavy_hitter.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/includes/checksum.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/includes/checksum.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/includes/defines.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/includes/defines.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/includes/headers.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/includes/headers.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/includes/parsers.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/includes/parsers.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/ipv4.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/ipv4.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/netcache.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/netcache.json -------------------------------------------------------------------------------- /examples/netcache/netcache_input/netcache.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/netcache.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_input/netcache.p4i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/netcache.p4i -------------------------------------------------------------------------------- /examples/netcache/netcache_input/value.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_input/value.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/cache.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/cache.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/ethernet.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/ethernet.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/heavy_hitter.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/heavy_hitter.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/includes/checksum.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/includes/checksum.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/includes/defines.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/includes/defines.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/includes/headers.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/includes/headers.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/includes/parsers.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/includes/parsers.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/ipv4.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/ipv4.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/netcache.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/netcache.p4 -------------------------------------------------------------------------------- /examples/netcache/netcache_org/value.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache/netcache_org/value.p4 -------------------------------------------------------------------------------- /examples/netcache_modified/netcache_new.graph: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache_modified/netcache_new.graph -------------------------------------------------------------------------------- /examples/netcache_modified/netcache_old.graph: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/netcache_modified/netcache_old.graph -------------------------------------------------------------------------------- /examples/no2hit/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/no2hit/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/no2hit/no2hit_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/no2hit/no2hit_new.json -------------------------------------------------------------------------------- /examples/no2hit/no2hit_new.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/no2hit/no2hit_new.p4 -------------------------------------------------------------------------------- /examples/no2hit/no2hit_old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/no2hit/no2hit_old.json -------------------------------------------------------------------------------- /examples/no2hit/no2hit_old.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/no2hit/no2hit_old.p4 -------------------------------------------------------------------------------- /examples/normalization/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/normalization/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/normalization/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/normalization/normalization_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/normalization_new.json -------------------------------------------------------------------------------- /examples/normalization/normalization_new.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/normalization_new.p4 -------------------------------------------------------------------------------- /examples/normalization/normalization_old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/normalization_old.json -------------------------------------------------------------------------------- /examples/normalization/normalization_old.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/normalization_old.p4 -------------------------------------------------------------------------------- /examples/normalization/p4app.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/p4app.json -------------------------------------------------------------------------------- /examples/normalization/receive.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/receive.py -------------------------------------------------------------------------------- /examples/normalization/s1-commands.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/s1-commands.txt -------------------------------------------------------------------------------- /examples/normalization/send.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/normalization/send.py -------------------------------------------------------------------------------- /examples/switch2switch/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/switch2switch/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/switch2switch/switch2switch_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/switch2switch/switch2switch_new.json -------------------------------------------------------------------------------- /examples/switch2switch/switch2switch_new.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/switch2switch/switch2switch_new.p4 -------------------------------------------------------------------------------- /examples/switch2switch/switch2switch_old.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/switch2switch/switch2switch_old.json -------------------------------------------------------------------------------- /examples/switch2switch/switch2switch_old.p4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/switch2switch/switch2switch_old.p4 -------------------------------------------------------------------------------- /examples/synthesized_test1/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/synthesized_test1/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/synthesized_test1/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/synthesized_test1/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/synthesized_test1/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/synthesized_test1/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/synthesized_test1/synthesized_test1_new.graph: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/synthesized_test1/synthesized_test1_new.graph -------------------------------------------------------------------------------- /examples/synthesized_test1/synthesized_test1_old.graph: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/synthesized_test1/synthesized_test1_old.graph -------------------------------------------------------------------------------- /examples/test1/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test1/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/test1/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test1/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/test1/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test1/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/test1/test1_new.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test1/test1_new.txt -------------------------------------------------------------------------------- /examples/test1/test1_old.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test1/test1_old.txt -------------------------------------------------------------------------------- /examples/test2/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test2/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/test2/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test2/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/test2/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test2/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/test2/test2_new.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test2/test2_new.txt -------------------------------------------------------------------------------- /examples/test2/test2_old.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test2/test2_old.txt -------------------------------------------------------------------------------- /examples/test3/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test3/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/test3/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test3/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/test3/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test3/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/test3/test3_new.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test3/test3_new.txt -------------------------------------------------------------------------------- /examples/test3/test3_old.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test3/test3_old.txt -------------------------------------------------------------------------------- /examples/test4/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test4/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/test4/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test4/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/test4/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test4/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/test4/test4_new.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test4/test4_new.txt -------------------------------------------------------------------------------- /examples/test4/test4_old.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test4/test4_old.txt -------------------------------------------------------------------------------- /examples/test5/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test5/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/test5/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test5/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/test5/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test5/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/test5/test5_new.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test5/test5_new.txt -------------------------------------------------------------------------------- /examples/test5/test5_old.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test5/test5_old.txt -------------------------------------------------------------------------------- /examples/test6/command_ElemPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test6/command_ElemPlanner.txt -------------------------------------------------------------------------------- /examples/test6/command_ExecPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test6/command_ExecPlanner.txt -------------------------------------------------------------------------------- /examples/test6/command_ProgPlanner.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test6/command_ProgPlanner.txt -------------------------------------------------------------------------------- /examples/test6/test6_new.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test6/test6_new.txt -------------------------------------------------------------------------------- /examples/test6/test6_old.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/examples/test6/test6_old.txt -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/.gitignore -------------------------------------------------------------------------------- /src/Logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/Logger.py -------------------------------------------------------------------------------- /src/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/ast_based_synthetic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/ast_based_synthetic.py -------------------------------------------------------------------------------- /src/comp_commands_across_versions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/comp_commands_across_versions.py -------------------------------------------------------------------------------- /src/elem_planner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/elem_planner.py -------------------------------------------------------------------------------- /src/exec_planner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/exec_planner.py -------------------------------------------------------------------------------- /src/flexcore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/flexcore.py -------------------------------------------------------------------------------- /src/graph_tool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/graph_tool.py -------------------------------------------------------------------------------- /src/input_builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/input_builder.py -------------------------------------------------------------------------------- /src/json_to_nxGraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/json_to_nxGraph.py -------------------------------------------------------------------------------- /src/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/main.py -------------------------------------------------------------------------------- /src/planner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/planner.py -------------------------------------------------------------------------------- /src/prog_planner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/prog_planner.py -------------------------------------------------------------------------------- /src/run_all_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiarong0907/FlexCore/HEAD/src/run_all_example.py --------------------------------------------------------------------------------