Files

 master

/

build

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

kfriedberger

OpenSMT: rename library, i.e., shorten "java" to "j".

Jan 19, 2025

d7a3059 · Jan 19, 2025

History

History

/

build

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
build-publish-solvers		build-publish-solvers	OpenSMT: rename library, i.e., shorten "java" to "j".	Jan 19, 2025
SpotBugs.exclude.xml		SpotBugs.exclude.xml	revert too much sync :-)	Oct 16, 2024
build-checkstyle.xml		build-checkstyle.xml	apply latest changes from the SosyLab project-template.	Apr 14, 2023
build-compile.xml		build-compile.xml	update basic project files from Sosy-Lab project template.	Jun 27, 2024
build-documentation.xml		build-documentation.xml	sync with central project repository.	Jul 9, 2020
build-format-source.xml		build-format-source.xml	Sync build files from SoSy-Lab Java Project Template	Jan 9, 2023
build-ivy.xml		build-ivy.xml	Merge remote-tracking branch 'origin/master' into 380-multi-architect…	Oct 20, 2024
build-jar.xml		build-jar.xml	restructure variables in build-scripts.	Jul 10, 2020
build-junit.xml		build-junit.xml	sync with central project repository.	Jul 9, 2020
build-maven-publish.xml		build-maven-publish.xml	OpenSMT: rename library, i.e., shorten "java" to "j".	Jan 19, 2025
build-publish-solvers.xml		build-publish-solvers.xml	Bitwuzla: Cleaned up some unnecessary changes.	Apr 9, 2024
build-publish.xml		build-publish.xml	Revert incorrect merge"	Apr 9, 2024
build-spotbugs.xml		build-spotbugs.xml	sync with central project repository.	Jul 9, 2020
build-version.xml		build-version.xml	sync with central project repository.	Jul 9, 2020
checkstyle.test.xml		checkstyle.test.xml	sync further files from sosy-lab java-project-template.	Oct 16, 2024
checkstyle.xml		checkstyle.xml	sync further files from sosy-lab java-project-template.	Oct 16, 2024
checkstyle.xsl		checkstyle.xsl	sync with central project repository.	Jul 9, 2020
deploy-gh-pages.sh		deploy-gh-pages.sh	sync from SoSy project template.	May 13, 2022
gitlab-ci.Dockerfile.jdk-11		gitlab-ci.Dockerfile.jdk-11	update basic project files from Sosy-Lab project template.	Jun 27, 2024
gitlab-ci.Dockerfile.jdk-17		gitlab-ci.Dockerfile.jdk-17	update basic project files from Sosy-Lab project template.	Jun 27, 2024
gitlab-ci.Dockerfile.jdk-21		gitlab-ci.Dockerfile.jdk-21	update basic project files from Sosy-Lab project template.	Jun 27, 2024
gitlab-ci.Dockerfile.jdk-23		gitlab-ci.Dockerfile.jdk-23	update DOcker files for building and testing.	Jan 5, 2025
gitlab-ci.yml		gitlab-ci.yml	update DOcker files for building and testing.	Jan 5, 2025
ivysettings.xml		ivysettings.xml	Merge remote-tracking branch 'origin/master' into 380-multi-architect…	Oct 20, 2024
View all files