História revízii

Autor SHA1 Správa Dátum
  Youngbin Kim 556a4b7969 Add option to check capacitor voltage when checkpoint 1 rok pred
  Youngbin Kim 7d746269f9 Add script for compiler-based checkpoint insertions & benchmarks 1 rok pred