Skip to content

Activity

Showing most recent first

Included a trace generator to be used for executing monitor examples.…

nas-shpushed 1 commit to main • be9d671…c06bf89 • 
on Apr 13, 2023

Introduced a variable activated for GlobalStatsProfiler - still TODO:…

nas-shpushed 4 commits to main • 5574f17…be9d671 • 
on Apr 13, 2023

Included our papers on mesa and extended README.md with our journal.

nas-shpushed 1 commit to main • 15dd273…5574f17 • 
on Mar 29, 2023

Added a test suite for FlightStateArchiveReader

nas-shpushed 1 commit to main • a5bc193…15dd273 • 
on Mar 29, 2023

Added a demo for runtime verification of rnav star adherence properti…

nas-shpushed 1 commit to main • 788c74a…a5bc193 • 
on Mar 29, 2023

Introduced a new type, ExtendedSfdpsTrack. Implemented a configurable…

nas-shpushed 1 commit to main • 73128dd…788c74a • 
on Mar 28, 2023

Refactored MESA by focusing on consolidation of different types captu…

nas-shpushed 2 commits to main • 505d13d…73128dd • 
on Mar 20, 2023