Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. build faster without auxiliary session image;
  2. eliminated suspicious Unicode characters;
  3. more uniform timeout;
  4. proper Unix line-endings;
Changeset 9441:74eb9c0ad596 by wenzelm:
build faster without auxiliary session image;
The file was modified thys/Deep_Learning/ROOT (diff)
Changeset 9440:b66058291cf2 by wenzelm:
eliminated suspicious Unicode characters;
The file was modified thys/Knuth_Morris_Pratt/KMP.thy (diff)
The file was modified thys/Mason_Stothers/Mason_Stothers.thy (diff)
The file was modified thys/Polynomials/Poly_Mapping.thy (diff)
Changeset 9439:354abf6b81ce by wenzelm:
more uniform timeout;
The file was modified thys/CYK/ROOT (diff)
The file was modified thys/DFS_Framework/ROOT (diff)
The file was modified thys/E_Transcendental/ROOT (diff)
The file was modified thys/Falling_Factorial_Sum/ROOT (diff)
The file was modified thys/First_Order_Terms/ROOT (diff)
The file was modified thys/IMAP-CRDT/ROOT (diff)
The file was modified thys/InfPathElimination/ROOT (diff)
The file was modified thys/Irrationality_J_Hancl/ROOT (diff)
The file was modified thys/Kuratowski_Closure_Complement/ROOT (diff)
The file was modified thys/Lowe_Ontological_Argument/ROOT (diff)
The file was modified thys/Mason_Stothers/ROOT (diff)
The file was modified thys/Median_Of_Medians_Selection/ROOT (diff)
The file was modified thys/Monad_Memo_DP/ROOT (diff)
The file was modified thys/PSemigroupsConvolution/ROOT (diff)
The file was modified thys/Ptolemys_Theorem/ROOT (diff)
The file was modified thys/Timed_Automata/ROOT (diff)
The file was modified thys/Triangle/ROOT (diff)
The file was modified thys/UPF/ROOT (diff)
The file was modified thys/UPF_Firewall/ROOT (diff)
Changeset 9438:f584851b0b70 by wenzelm:
proper Unix line-endings;
The file was modified thys/Irrationality_J_Hancl/Irrationality_J_Hancl.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL_Number_Bounds.thy (diff)
The file was modified thys/Treaps/Random_List_Permutation.thy (diff)
The file was modified thys/Weight_Balanced_Trees/Weight_Balanced_Trees.thy (diff)
The file was modified thys/Weight_Balanced_Trees/Weight_Balanced_Trees_log.thy (diff)