gradual-verification gradual-TEAL issues - Githubissues

gradual-verification / gradual-TEAL

Gradual Verification for Teal

Mozilla Public License 2.0

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Getting the new parse structure on typing branch

#8 janpaulpl closed 1 year ago
0
`isLibrary` re-implementation

#7 janpaulpl opened 1 year ago
0
Type-inference algorithm

#6 janpaulpl opened 1 year ago
2
Multi-line comments don't parse

#5 janpaulpl opened 1 year ago
0
Update

#4 janpaulpl closed 1 year ago
0
Problem with writing comments below "import libraries"

#3 JudySun233 opened 1 year ago
1
PyTEAL Imports

#2 janpaulpl closed 1 year ago
1
Single imports transform to IR

#1 janpaulpl closed 1 year ago
0