Skip to content

Collection of multiple smaller issues - #62

Draft
dominikgeissler wants to merge 50 commits into
mainfrom
enh/54/christmas-collection
Draft

Collection of multiple smaller issues#62
dominikgeissler wants to merge 50 commits into
mainfrom
enh/54/christmas-collection

Conversation

@dominikgeissler

@dominikgeissler dominikgeissler commented Mar 6, 2025

Copy link
Copy Markdown
Collaborator

@dominikgeissler
dominikgeissler marked this pull request as ready for review March 6, 2025 14:14
@dominikgeissler dominikgeissler changed the title Collection of multiple smaller issues Draft: Collection of multiple smaller issues Mar 6, 2025
@dominikgeissler
dominikgeissler marked this pull request as draft March 6, 2025 14:24
@dominikgeissler
dominikgeissler marked this pull request as ready for review March 9, 2025 13:30
@dominikgeissler dominikgeissler changed the title Draft: Collection of multiple smaller issues Collection of multiple smaller issues Mar 9, 2025
Comment thread pgfexamples/equivalence/loopy/bit_flip_conditioning.pgcl
Comment thread pgfexamples/evt_invariants/faulty_decrement.pgcl

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why do we get issues?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

i dont know, this comment was there before I started working here, but I will try it out

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I executed it with the following command

python prodigy/cli.py --engine ginac main pgfexamples/inference/loopy/skip_random_walk.pgcl 

followed by a fixed iteration and it worked fine, im not sure if and where an issue exists

Comment thread pgfexamples/loop_equivalence/17_die_even.pgcl
Comment thread prodigy/analysis/instructionhandler/while_handler.py Outdated
Comment thread prodigy/cli.py Outdated
Comment thread pyproject.toml
jinja2 = "3.1.4"
rope = "^0.17.0"
pytest-cov = "^2.9.0"
pytest-ordering = "^0.6"

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this should not be necessary. We must investigate the issue related to this.

Comment thread pgfexamples/equivalence/loopy/nested_while.pgcl
Comment thread pgfexamples/equivalence/loopy/random_walk.pgcl
Comment thread pgfexamples/equivalence/loopy/sequential_loops.pgcl

@LKlinke LKlinke left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please see individual comments.

@dominikgeissler
dominikgeissler marked this pull request as draft March 10, 2025 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

compile_pgcl doesnt like boolean type variables Christmas issues

2 participants