Tags

Tags give the ability to mark specific points in history as being important

epos.verified-osr2013@3121

867d5484 · Scheduler verification using CBMC. · Jun 05, 2013
```
Scheduler verification using CBMC.
```
dos-1.1-smp@2427

87e9dfda · First attempt to solve the multicore exercise, still quite unstable · Jun 03, 2013
```
First attempt to solve the multicore exercise, still quite unstable
```
dos-1.1-builtin

8e057a85 · Updating traits to honor the multitasking flag · Jun 02, 2013
```
Updating traits to honor the multitasking flag
```
dos-1.1-heap

30722dff · Removing empty tests and fixing Thread attribute initialization · May 31, 2013
```
Removing empty tests and fixing Thread attribute initialization
```
dos-1.1-del

2b6d7eb9 · Removing empty tests and fixing Thread attribute initialization · May 31, 2013
```
Removing empty tests and fixing Thread attribute initialization
```
dos-1.1-alarm

b2b1f6dc · Removing empty tests and fixing Thread attribute initialization · May 31, 2013
```
Removing empty tests and fixing Thread attribute initialization
```
dos-1.1-idle

cb5ee5a5 · Removing empty tests and fixing Thread attribute initialization · May 31, 2013
```
Removing empty tests and fixing Thread attribute initialization
```
dos-1.1-join

8e0c8f67 · Removing empty tests and fixing Thread attribute initialization · May 31, 2013
```
Removing empty tests and fixing Thread attribute initialization
```
dos-1.1-sync

547f42aa · Removing empty tests and fixing Thread attribute initialization · May 31, 2013
```
Removing empty tests and fixing Thread attribute initialization
```
dos-1.1

7312828d · Removing empty tests · May 31, 2013
```
Removing empty tests
```
dos-1.1-rt@2399

f8ad2c5f · Resolving exercise about real-time scheduling: both RM and EDF were wrong on the previous commit. · May 28, 2013
```
Resolving exercise about real-time scheduling: both RM and EDF were wrong on the previous commit.
```
dos-1.1-rt@2399-

f8ad2c5f · Resolving exercise about real-time scheduling: both RM and EDF were wrong on the previous commit. · May 28, 2013
```
Resolving exercise about real-time scheduling: both RM and EDF were wrong on the previous commit.
```
dos-1.1-rt@2409

f8ad2c5f · Resolving exercise about real-time scheduling: both RM and EDF were wrong on the previous commit. · May 28, 2013
```
Resolving exercise about real-time scheduling: both RM and EDF were wrong on the previous commit.
```
dos-1.1-heap@2384

127fec64 · Solving exercise about memory management · May 23, 2013
```
Solving exercise about memory management
```
dos-1.1-sched@2386

127fec64 · Solving exercise about memory management · May 23, 2013
```
Solving exercise about memory management
```
dos-1.1-del@2377

c936f598 · Solving exercise about system object destruction · May 23, 2013
```
Solving exercise about system object destruction
```
dos-1.1-alarm@2373

7a2f9b44 · Solving exercise about the alarm mechanism · May 23, 2013
```
Solving exercise about the alarm mechanism
```
dos-1.1-alarm@2373-

7a2f9b44 · Solving exercise about the alarm mechanism · May 23, 2013
```
Solving exercise about the alarm mechanism
```
dos-1.1@2356

5a823a9a · An additional cleanup to make the first exercises more easy for the students · May 23, 2013
```
An additional cleanup to make the first exercises more easy for the students
```
dos-1.1-alarm@2352

104616e7 · An additional cleanup to make the first exercises more easy for the students · May 23, 2013
```
An additional cleanup to make the first exercises more easy for the students
```