BTLtoRTLaux.ml « scheduling - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/scheduling/BTLtoRTLaux.ml

blob: 3d8d44d05ad992c948710241c85da91373dea695 (plain)

open Maps
open BinNums

let btl2rtl f =
  ((PTree.empty, Coq_xH), PTree.empty)