Skip to content
Jenkins
log in
Dashboard
desharna
My Views
isabelle-all
#5335
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
merge from AFP 2024
web files for Linear_Diophantine_Preprocessor
New entry Linear_Diophantine_Preprocessor
Changeset
14511:46cd93d18dac
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
merge from AFP 2024
Changeset
14510:820b2c976c42
by
nipkow
:
web files for Linear_Diophantine_Preprocessor
The file was added
web/entries/Linear_Diophantine_Preprocessor.html
The file was added
web/sessions/linear_diophantine_preprocessor/index.html
The file was modified
web/authors/index.xml
The file was modified
web/authors/thiemann/index.html
The file was modified
web/authors/thiemann/index.xml
The file was modified
web/data/keywords.json
The file was modified
web/dependencies/deriving/index.html
The file was modified
web/dependencies/deriving/index.xml
The file was modified
web/dependencies/farkas/index.html
The file was modified
web/dependencies/farkas/index.xml
The file was modified
web/dependencies/index.html
The file was modified
web/dependencies/index.xml
The file was modified
web/entries/Deriving.html
The file was modified
web/entries/Farkas.html
The file was modified
web/entries/Go.html
The file was modified
web/entries/index.html
The file was modified
web/entries/index.xml
The file was modified
web/index.html
The file was modified
web/index.json
The file was modified
web/index.xml
The file was modified
web/sessions/index.xml
The file was modified
web/sitemap.xml
The file was modified
web/statistics/index.html
The file was modified
web/topics/computer-science/algorithms/mathematical/index.html
The file was modified
web/topics/computer-science/algorithms/mathematical/index.xml
The file was modified
web/topics/index.html
Changeset
14509:61def4fc46f6
by
nipkow
:
New entry Linear_Diophantine_Preprocessor
The file was added
metadata/entries/Linear_Diophantine_Preprocessor.toml
The file was added
thys/Linear_Diophantine_Preprocessor/Dio_Preprocessing_Examples.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Dio_Preprocessor.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Diophantine_Eqs_and_Ineqs.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Diophantine_Tightening.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Equality_Detection_Impl.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Equality_Detection_Theory.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Linear_Diophantine_Eq_Finder.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Linear_Diophantine_Solver.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Linear_Diophantine_Solver_Impl.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Linear_Polynomial.thy
The file was added
thys/Linear_Diophantine_Preprocessor/Linear_Polynomial_Impl.thy
The file was added
thys/Linear_Diophantine_Preprocessor/ROOT
The file was added
thys/Linear_Diophantine_Preprocessor/document/root.bib
The file was added
thys/Linear_Diophantine_Preprocessor/document/root.tex
The file was modified
thys/ROOTS