Runtime: correct authorship

runtime/AUTHORS

@@ -1,4 +1,4 @@
-# This is the list of Propverify's significant contributors.
+# This is the list of Rust verification tool's significant contributors.
 #
 # This does not necessarily list everyone who has contributed code,
 # especially since many employees of one corporation may be contributing.

runtime/LICENSE-APACHE

@@ -187,7 +187,7 @@
       same "printed page" as the copyright notice for easier
       identification within third-party archives.
 
-   Copyright 2020 The Propverify Authors.
+   Copyright 2020 The Rust verification tools Authors.
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.

runtime/LICENSE-MIT

@@ -1,4 +1,4 @@
-Copyright 2020 The Propverify Authors.
+Copyright 2020 The Rust verification tools Authors.
 
 Permission is hereby granted, free of charge, to any
 person obtaining a copy of this software and associated

runtime/Makefile

@@ -1,4 +1,4 @@
-# Copyright 2021 The Propverify authors
+# Copyright 2021 The Rust verification tools Authors
 #
 # Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
 # http://www.apache.org/licenses/LICENSE-2.0> or the MIT license

runtime/src/memrchr.c

@@ -0,0 +1,19 @@
+// Copyright 2021 The Rust verification tools Authors
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+#include <string.h>
+
+void *memrchr(const void *s, int c, size_t n) {
+    void *r = NULL;
+    for(size_t i = 0; i < n && *(char*)s != '\0'; ++i, ++s) {
+        if (*(char*)s == c) {
+            r = (void*)s;
+        }
+    }
+    return r;
+}

runtime/src/posix_memalign.c

@@ -1,4 +1,4 @@
-// Copyright 2021 The Propverify authors
+// Copyright 2021 The Rust verification tools Authors
 //
 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license

runtime/src/pthread.c

@@ -1,4 +1,4 @@
-// Copyright 2020-2021 The Propverify authors
+// Copyright 2021 The Rust verification tools Authors
 //
 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license