Dataset

[Parniaan]

• Use CodeSearchNet python examples and Dafny-of-Python to convert python functions blocks to Dafny
• Add examples from program proofs

[Parniaan]

Updated:

• Add more filesystem scenarios to tests
• Use Mitre CWE cases
• Add proper JSON for dataset

[Parniaan]

Updated:

• Add more filesystem scenarios to tests
• Use Mitre CWE cases
• Add proper JSON for dataset
• All Filesystem.dfy files should have same functions and methods (check before finalizing the filesystem)