Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

kani v2.0.0 #19

Open
11 tasks
joshuasing opened this issue Jan 2, 2023 · 0 comments
Open
11 tasks

kani v2.0.0 #19

joshuasing opened this issue Jan 2, 2023 · 0 comments
Assignees
@joshuasing
Labels
contributor: needs feedback The contributor needs feedback before continuing status: future This might be done in the future type: documentation This involves updating, adding or removing godoc or other documentation type: enhancement This is a feature request or a pull request that adds a feature type: test This involves updating, adding or removing a test
Milestone
v2.0.0

Comments

@joshuasing
Copy link
Member

joshuasing commented Jan 2, 2023 •
edited
Loading

This is a to-do list for kani v2.0.0.
Development on kani v2.0.0 will be conducted on the v2 branch until we are ready to release it.

kani v2.0.0:

  • hypera.dev/kani/v2
  • Rewrite following best practices
  • Better logging
  • Config
  • TLS configuration
  • Configurable HTTP responses
  • Prometheus support
  • Retrieve user identity information from Cloudflare (configurable)
  • Testing
  • Godoc
  • Installation and usage documentation

If you have any ideas you would like to suggest, feel free to below!
@joshuasing joshuasing added contributor: needs feedback The contributor needs feedback before continuing type: documentation This involves updating, adding or removing godoc or other documentation status: future This might be done in the future type: enhancement This is a feature request or a pull request that adds a feature type: test This involves updating, adding or removing a test labels Jan 2, 2023
@joshuasing joshuasing self-assigned this Jan 2, 2023
@joshuasing joshuasing added this to the v2.0.0 milestone Jan 2, 2023
@joshuasing joshuasing pinned this issue Jan 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@joshuasing joshuasing

Labels
contributor: needs feedback The contributor needs feedback before continuing status: future This might be done in the future type: documentation This involves updating, adding or removing godoc or other documentation type: enhancement This is a feature request or a pull request that adds a feature type: test This involves updating, adding or removing a test
Projects
None yet
Milestone
v2.0.0
Development

When branches are created from issues, their pull requests are automatically linked.

v2 hyperadev/kani
1 participant
@joshuasing