Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Missing System_ when compiling to Python with --standard-libraries #5943

Open
fabiomadge opened this issue Nov 28, 2024 · 0 comments
Open

Missing System_ when compiling to Python with --standard-libraries #5943

fabiomadge opened this issue Nov 28, 2024 · 0 comments
Labels
during 2: compilation of correct program Dafny rejects a valid program during compilation kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label lang: python Dafny's Python transpiler and its runtime part: CLI interacting with Dafny on the command line part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag

Comments

@fabiomadge
Copy link
Collaborator

Dafny version

master

Code to produce this issue

No response

Command to run and resulting output

dafny translate py Any.dfy --standard-libraries

What happened?

The code generated doesn't run on its own, because it lacks part of the runtime.

What type of operating system are you experiencing the problem on?

Mac
@fabiomadge fabiomadge added kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag lang: python Dafny's Python transpiler and its runtime part: CLI interacting with Dafny on the command line during 2: compilation of correct program Dafny rejects a valid program during compilation labels Nov 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
during 2: compilation of correct program Dafny rejects a valid program during compilation kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label lang: python Dafny's Python transpiler and its runtime part: CLI interacting with Dafny on the command line part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@fabiomadge