GitHub - UPD-RTS/ADA-WCET: ADA Porting of simple WCET benchmarks from Malardalen and SNU

UPD-RTS / ADA-WCET Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

ADA Porting of simple WCET benchmarks from Malardalen and SNU

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
README		README
cnt.adb		cnt.adb
cnt.ads		cnt.ads
matmult.adb		matmult.adb
matmult.ads		matmult.ads
qsort_exam.adb		qsort_exam.adb
qsort_exam.ads		qsort_exam.ads
qurt.adb		qurt.adb
qurt.ads		qurt.ads
ud.adb		ud.adb
ud.ads		ud.ads

Repository files navigation

--  =======================================================
--  Ada WCET Benchmark v.1.0
--  University of Padua
--  emezzett@math.unipd.it
--  =======================================================
--  Porting to Ada of C WCET benchmark from:
--
--  Mälardalen WCET research group:
--	    http://www.mrtc.mdh.se/projects/wcet/benchmarks.html
--
--  SNU-RT Benchmark Suite for Worst Case Timing Analysis
--          Real-Time Research Group, Seoul National University
-- 	    S.-S. Lim (sslim@archi.snu.ac.kr)
--  =======================================================