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

Improve LS planning #89

Open
eclipse-viatra-bot opened this issue Mar 12, 2024 · 6 comments
Open

Improve LS planning #89

eclipse-viatra-bot opened this issue Mar 12, 2024 · 6 comments
Labels
bugzilla Issues migrated from Eclipse bugzilla. Query Issues related to the query component of VIATRA, including runtime or pattern language issues.

Comments

@eclipse-viatra-bot
Copy link

| --- | --- |
| Bugzilla Link | 538741 |
| Status | NEW |
| Importance | P3 normal |
| Reported | Sep 06, 2018 11:25 EDT |
| Modified | Nov 23, 2020 08:30 EDT |
| Depends on | 538744, 538742, 538743, 539785, 540915 |
| Reporter | Gabor Bergmann |

Description

Tracking ticket for individual improvements
@eclipse-viatra-bot eclipse-viatra-bot added the bugzilla Issues migrated from Eclipse bugzilla. label Mar 12, 2024
@eclipse-viatra-bot
Copy link
Author

By Gabor Bergmann on Oct 09, 2018 10:41

Further ideas, currently without explicit tickets:

  • use type inferrer to cull superfluous steps

  • use type inferrer to detect subtype filters and estimate match probability (as branching factor < 1) based on instance statistics; depends on 538744

  • use a version of PBodyNormalizer that applies weakened alternatives to replace certain unary indexer lookups with type checks

  • long jump backtracking (up to last parameter variable; more advanced: up to last variable that has an influence on the sufffix)

  • use memoization for executing LS-to-LS pattern calls (or any subsequence of steps)

@eclipse-viatra-bot eclipse-viatra-bot added legacy Query Issues related to the query component of VIATRA, including runtime or pattern language issues. labels Mar 12, 2024
@eclipse-viatra-bot
Copy link
Author

By Gabor Bergmann on Oct 14, 2018 07:43

Commit 5f8ae96 of Gerrit Change I3f7fa4cae95d1d3ea3fda2d4f62eef592a37604f, while mislabeled, actually belongs here.

https://git.eclipse.org/r/#/c/130850/\
http://git.eclipse.org/c/viatra/org.eclipse.viatra.git/commit/?id=5f8ae96a96ed04749256bfa3c63050facc6d8fc6

@eclipse-viatra-bot
Copy link
Author

By Zoltan Ujhelyi on May 27, 2019 07:49

Bugzilla cleanup.

@eclipse-viatra-bot
Copy link
Author

By Zoltan Ujhelyi on Nov 20, 2019 05:51

Postponing issues to the next release.

@eclipse-viatra-bot
Copy link
Author

By Zoltan Ujhelyi on May 18, 2020 13:04

Postponing issues that will not be solved for version 2.5.

@eclipse-viatra-bot
Copy link
Author

By Zoltan Ujhelyi on Nov 23, 2020 08:30

Mass postponing of issues to the 2.6 timeframe.

ujhelyiz pushed a commit that referenced this issue Mar 18, 2024
@bergmanngabor @ujhelyiz
Use statistics in the rest of the LS cost function #89
8cd1ddd 
Change-Id: Ia8ef06380399ffa4dd896f08c5051cc6acd1c356
Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=538742
Signed-off-by: bergmann <bergmann@mit.bme.hu>
@ujhelyiz ujhelyiz mentioned this issue Mar 18, 2024
Draft
@ujhelyiz ujhelyiz removed the legacy label Mar 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bugzilla Issues migrated from Eclipse bugzilla. Query Issues related to the query component of VIATRA, including runtime or pattern language issues.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ujhelyiz @eclipse-viatra-bot