PVM tests v0.4

Author: koute

pvm/LICENSE

@@ -0,0 +1,26 @@
+The `programs/riscv_*` test files are licensed under the following terms:
+
+Copyright (c) 2012-2015, The Regents of the University of California (Regents).
+All Rights Reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+2. Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the distribution.
+3. Neither the name of the Regents nor the
+   names of its contributors may be used to endorse or promote products
+   derived from this software without specific prior written permission.
+
+IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT,
+SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING
+OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS
+BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
+THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+PURPOSE. THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED
+HEREUNDER IS PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE
+MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.

pvm/README.md

@@ -1,4 +1,4 @@
-# PVM Test Vectors, version 0.3
+# PVM Test Vectors, version 0.4
 
 ## How to use this
 
@@ -16,18 +16,23 @@ See [TESTCASES.md](./TESTCASES.md) for a human-readable index of all of the test
 
    * 100% instruction coverage
    * Tests for abnormal skip values for each instruction type
-   * Tests for when the initial instruction counter (ı) starts somewhere else than 0
    * Tests involving host calls
    * Tests for invalid/malformed program blobs
-   * Add bigger integration-like tests
    * More gas metering tests; proper gas cost model (current one is a placeholder)
 
 ## Changelog
 
+### v0.4
+
+   * The tests now target 64-bit PVM, in alignment with GP 0.5.4.
+   * The `trap` exit status is now called `panic` to align with the GP.
+   * Added new exit status: `page-fault`; tests which previously panicked when accessing unpaged memory now generate page faults.
+   * Added 106 new tests from the [RISC-V test suite](https://github.com/riscv-software-src/riscv-tests) transpiled into PVM.
+
 ### v0.3
 
    * Removed tests which were testing gas behavior that is not yet described in the GP:
-        - `inst_load_u8_trap.json`,
+        - `inst_load_u8_trap`
         - `inst_store_u8_trap_inaccessible`
         - `inst_store_u8_trap_read_only`