diff --git a/src/contributors.adoc b/src/contributors.adoc index d60df211..cac52aba 100644 --- a/src/contributors.adoc +++ b/src/contributors.adoc @@ -3,6 +3,7 @@ This RISC-V specification has been contributed to directly or indirectly by: [%hardbreaks] +* Thomas Aird * Hesham Almatary * Andres Amaya Garcia * John Baldwin diff --git a/src/insns/addi4spn_16bit.adoc b/src/insns/addi4spn_16bit.adoc index e06a1537..52534fa6 100644 --- a/src/insns/addi4spn_16bit.adoc +++ b/src/insns/addi4spn_16bit.adoc @@ -3,8 +3,6 @@ [#C_ADDI4SPN,reftext="C.ADDI4SPN"] ==== C.ADDI4SPN -See <>. - Synopsis:: Stack pointer increment in blocks of 4 (C.ADDI4SPN), 16-bit encoding diff --git a/src/riscv-cheri.adoc b/src/riscv-cheri.adoc index 8f60492f..34e0f32a 100644 --- a/src/riscv-cheri.adoc +++ b/src/riscv-cheri.adoc @@ -1,5 +1,5 @@ = RISC-V Specification for CHERI Extensions -Authors: Hesham Almatary, Andres Amaya Garcia, John Baldwin, Paul Buxton, David Chisnall, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Franz A. Fuchs, Timothy Hutt, Alexandre Joannou, Martin Kaiser, Tariq Kurd, Ben Laurie, Marno van der Maas, Maja Malenko, A. Theodore Markettos, David McKay, Jamie Melling, Stuart Menefy, Simon W. Moore, Peter G. Neumann, Robert Norton, Alexander Richardson, Michael Roe, Peter Rugg, Peter Sewell, Carl Shaw, Ricki Tura, Robert N. M. Watson, Toby Wenman, Jonathan Woodruff, Jason Zhijingcheng Yu +Authors: Thomas Aird, Hesham Almatary, Andres Amaya Garcia, John Baldwin, Paul Buxton, David Chisnall, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Franz A. Fuchs, Timothy Hutt, Alexandre Joannou, Martin Kaiser, Tariq Kurd, Ben Laurie, Marno van der Maas, Maja Malenko, A. Theodore Markettos, David McKay, Jamie Melling, Stuart Menefy, Simon W. Moore, Peter G. Neumann, Robert Norton, Alexander Richardson, Michael Roe, Peter Rugg, Peter Sewell, Carl Shaw, Ricki Tura, Robert N. M. Watson, Toby Wenman, Jonathan Woodruff, Jason Zhijingcheng Yu include::attributes.adoc[] ///////////////////////////////////////////////////////////////////////////////