Add the axiomatic collection models as an in-repo maven module - #47
Draft
tautschnig wants to merge 1 commit into
Draft
Add the axiomatic collection models as an in-repo maven module#47tautschnig wants to merge 1 commit into
tautschnig wants to merge 1 commit into
Conversation
Move the axiomatic HashMap/HashSet/LinkedHashMap models (SMT-array-theory stubs used with JBMC's --axiomatic-collections lowering) into this repo as a standalone module under axiomatic/, producing axiomatic-models.jar. The module is deliberately NOT aggregated into the root build: the jar contains classes with the same fully-qualified names as core-models.jar (the FQNs must shadow java.util.* for JBMC class resolution), so the two jars are built independently and only ever combined by ordered classpath (axiomatic-models.jar before core-models.jar), per axiomatic/README.md. Build: mvn -f axiomatic/pom.xml package Co-authored-by: Kiro <kiro-agent@users.noreply.github.com>
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
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.
Move the axiomatic HashMap/HashSet/LinkedHashMap models (SMT-array-theory stubs used with JBMC's --axiomatic-collections lowering) into this repo as a standalone module under axiomatic/, producing axiomatic-models.jar. The module is deliberately NOT aggregated into the root build: the jar contains classes with the same fully-qualified names as core-models.jar (the FQNs must shadow java.util.* for JBMC class resolution), so the two jars are built independently and only ever combined by ordered classpath (axiomatic-models.jar before core-models.jar), per axiomatic/README.md.
Build: mvn -f axiomatic/pom.xml package