Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Oct 31, 2025

• work around build failure with current mathcomp dev version

  brandenburg

  committed
  350aea2

  Copy full SHA for 350aea2

• update OPAM files in preparation of v0.6 release

  brandenburg

  committed
  414e667

  Copy full SHA for 414e667

Commits on Oct 30, 2025

• define a readiness-aware task intra-IBF

  

  Athul Raj Kollareth

  authored and

  brandenburg

  committed
  ec2c065

  Copy full SHA for ec2c065

• add a proper change log

  brandenburg

  committed
  0e048a0

  Copy full SHA for 0e048a0

• remove "workload abbreviations" from aRSA-based RTAs

  brandenburg

  committed
  6313467

  Copy full SHA for 6313467

• reorganize `prosa.results` module

  Show description for 914f0be
  brandenburg

  committed
  914f0be

  Copy full SHA for 914f0be

Commits on Oct 24, 2025

• add RTAs for the average resource model

  

  GKerfImf

  authored and

  brandenburg

  committed
  de8c78b

  Copy full SHA for de8c78b

Commits on Oct 23, 2025

• make lint: take unicode replacements into account

  Show description for c2787b7
  brandenburg

  committed
  c2787b7

  Copy full SHA for c2787b7

• make `L` a proper definition in ELF RTAs

  brandenburg

  committed
  e77f785

  Copy full SHA for e77f785

Commits on Oct 22, 2025

• make `L` a proper definition in RS RTAs

  Show description for f6e4daa
  brandenburg

  committed
  f6e4daa

  Copy full SHA for f6e4daa

• add RTAs for the periodic resource model

  

  GKerfImf

  authored and

  brandenburg

  committed
  5a057ea

  Copy full SHA for 5a057ea

• switch `rs_processor_state` -> `PState` in `/results/rs`

  GKerfImf

  committed
  5ce3858

  Copy full SHA for 5ce3858

Commits on Oct 20, 2025

• define the periodic and average resource models

  

  GKerfImf

  authored and

  brandenburg

  committed
  8a71830

  Copy full SHA for 8a71830

Commits on Oct 15, 2025

• improve comment for FNPS RTAs

  

  GKerfImf

  authored and

  brandenburg

  committed
  042bcfb

  Copy full SHA for 042bcfb

• add RTAs for OVH-EDF models

  

  GKerfImf

  authored and

  brandenburg

  committed
  1c257b0

  Copy full SHA for 1c257b0

• improve comments and consistency in OVH-FIFO RTA

  

  GKerfImf

  authored and

  brandenburg

  committed
  c627061

  Copy full SHA for c627061

• improve comments and consistency in OVH-FP RTAs

  

  GKerfImf

  authored and

  brandenburg

  committed
  e126d18

  Copy full SHA for e126d18

Commits on Oct 13, 2025

• git: ignore more cleanup commits

  brandenburg

  committed
  5dd7137

  Copy full SHA for 5dd7137

• cleanup: fix spacing around `->`

  brandenburg

  committed
  d630ea1

  Copy full SHA for d630ea1

• make lint: flag missing space around `->`, `<->`

  brandenburg

  committed
  3e40334

  Copy full SHA for 3e40334

• reflow-comments.py: normalize linebreaks within tokens

  Show description for 46eeebb
  brandenburg

  committed
  46eeebb

  Copy full SHA for 46eeebb

• reflow-comments.py: set default width to 72 columns

  brandenburg

  committed
  77b3bf1

  Copy full SHA for 77b3bf1

• cleanup: remove cruft from util/nat.v

  brandenburg

  committed
  219f489

  Copy full SHA for 219f489

• move POET lemma to `prosa.util.poet`

  brandenburg

  committed
  f2196f8

  Copy full SHA for f2196f8

• cleanup: remove some old, unused utility lemmas

  brandenburg

  committed
  09c7657

  Copy full SHA for 09c7657

• cleanup: remove superfluous sections

  brandenburg

  committed
  7bf1a52

  Copy full SHA for 7bf1a52

• make lint: flag superfluous sections

  brandenburg

  committed
  7dfb45a

  Copy full SHA for 7dfb45a

• remove `A <= F <= A + R` from ELF aRSA instantiations

  brandenburg

  committed
  69a8523

  Copy full SHA for 69a8523

• remove `A <= F <= A + R` from EDF aRSA instantiations

  brandenburg

  committed
  1e75dd4

  Copy full SHA for 1e75dd4

• remove `A <= F <= A + R` from FP aRSA instantiations

  brandenburg

  committed
  1a099ed

  Copy full SHA for 1a099ed

• remove `A <= F` from FIFO aRSA instantiations

  brandenburg

  committed
  7ab8e3f

  Copy full SHA for 7ab8e3f

Commits on Oct 8, 2025

• tighten exceedance-aware RTA

  

  KimayaBedarkar

  authored and

  brandenburg

  committed
  25b626a

  Copy full SHA for 25b626a

Commits on Oct 7, 2025

• add exceedance-aware RTA for NP-FP

  

  KimayaBedarkar

  authored and

  brandenburg

  committed
  7214d0d

  Copy full SHA for 7214d0d

• Add RTA for OVH-FIFO model

  

  GKerfImf

  authored and

  brandenburg

  committed
  9230021

  Copy full SHA for 9230021

Commits on Oct 3, 2025

• add RTAs for OVH-FP models

  

  GKerfImf

  authored and

  brandenburg

  committed
  203ae33

  Copy full SHA for 203ae33

Pagination

Previous

Next