-
Notifications
You must be signed in to change notification settings - Fork 25
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.
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
Abbreviations Manager #3202
Open
wadoon
wants to merge
10
commits into
main
Choose a base branch
from
weigl/abbrevmgr
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Abbreviations Manager #3202
Commits on Jul 14, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 4c3fb6c - Browse repository at this point
Copy the full SHA 4c3fb6cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2c3a88e - Browse repository at this point
Copy the full SHA 2c3a88eView commit details
Commits on Jul 16, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 25e2672 - Browse repository at this point
Copy the full SHA 25e2672View commit details
Commits on Aug 21, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 4f4770d - Browse repository at this point
Copy the full SHA 4f4770dView commit details -
Merge remote-tracking branch 'origin/main' into weigl/abbrevmgr
# Conflicts: # key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/DefaultBuiltInRuleMenuItem.java # key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/InnerNodeViewMenu.java # key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/InsertHiddenTacletMenuItem.java # key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/InsertSystemInvariantTacletMenuItem.java # key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/MenuItemForTwoModeRules.java # key.ui/src/main/java/de/uka/ilkd/key/gui/smt/SMTMenuItem.java
Configuration menu - View commit details
-
Copy full SHA for 5c7e4d2 - Browse repository at this point
Copy the full SHA 5c7e4d2View commit details
Commits on Nov 19, 2023
-
Merge remote-tracking branch 'origin/main' into weigl/abbrevmgr
* origin/main: (207 commits) Use Amazon's Corretto add caching for gradle dependencies Update to Java 21 Runtime for testing Use pattern matching to avoid cast Change default notification setting to unfocused Renaming from reviewer suggestion (got lost when splitting the PR) Minor cleanup Prevent possible NullPointerException. Cleanup. Remove last usage of the legacy matcher. Check only new terms for well-typedness Move static metavariable cache to service caches Minor cleanup incl. spotless changes Use array of assumes instantiations Preparation for parallel prover engine - make Strategies stateless by introducing a specific explicit state object for TermBuffers and the Backtracking Manager This will allow strategies to execute in parallel Update keyext.ui.testgen/src/main/java/de/uka/ilkd/key/gui/testgen/CounterExampleAction.java Update keyext.ui.testgen/src/main/java/de/uka/ilkd/key/gui/testgen/TGInfoDialog.java Some cleanup and proper switching to automode Avoid access of non-private field in synchronized context Pruning a closed proof (and reopening it) did not update the proof status in the task tree and also did not select any node/goal. Minor clean up ... # Conflicts: # key.core/src/main/java/de/uka/ilkd/key/pp/AbbrevMap.java # key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/CurrentGoalViewMenu.java # key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentViewMenu.java # key.ui/src/main/resources/META-INF/services/de.uka.ilkd.key.gui.extension.api.KeYGuiExtension
Configuration menu - View commit details
-
Copy full SHA for 939225b - Browse repository at this point
Copy the full SHA 939225bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 96e42b9 - Browse repository at this point
Copy the full SHA 96e42b9View commit details
Commits on Nov 27, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d1c072a - Browse repository at this point
Copy the full SHA d1c072aView commit details
Commits on Dec 3, 2023
-
Configuration menu - View commit details
-
Copy full SHA for ee98653 - Browse repository at this point
Copy the full SHA ee98653View commit details
Commits on Feb 3, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 6a80690 - Browse repository at this point
Copy the full SHA 6a80690View commit details
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.