Skip to content

kani v2.0.0 #19

New issue
New issue
Open
Open
kani v2.0.0#19
Assignees
joshuasing
Labels
contributor: needs feedbackThe contributor needs feedback before continuingstatus: futureThis might be done in the futuretype: documentationThis involves updating, adding or removing godoc or other documentationtype: enhancementThis is a feature request or a pull request that adds a featuretype: testThis involves updating, adding or removing a test
Milestone
 
v2.0.0
@joshuasing

Description

@joshuasing
joshuasing
opened on Jan 2, 2023

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!

Metadata

Metadata

Assignees

Labels

contributor: needs feedbackThe contributor needs feedback before continuingstatus: futureThis might be done in the futuretype: documentationThis involves updating, adding or removing godoc or other documentationtype: enhancementThis is a feature request or a pull request that adds a featuretype: testThis involves updating, adding or removing a test

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions