Skip to content
Back to pull request #6102

Enable generating a parsed AST for Dafny, and a deserializer for that #4505

Sign in to view logs

Enable generating a parsed AST for Dafny, and a deserializer for that

Enable generating a parsed AST for Dafny, and a deserializer for that #4505

build

build
succeeded Feb 12, 2025 in 19m 34s