73 develop a choco backend #76
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…more free variables than necessary, so the enumeration is producing an enormous amount of useless models. Adding a cube during resolution seems to cause errors. So need to consider another formalization of the problem (without the encoding mechanism).
…ion is unsound. Provide a corrected version.
GroupedLitVersion in previous version was not correct. Next actions: - Ensure correctness on MySys for both methods and solvers - Compute the errors w.r.t. to old version and validate the results of the new version
GroupedLitVersion in previous version was not correct. Next actions: - Ensure correctness on MySys for both methods and solvers - Compute the errors w.r.t. to old version and validate the results of the new version
Put all combinations of computation in KeystoneAnalyseTest
Avoid useless model enumeration in trivial solution computation for GroupedLitInterferenceCalculusProblem
…e exception is observed for k=5
Add exporter of multi-transaction service graph
…considered during CI, another one checking all interference (but several hours of computing)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Please indicate whether this pull request [adds/removes/fixes/replaces] the [feature/bug/etc].
What type of pull request is this? (check all applicable)
Related Tickets & Documents
If possible ensure that you have provided in your commit message the issue id (
available here) this pull request fixes,
for instance to refer to issue #42 you can do:
git commit -m "solving issue #42 with ..."Check here
for more information
Added tests?
Added to documentation?
Do we need to update pml analyzer version?
Is this new version should be released as soon as possible?