Mentions légales du service

Skip to content

Various commit gui

IOOSS Guillaume requested to merge various-commit-gui into master

Commits performed during the rush week for the second SPLASH paper deadline + now. Contains:

[Arch_info and Ioopt permutation]

  • New permutation cache for pinocchio (for Ioopt)
  • Correction of Pinocchio cache sizes in Arch_info
  • Addition of the Grid5k archi, with extended microkernels

[Search/Tree_search]

  • Non-div/div comparison experiment
  • Random completion of the strategies, given a fixed list of microkernel
  • Parallel tweak to the random completion of the strategies, in order to book parallel iteration at the outermost level
    • Added to arithmetic.ml a function that get its list of primer factor
    • Added that last feature to python_frontend. Tensorize should have less accidents now.

Merge request reports