Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge from AFP 2017
  2. merge from AFP-2017 + website regen
  3. fixed severe problem in LLL basis reduction algorithm: size of numbers now stay polynomial
  4. sitegen
  5. new entry Weight_Balanced_Trees
  6. Added quotes to avoid conflict with keyword derive from the entry Deriving
Changeset 9000:13b4b1009698 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2017
Changeset 8999:40fe7fa65549 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP-2017 + website regen
Changeset 8998:8a218f551321 by rene thiemann _rene.thiemann@uibk.ac.at_:
fixed severe problem in LLL basis reduction algorithm: size of numbers now stay polynomial
The file was modified thys/LLL_Basis_Reduction/LLL.thy (diff)
Changeset 8997:ca655cba355d by rene thiemann _rene.thiemann@uibk.ac.at_:
sitegen
The file was addedweb/entries/Weight_Balanced_Trees.html
The file was modified metadata/metadata (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8996:dfcb92989f65 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry Weight_Balanced_Trees
The file was addedthys/Weight_Balanced_Trees/ROOT
The file was addedthys/Weight_Balanced_Trees/Weight_Balanced_Trees.thy
The file was addedthys/Weight_Balanced_Trees/Weight_Balanced_Trees_log.thy
The file was addedthys/Weight_Balanced_Trees/document/root.bib
The file was addedthys/Weight_Balanced_Trees/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 8995:f9208ace52a1 by rene thiemann _rene.thiemann@uibk.ac.at_:
Added quotes to avoid conflict with keyword derive from the entry Deriving
The file was modified thys/Ordered_Resolution_Prover/Proving_Process.thy (diff)