├── .gitignore ├── Arvada_logo_text.png ├── LICENSE ├── README.md ├── antlr_utils.py ├── bc-example ├── bc-wrapper.sh ├── test_set │ ├── test-0.ex │ ├── test-1.ex │ ├── test-10.ex │ ├── test-11.ex │ ├── test-12.ex │ ├── test-13.ex │ ├── test-14.ex │ ├── test-15.ex │ ├── test-16.ex │ ├── test-17.ex │ ├── test-18.ex │ ├── test-19.ex │ ├── test-2.ex │ ├── test-20.ex │ ├── test-21.ex │ ├── test-22.ex │ ├── test-23.ex │ ├── test-24.ex │ ├── test-25.ex │ ├── test-26.ex │ ├── test-27.ex │ ├── test-28.ex │ ├── test-29.ex │ ├── test-3.ex │ ├── test-30.ex │ ├── test-31.ex │ ├── test-32.ex │ ├── test-33.ex │ ├── test-34.ex │ ├── test-35.ex │ ├── test-36.ex │ ├── test-37.ex │ ├── test-38.ex │ ├── test-39.ex │ ├── test-4.ex │ ├── test-40.ex │ ├── test-41.ex │ ├── test-42.ex │ ├── test-43.ex │ ├── test-44.ex │ ├── test-45.ex │ ├── test-46.ex │ ├── test-47.ex │ ├── test-48.ex │ ├── test-49.ex │ ├── test-5.ex │ ├── test-50.ex │ ├── test-51.ex │ ├── test-52.ex │ ├── test-53.ex │ ├── test-54.ex │ ├── test-55.ex │ ├── test-56.ex │ ├── test-57.ex │ ├── test-58.ex │ ├── test-59.ex │ ├── test-6.ex │ ├── test-60.ex │ ├── test-61.ex │ ├── test-62.ex │ ├── test-63.ex │ ├── test-64.ex │ ├── test-65.ex │ ├── test-66.ex │ ├── test-67.ex │ ├── test-68.ex │ ├── test-69.ex │ ├── test-7.ex │ ├── test-70.ex │ ├── test-71.ex │ ├── test-72.ex │ ├── test-73.ex │ ├── test-74.ex │ ├── test-75.ex │ ├── test-76.ex │ ├── test-77.ex │ ├── test-78.ex │ ├── test-79.ex │ ├── test-8.ex │ ├── test-80.ex │ ├── test-81.ex │ ├── test-82.ex │ ├── test-83.ex │ ├── test-84.ex │ ├── test-85.ex │ ├── test-86.ex │ ├── test-87.ex │ ├── test-88.ex │ ├── test-89.ex │ ├── test-9.ex │ ├── test-90.ex │ ├── test-91.ex │ ├── test-92.ex │ ├── test-93.ex │ ├── test-94.ex │ ├── test-95.ex │ ├── test-96.ex │ ├── test-97.ex │ ├── test-98.ex │ └── test-99.ex └── train_set │ ├── guide-0.ex │ ├── guide-1.ex │ ├── guide-2.ex │ ├── guide-3.ex │ ├── guide-4.ex │ ├── guide-5.ex │ ├── guide-6.ex │ └── guide-7.ex ├── bubble.py ├── convert.py ├── eval.py ├── evaluation ├── grammar.py ├── mine.py └── stats.py ├── grammar.py ├── graph.py ├── group.py ├── input.py ├── lark-examples ├── README.md ├── arith.lark ├── fol.lark ├── json.lark ├── lisp.lark ├── mathexpr.lark ├── test_lark.py ├── turtle.lark ├── while.lark └── xml.lark ├── next_tid.py ├── oracle.py ├── parse_tree.py ├── replacement_utils.py ├── sample_lark.py ├── search.py ├── start.py ├── text-paren-example ├── README.md ├── parser.py ├── test_set │ ├── test-0.ex │ ├── test-1.ex │ ├── test-2.ex │ └── test-3.ex └── train_set │ ├── guide-0.ex │ └── guide-1.ex ├── token_expansion.py └── union.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/.gitignore -------------------------------------------------------------------------------- /Arvada_logo_text.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/Arvada_logo_text.png -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/README.md -------------------------------------------------------------------------------- /antlr_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/antlr_utils.py -------------------------------------------------------------------------------- /bc-example/bc-wrapper.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/bc-wrapper.sh -------------------------------------------------------------------------------- /bc-example/test_set/test-0.ex: -------------------------------------------------------------------------------- 1 | 288 -------------------------------------------------------------------------------- /bc-example/test_set/test-1.ex: -------------------------------------------------------------------------------- 1 | 9 -------------------------------------------------------------------------------- /bc-example/test_set/test-10.ex: -------------------------------------------------------------------------------- 1 | (9573) -------------------------------------------------------------------------------- /bc-example/test_set/test-11.ex: -------------------------------------------------------------------------------- 1 | 7 -------------------------------------------------------------------------------- /bc-example/test_set/test-12.ex: -------------------------------------------------------------------------------- 1 | 8 -------------------------------------------------------------------------------- /bc-example/test_set/test-13.ex: -------------------------------------------------------------------------------- 1 | 66493 -------------------------------------------------------------------------------- /bc-example/test_set/test-14.ex: -------------------------------------------------------------------------------- 1 | (8) -------------------------------------------------------------------------------- /bc-example/test_set/test-15.ex: -------------------------------------------------------------------------------- 1 | ((0))*(4*9) -------------------------------------------------------------------------------- /bc-example/test_set/test-16.ex: -------------------------------------------------------------------------------- 1 | 3 -------------------------------------------------------------------------------- /bc-example/test_set/test-17.ex: -------------------------------------------------------------------------------- 1 | 3+0+2+4*5 -------------------------------------------------------------------------------- /bc-example/test_set/test-18.ex: -------------------------------------------------------------------------------- 1 | (33) -------------------------------------------------------------------------------- /bc-example/test_set/test-19.ex: -------------------------------------------------------------------------------- 1 | (2) -------------------------------------------------------------------------------- /bc-example/test_set/test-2.ex: -------------------------------------------------------------------------------- 1 | (3)+4+7+(7) -------------------------------------------------------------------------------- /bc-example/test_set/test-20.ex: -------------------------------------------------------------------------------- 1 | 6 -------------------------------------------------------------------------------- /bc-example/test_set/test-21.ex: -------------------------------------------------------------------------------- 1 | (26*49) -------------------------------------------------------------------------------- /bc-example/test_set/test-22.ex: -------------------------------------------------------------------------------- 1 | 6+(1)+5 -------------------------------------------------------------------------------- /bc-example/test_set/test-23.ex: -------------------------------------------------------------------------------- 1 | 0 -------------------------------------------------------------------------------- /bc-example/test_set/test-24.ex: -------------------------------------------------------------------------------- 1 | 826+(1)+(4) -------------------------------------------------------------------------------- /bc-example/test_set/test-25.ex: -------------------------------------------------------------------------------- 1 | 41598 -------------------------------------------------------------------------------- /bc-example/test_set/test-26.ex: -------------------------------------------------------------------------------- 1 | (((6))*0+5) -------------------------------------------------------------------------------- /bc-example/test_set/test-27.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-27.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-28.ex: -------------------------------------------------------------------------------- 1 | (0*9)*477 -------------------------------------------------------------------------------- /bc-example/test_set/test-29.ex: -------------------------------------------------------------------------------- 1 | 3703 -------------------------------------------------------------------------------- /bc-example/test_set/test-3.ex: -------------------------------------------------------------------------------- 1 | 2*7*4+95 -------------------------------------------------------------------------------- /bc-example/test_set/test-30.ex: -------------------------------------------------------------------------------- 1 | 68 -------------------------------------------------------------------------------- /bc-example/test_set/test-31.ex: -------------------------------------------------------------------------------- 1 | 715*2 -------------------------------------------------------------------------------- /bc-example/test_set/test-32.ex: -------------------------------------------------------------------------------- 1 | 2+3*1+(4) -------------------------------------------------------------------------------- /bc-example/test_set/test-33.ex: -------------------------------------------------------------------------------- 1 | (4*0*(4*3)) -------------------------------------------------------------------------------- /bc-example/test_set/test-34.ex: -------------------------------------------------------------------------------- 1 | 2 -------------------------------------------------------------------------------- /bc-example/test_set/test-35.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-35.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-36.ex: -------------------------------------------------------------------------------- 1 | 5+0 -------------------------------------------------------------------------------- /bc-example/test_set/test-37.ex: -------------------------------------------------------------------------------- 1 | (6*(1+5))*7+(622*754+(3*5)) -------------------------------------------------------------------------------- /bc-example/test_set/test-38.ex: -------------------------------------------------------------------------------- 1 | 641 -------------------------------------------------------------------------------- /bc-example/test_set/test-39.ex: -------------------------------------------------------------------------------- 1 | ((31)) -------------------------------------------------------------------------------- /bc-example/test_set/test-4.ex: -------------------------------------------------------------------------------- 1 | 490 -------------------------------------------------------------------------------- /bc-example/test_set/test-40.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-40.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-41.ex: -------------------------------------------------------------------------------- 1 | (57) -------------------------------------------------------------------------------- /bc-example/test_set/test-42.ex: -------------------------------------------------------------------------------- 1 | 82 -------------------------------------------------------------------------------- /bc-example/test_set/test-43.ex: -------------------------------------------------------------------------------- 1 | 5+((133))+(55) -------------------------------------------------------------------------------- /bc-example/test_set/test-44.ex: -------------------------------------------------------------------------------- 1 | (5501348)+567659 -------------------------------------------------------------------------------- /bc-example/test_set/test-45.ex: -------------------------------------------------------------------------------- 1 | 10+82+58+(726)+3+((9)) -------------------------------------------------------------------------------- /bc-example/test_set/test-46.ex: -------------------------------------------------------------------------------- 1 | (5)*8*4+0+(1)*0 -------------------------------------------------------------------------------- /bc-example/test_set/test-47.ex: -------------------------------------------------------------------------------- 1 | (47*7+4+(2)*2*5*0+5+6*4*2+((9)+7+4)) -------------------------------------------------------------------------------- /bc-example/test_set/test-48.ex: -------------------------------------------------------------------------------- 1 | ((9*2*5+7)+(3+5*((2))+3)) -------------------------------------------------------------------------------- /bc-example/test_set/test-49.ex: -------------------------------------------------------------------------------- 1 | ((23+2+6)*(8)*5)*36 -------------------------------------------------------------------------------- /bc-example/test_set/test-5.ex: -------------------------------------------------------------------------------- 1 | 0+(8*8) -------------------------------------------------------------------------------- /bc-example/test_set/test-50.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-50.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-51.ex: -------------------------------------------------------------------------------- 1 | (0) -------------------------------------------------------------------------------- /bc-example/test_set/test-52.ex: -------------------------------------------------------------------------------- 1 | ((1+6)*(14))+9+0 -------------------------------------------------------------------------------- /bc-example/test_set/test-53.ex: -------------------------------------------------------------------------------- 1 | ((753)) -------------------------------------------------------------------------------- /bc-example/test_set/test-54.ex: -------------------------------------------------------------------------------- 1 | 44446 -------------------------------------------------------------------------------- /bc-example/test_set/test-55.ex: -------------------------------------------------------------------------------- 1 | 90 -------------------------------------------------------------------------------- /bc-example/test_set/test-56.ex: -------------------------------------------------------------------------------- 1 | 530 -------------------------------------------------------------------------------- /bc-example/test_set/test-57.ex: -------------------------------------------------------------------------------- 1 | ((71+60)) -------------------------------------------------------------------------------- /bc-example/test_set/test-58.ex: -------------------------------------------------------------------------------- 1 | 40+((3*4)*(79)+133) -------------------------------------------------------------------------------- /bc-example/test_set/test-59.ex: -------------------------------------------------------------------------------- 1 | 38+78 -------------------------------------------------------------------------------- /bc-example/test_set/test-6.ex: -------------------------------------------------------------------------------- 1 | (6)*4*127 -------------------------------------------------------------------------------- /bc-example/test_set/test-60.ex: -------------------------------------------------------------------------------- 1 | (((6+4)))+((1)*2+(6*1))+4 -------------------------------------------------------------------------------- /bc-example/test_set/test-61.ex: -------------------------------------------------------------------------------- 1 | (0*3*5*(6)*8+4+5*9)+7381*(8) -------------------------------------------------------------------------------- /bc-example/test_set/test-62.ex: -------------------------------------------------------------------------------- 1 | 4 -------------------------------------------------------------------------------- /bc-example/test_set/test-63.ex: -------------------------------------------------------------------------------- 1 | 263+(4*8)+8+5*4997*3*0 -------------------------------------------------------------------------------- /bc-example/test_set/test-64.ex: -------------------------------------------------------------------------------- 1 | 5 -------------------------------------------------------------------------------- /bc-example/test_set/test-65.ex: -------------------------------------------------------------------------------- 1 | (((939+(68)))) -------------------------------------------------------------------------------- /bc-example/test_set/test-66.ex: -------------------------------------------------------------------------------- 1 | 91621 -------------------------------------------------------------------------------- /bc-example/test_set/test-67.ex: -------------------------------------------------------------------------------- 1 | ((4629514+80+((33)+(9*(0+5)))+6938)) -------------------------------------------------------------------------------- /bc-example/test_set/test-68.ex: -------------------------------------------------------------------------------- 1 | (0)+34951 -------------------------------------------------------------------------------- /bc-example/test_set/test-69.ex: -------------------------------------------------------------------------------- 1 | (28) -------------------------------------------------------------------------------- /bc-example/test_set/test-7.ex: -------------------------------------------------------------------------------- 1 | 815 -------------------------------------------------------------------------------- /bc-example/test_set/test-70.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-70.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-71.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-71.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-72.ex: -------------------------------------------------------------------------------- 1 | (((6181))) -------------------------------------------------------------------------------- /bc-example/test_set/test-73.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-73.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-74.ex: -------------------------------------------------------------------------------- 1 | 51023 -------------------------------------------------------------------------------- /bc-example/test_set/test-75.ex: -------------------------------------------------------------------------------- 1 | ((208)+0) -------------------------------------------------------------------------------- /bc-example/test_set/test-76.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-76.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-77.ex: -------------------------------------------------------------------------------- 1 | ((564)) -------------------------------------------------------------------------------- /bc-example/test_set/test-78.ex: -------------------------------------------------------------------------------- 1 | 83676 -------------------------------------------------------------------------------- /bc-example/test_set/test-79.ex: -------------------------------------------------------------------------------- 1 | ((491)*943) -------------------------------------------------------------------------------- /bc-example/test_set/test-8.ex: -------------------------------------------------------------------------------- 1 | ((50)) -------------------------------------------------------------------------------- /bc-example/test_set/test-80.ex: -------------------------------------------------------------------------------- 1 | 633 -------------------------------------------------------------------------------- /bc-example/test_set/test-81.ex: -------------------------------------------------------------------------------- 1 | 1+(((92687))+1449+450+6*(70)) -------------------------------------------------------------------------------- /bc-example/test_set/test-82.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-82.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-83.ex: -------------------------------------------------------------------------------- 1 | 80 -------------------------------------------------------------------------------- /bc-example/test_set/test-84.ex: -------------------------------------------------------------------------------- 1 | 3736 -------------------------------------------------------------------------------- /bc-example/test_set/test-85.ex: -------------------------------------------------------------------------------- 1 | (((0))) -------------------------------------------------------------------------------- /bc-example/test_set/test-86.ex: -------------------------------------------------------------------------------- 1 | (24) -------------------------------------------------------------------------------- /bc-example/test_set/test-87.ex: -------------------------------------------------------------------------------- 1 | ((6)*((1+6))+9+((47)))+8*4 -------------------------------------------------------------------------------- /bc-example/test_set/test-88.ex: -------------------------------------------------------------------------------- 1 | 7045661 -------------------------------------------------------------------------------- /bc-example/test_set/test-89.ex: -------------------------------------------------------------------------------- 1 | ((6*(8)))+9 -------------------------------------------------------------------------------- /bc-example/test_set/test-9.ex: -------------------------------------------------------------------------------- 1 | 198 -------------------------------------------------------------------------------- /bc-example/test_set/test-90.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-90.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-91.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-91.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-92.ex: -------------------------------------------------------------------------------- 1 | ((11)) -------------------------------------------------------------------------------- /bc-example/test_set/test-93.ex: -------------------------------------------------------------------------------- 1 | 1 -------------------------------------------------------------------------------- /bc-example/test_set/test-94.ex: -------------------------------------------------------------------------------- 1 | (1963)+807*(4)*19 -------------------------------------------------------------------------------- /bc-example/test_set/test-95.ex: -------------------------------------------------------------------------------- 1 | 7+(69113)*172*((((5)))+1) -------------------------------------------------------------------------------- /bc-example/test_set/test-96.ex: -------------------------------------------------------------------------------- 1 | 6283+(0) -------------------------------------------------------------------------------- /bc-example/test_set/test-97.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bc-example/test_set/test-97.ex -------------------------------------------------------------------------------- /bc-example/test_set/test-98.ex: -------------------------------------------------------------------------------- 1 | 21877 -------------------------------------------------------------------------------- /bc-example/test_set/test-99.ex: -------------------------------------------------------------------------------- 1 | (7) -------------------------------------------------------------------------------- /bc-example/train_set/guide-0.ex: -------------------------------------------------------------------------------- 1 | ((6+4*3*8*4)) -------------------------------------------------------------------------------- /bc-example/train_set/guide-1.ex: -------------------------------------------------------------------------------- 1 | (78) -------------------------------------------------------------------------------- /bc-example/train_set/guide-2.ex: -------------------------------------------------------------------------------- 1 | 9 -------------------------------------------------------------------------------- /bc-example/train_set/guide-3.ex: -------------------------------------------------------------------------------- 1 | 26 -------------------------------------------------------------------------------- /bc-example/train_set/guide-4.ex: -------------------------------------------------------------------------------- 1 | 1 -------------------------------------------------------------------------------- /bc-example/train_set/guide-5.ex: -------------------------------------------------------------------------------- 1 | ((162)) -------------------------------------------------------------------------------- /bc-example/train_set/guide-6.ex: -------------------------------------------------------------------------------- 1 | 49 -------------------------------------------------------------------------------- /bc-example/train_set/guide-7.ex: -------------------------------------------------------------------------------- 1 | 8+(((4)+7+9))*7+(970) -------------------------------------------------------------------------------- /bubble.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/bubble.py -------------------------------------------------------------------------------- /convert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/convert.py -------------------------------------------------------------------------------- /eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/eval.py -------------------------------------------------------------------------------- /evaluation/grammar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/evaluation/grammar.py -------------------------------------------------------------------------------- /evaluation/mine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/evaluation/mine.py -------------------------------------------------------------------------------- /evaluation/stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/evaluation/stats.py -------------------------------------------------------------------------------- /grammar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/grammar.py -------------------------------------------------------------------------------- /graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/graph.py -------------------------------------------------------------------------------- /group.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/group.py -------------------------------------------------------------------------------- /input.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/input.py -------------------------------------------------------------------------------- /lark-examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/README.md -------------------------------------------------------------------------------- /lark-examples/arith.lark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/arith.lark -------------------------------------------------------------------------------- /lark-examples/fol.lark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/fol.lark -------------------------------------------------------------------------------- /lark-examples/json.lark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/json.lark -------------------------------------------------------------------------------- /lark-examples/lisp.lark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/lisp.lark -------------------------------------------------------------------------------- /lark-examples/mathexpr.lark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/mathexpr.lark -------------------------------------------------------------------------------- /lark-examples/test_lark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/test_lark.py -------------------------------------------------------------------------------- /lark-examples/turtle.lark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/turtle.lark -------------------------------------------------------------------------------- /lark-examples/while.lark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/while.lark -------------------------------------------------------------------------------- /lark-examples/xml.lark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/lark-examples/xml.lark -------------------------------------------------------------------------------- /next_tid.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/next_tid.py -------------------------------------------------------------------------------- /oracle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/oracle.py -------------------------------------------------------------------------------- /parse_tree.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/parse_tree.py -------------------------------------------------------------------------------- /replacement_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/replacement_utils.py -------------------------------------------------------------------------------- /sample_lark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/sample_lark.py -------------------------------------------------------------------------------- /search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/search.py -------------------------------------------------------------------------------- /start.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/start.py -------------------------------------------------------------------------------- /text-paren-example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/text-paren-example/README.md -------------------------------------------------------------------------------- /text-paren-example/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/text-paren-example/parser.py -------------------------------------------------------------------------------- /text-paren-example/test_set/test-0.ex: -------------------------------------------------------------------------------- 1 | pnp -------------------------------------------------------------------------------- /text-paren-example/test_set/test-1.ex: -------------------------------------------------------------------------------- 1 | n -------------------------------------------------------------------------------- /text-paren-example/test_set/test-2.ex: -------------------------------------------------------------------------------- 1 | nopnp -------------------------------------------------------------------------------- /text-paren-example/test_set/test-3.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/text-paren-example/test_set/test-3.ex -------------------------------------------------------------------------------- /text-paren-example/train_set/guide-0.ex: -------------------------------------------------------------------------------- 1 | nopnp -------------------------------------------------------------------------------- /text-paren-example/train_set/guide-1.ex: -------------------------------------------------------------------------------- 1 | pnonp -------------------------------------------------------------------------------- /token_expansion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/token_expansion.py -------------------------------------------------------------------------------- /union.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neil-kulkarni/arvada/HEAD/union.py --------------------------------------------------------------------------------