Started 25 days ago
Took 1 hr 6 min on master

Failed Build #268 (Jan 22, 2019 4:39:13 PM)

Changes
  1. Improved tactic in Pratt_Certificate (detail / bitbucket)
  2. merged; (detail / bitbucket)
  3. HOL-ODE-Numerics has become much slower for 32-bit arithmetic (x86_64_32); (detail / bitbucket)
  4. proper 64-bit platform test, nota that "condition = ML_SYSTEM_64" is always enabled, when ML_SYSTEM_64 is defined, i.e. "true" or "false"; (detail / bitbucket)
  5. merged (detail / bitbucket)
  6. renamings (detail / bitbucket)
  7. the incremental simplex algorithm now produces *minimal* unsat cores (detail / bitbucket)
  8. merged (detail / bitbucket)
  9. A few more renamings. Removal of a redundant result. (detail / bitbucket)
  10. strengthen invariant of simplex-method: indices of unsat-core will always be subset of input indices (detail / bitbucket)
  11. slightly more convenient naming schema (detail / bitbucket)
  12. eliminated misuses of Local_Theory.reset (detail / bitbucket)
  13. no versioning of generated material (detail / bitbucket)
  14. moved lemmas of Farkas/More_Simplex into Simplex/...-theories (detail / bitbucket)
  15. merge (detail / bitbucket)
  16. adapt Farkas from AFP 2018 to devel (detail / bitbucket)
  17. merge from AFP 2018 (detail / bitbucket)
  18. new entry Farkas (detail / bitbucket)
  19. merged (detail / bitbucket)
  20. some renamings (detail / bitbucket)
  21. refrain from writing global files; (detail / bitbucket)
  22. added theory for exporting major algebraic-number functions to Haskell (detail / bitbucket)
  23. clarified "large" sessions (again, see 4abc400680a4); (detail / bitbucket)
  24. clarified sessions that are much faster with 64-bit word arithmetic; (detail / bitbucket)
  25. formal AFP.groups according to Isabelle/06153e2e0cdb; (detail / bitbucket)
  26. proper type aliasses instead of mere type (expression) synonyms can be used in instance declarations also (detail / bitbucket)
  27. self-contained code modules for Haskell (detail / bitbucket)
  28. add Haskell-FPLLL-Interface for a fast external LLL solver (detail / bitbucket)
  29. use hybrid version of LLL basis reduction for LLL factorization (detail / bitbucket)
  30. add LLL_Certification to ROOT file (detail / bitbucket)
  31. permit easy switch between LLL variants via external constant: short_vector_hybrid and enable_lll_oracle (detail / bitbucket)
  32. rerun sitegen (detail / bitbucket)
  33. fixed typo in abstract of Simplex (detail / bitbucket)
  34. backout 30b1bd207939 (detail / bitbucket)
  35. restore imports (detail / bitbucket)
  36. outside dropped from imports (detail / bitbucket)
  37. add lemma (detail / bitbucket)
  38. Higher_Order_Terms: fix document (detail / bitbucket)
  39. Higher_Order_Terms: more applications (detail / bitbucket)
  40. merged (detail / bitbucket)
  41. adapted to devel (detail / bitbucket)
  42. added DBA binary union operation (detail / bitbucket)
  43. removed unnecessary type annotation (detail / bitbucket)
  44. added cardinality theorems for automata constructions (detail / bitbucket)
  45. JinjaThreads: adapted to devel (detail / bitbucket)
  46. Higher_Order_Terms: tuned (detail / bitbucket)

Started by an SCM change

This run spent:

  • 5 sec waiting;
  • 1 hr 6 min build duration;
  • 1 hr 7 min total from scheduled to completion.
Revision: 742b3e3516d9fcb1f5af95d0f882075dd4a42ce0
Resume build
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #268( 1 hr 6 min )Console Output