viperproject / viperproject/VerifiedSCION

Readability improvements

Open
#353 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

  • #358 by @jcp19 — closed without merging
  • #362 by @jcp19 — closed without merging
Dominant language
Go
Stars
12
Forks
5
Avg merge
13h 2m
Merged PRs (30d)
4

Description

  • Drop file slice_contents.gobra and the predicate AbsSlice_Any
  • Drop the IO_ prefix for the types declared in the io package
  • Rename predicate AbsSlice_Bytes to Bytes
  • Drop wrappers (PR #352)
  • #358
  • #362

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by checking the remaining checklist references #358 and #362 and their linked pull requests, then inspect the named slice_contents.gobra file and the io package changes. Done means the outstanding readability items are resolved and the checklist accurately reflects their status.

Written by the indexing model from the issue text.

Assessment

Tech stack
go
Domain
developer-experience
Issue type
Refactor
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.