Spider Execution bug fixes; Added new annotations for spider (some need to be revised with spider execution change) - #17

Merged

niansong1996 merged 2 commits into

ansong/annotation-devfrom

stephen/spider-annotation-dev

Dec 2, 2022

Commits on Dec 1, 2022

new annotations for spider (need to revise some with new execution); debugged spider execution capitalization issues and exec match issues with numpy int not being detected
StephenYin01
committed
141e214

Commits on Dec 2, 2022

fixed annotation examples
StephenYin01
committed
7657ae2