diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 4 | ||||
| -rw-r--r-- | versions/f-/fp16.json | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index 2ca9b999d..dc9e7da9e 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -2036,6 +2036,10 @@ "baseline": "1.0.5", "port-version": 0 }, + "fp16": { + "baseline": "2021-02-21", + "port-version": 0 + }, "fplus": { "baseline": "0.2.13-p0", "port-version": 0 diff --git a/versions/f-/fp16.json b/versions/f-/fp16.json new file mode 100644 index 000000000..2785c93e5 --- /dev/null +++ b/versions/f-/fp16.json @@ -0,0 +1,9 @@ +{ + "versions": [ + { + "git-tree": "849acf1f87e0194fda4cd5459e51c564874c60ed", + "version-date": "2021-02-21", + "port-version": 0 + } + ] +} |