From mboxrd@z Thu Jan  1 00:00:00 1970
From: Stafford Horne <shorne@gmail.com>
Date: Fri, 27 Aug 2021 08:41:47 +0900
Subject: [OpenRISC] Continue OpenRISC contibution
In-Reply-To: <CADGJwMwapL_eB_ZqKmaDsoFxCY_3qvKu=0BfdSGQZaC5GEjP1Q@mail.gmail.com>
References: <CADGJwMwapL_eB_ZqKmaDsoFxCY_3qvKu=0BfdSGQZaC5GEjP1Q@mail.gmail.com>
Message-ID: <YSgmu/bnzRnI7AGI@antec>
List-Id: <openrisc.lists.librecores.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: openrisc@lists.librecores.org

On Thu, Aug 26, 2021 at 10:17:17PM +0530, Harshitha S wrote:
> Hello,
> 
> I'm thinking of continuing my contribution to the OpenRISC project. With my
> GSoC project, I have learned too many new skills and wish to keep this
> learning pace. I would be happy to learn and explore new skills. Please let
> me know what I can work upon.

Hi Harshita,

(CCing list)

Glad to hear you are still interested.  I think there are always plenty of
things, some things on the top of my head:
  - Simple - update the mor1kx/readme.md to explain we support formal
  - Medium - fix the bugs that you raised
  - Bigger - or1k-formal (like riscv-formal, formally verify each instruction)

-Stafford