diff options
| author | Joshua Bakita <bakitajoshua@gmail.com> | 2020-05-29 12:58:53 -0400 |
|---|---|---|
| committer | Joshua Bakita <bakitajoshua@gmail.com> | 2020-05-29 12:58:53 -0400 |
| commit | 66824af0fab366fe02f0793f32081ebde28f5fa5 (patch) | |
| tree | ba312bef82e59549aa7b77348299b79ab608f36f /dis/original/inputs | |
| parent | 7b715ab6c23af2695f58917ffe6e5df3b14ab360 (diff) | |
Remove changes specific to Joshua's PRP
- Revert type change in Neighborhood microbenchmark
- Remove inputs modified to fix in the available memory on the
i.MX6DQ PRP test platform
- Change default configuration to build without LITMUS/MC^2/MMDC
Diffstat (limited to 'dis/original/inputs')
| -rwxr-xr-x | dis/original/inputs/Matrix/in0 | 1 | ||||
| -rwxr-xr-x | dis/original/inputs/Neighborhood/in0 | 2 | ||||
| -rwxr-xr-x | dis/original/inputs/Pointer/in0 | 13 | ||||
| -rwxr-xr-x | dis/original/inputs/Update/in0 | 4 |
4 files changed, 0 insertions, 20 deletions
diff --git a/dis/original/inputs/Matrix/in0 b/dis/original/inputs/Matrix/in0 deleted file mode 100755 index 73d7fb1..0000000 --- a/dis/original/inputs/Matrix/in0 +++ /dev/null | |||
| @@ -1 +0,0 @@ | |||
| 1 | -2 1500 20000 1000 0.002734 | ||
diff --git a/dis/original/inputs/Neighborhood/in0 b/dis/original/inputs/Neighborhood/in0 deleted file mode 100755 index 346f216..0000000 --- a/dis/original/inputs/Neighborhood/in0 +++ /dev/null | |||
| @@ -1,2 +0,0 @@ | |||
| 1 | -2 8 5001 7000 10 3000 300 3000 | ||
| 2 | |||
diff --git a/dis/original/inputs/Pointer/in0 b/dis/original/inputs/Pointer/in0 deleted file mode 100755 index ca33182..0000000 --- a/dis/original/inputs/Pointer/in0 +++ /dev/null | |||
| @@ -1,13 +0,0 @@ | |||
| 1 | 1485770 15 5120000 | ||
| 2 | -2 10 | ||
| 3 | 10 1485760 1485760 | ||
| 4 | 10 1485760 1485760 | ||
| 5 | 10 1485760 1485760 | ||
| 6 | 10 1485760 1485760 | ||
| 7 | 10 1485760 1485760 | ||
| 8 | 10 1485760 1485760 | ||
| 9 | 10 1485760 1485760 | ||
| 10 | 10 1485760 1485760 | ||
| 11 | 10 1485760 1485760 | ||
| 12 | 10 1485760 1485760 | ||
| 13 | |||
diff --git a/dis/original/inputs/Update/in0 b/dis/original/inputs/Update/in0 deleted file mode 100755 index 1412ed0..0000000 --- a/dis/original/inputs/Update/in0 +++ /dev/null | |||
| @@ -1,4 +0,0 @@ | |||
| 1 | 1048577 15 1000 -2 | ||
| 2 | 10 1048576 1048576 | ||
| 3 | |||
| 4 | |||
