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

Implemented the Symengine backend, added new benchmark script #46

Merged
merged 214 commits into from
Dec 10, 2024
Merged

Implemented the Symengine backend, added new benchmark script #46

merged 214 commits into from
Dec 10, 2024

Conversation

dominikgeissler
Copy link
Collaborator

@dominikgeissler dominikgeissler commented Nov 28, 2024 •
edited
Loading

Changelog

Added

  • Symengine backend & tests
  • New benchmark script

Changed

  • Python version bump from 3.9 to 3.11

Fixed

  • Some minor fixes in other distributions

Removed

Lutz Klinkenberg added 30 commits November 8, 2023 11:26
evt init
70874a4
output
bb4dbfb
added synthesis (wip)
9677922
refactor and added examples
ce809b1
added example
9b28642
minor
4046f34
added spuriosity heurstics for univariate cases.
6ac86a3
added benchmark examples
8a2f353
added correct poetry target for project
c9546f6
updated imports and prepared for strategy support
ce2bdb9
added strategy support and additional invariant synthesis options fro…
251be73 
…m cli
refactored instruction handlers to solve cyclic import via dependency…
8b7b074 
… injection
added support for showing spurious invariants.
7c7773f 
Also added initial distributions to benchmarks
changed examples and added style support for cleaning the current lin…
d399bc5 
…e in console
changed positivity heuristic for sums of rational functions
f77d18b
updated the invariant synthesis so the while handler can reuse the code.
b61b002
changed logging style.
3805f12
inserted the possibility to change the solvers.
2644735
changed style of factory classes as enums.
25a5a8e 
Also added support for solver implementations.
changed tests structure
c9b7710
engineering of project structure
bae0383
script output improved.
e1e5012
minor updates
83880a2
hashable states
489b3ff
added test case for iteration of multivariate fps in ginac.
ced5d9b
added nicer output for invariant synthesis in cli.
afa13bf
added additional output.
06fe2d2
z3 should be ablte to deal with synthesis problem right now.
148a832
only equality works here. Was a theoretical issue.
922a1f6
added an example that terminates only when x is even. (initiated with…
3585911 
… geometric dist)
dominikgeissler and others added 28 commits December 10, 2024 12:19
@dominikgeissler
Lint
1089bbf
@dominikgeissler
lint
a1b9a14
added file
3bd736e
@dominikgeissler
removed comment
de0e053
@dominikgeissler
removed lint errors
516bc07
@dominikgeissler
removed f-string
4501391
@dominikgeissler
fixed linting
0e77b69
@dominikgeissler
pylint ignores protected-access
267d471
@dominikgeissler
some mypy stuff
72a41bc
minor fix
72d3e61
@dominikgeissler
type hints
5412e64
@dominikgeissler
mypy
1ca2d56
@dominikgeissler
linter
f610ca9
@dominikgeissler
typing!
70a3519
@dominikgeissler
commented out test
e84142d
@LKlinke
Update main.yml
01cf3f4 
changed to python version 3.11 for CI action
@dominikgeissler
fixed doctest
8727c27
@dominikgeissler
bump to py3.11, removed doc creation (for now)
2c07e5d
@dominikgeissler
restored deleted pgfexamples
acab531
@LKlinke
Delete pgfexamples/ISSAC/caesar.pgcl
7a8a02e 
redundant
@LKlinke
Delete pgfexamples/ISSAC/evidence1.pgcl
545f499 
redundant
@LKlinke
Delete pgfexamples/ISSAC/evidence2.pgcl
b483482 
redundant
@LKlinke
Delete pgfexamples/ISSAC/function.pgcl
3529a66 
redundant
@LKlinke
Delete pgfexamples/ISSAC/grass.pgcl
a4917d0 
redundant
@LKlinke
Delete pgfexamples/ISSAC/trivial_iid_invariant.pgcl
3223833 
redundant
@dominikgeissler
removed files
84c700d
Merge branch 'symengine' of https://github.com/LKlinke/Prodigy into s…
c20a121 
…ymengine
fixed rebase issue
f2c4906
@LKlinke LKlinke merged commit 11c9fcc into main Dec 10, 2024
1 check passed
@LKlinke LKlinke deleted the symengine branch December 10, 2024 11:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@LKlinke LKlinke LKlinke approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@dominikgeissler @LKlinke @darionhaase