issues
search
informalsystems
/
vdd
Verification-Driven Development
21
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Linkify traceability spec
#22
shonfeder
closed
3 years ago
1
Introduce support for tag synonymy
#21
shonfeder
closed
3 years ago
9
Correct description of implementation tagging
#20
shonfeder
closed
3 years ago
0
Update README.md
#19
andrey-kuprianov
opened
3 years ago
0
A note on filenames and version control
#18
konnov
closed
3 years ago
0
Conventions for specification versioning
#17
josef-widder
closed
3 years ago
2
TLA+ coding conventions
#16
adizere
opened
4 years ago
14
Informal Research Goal
#15
josef-widder
closed
4 years ago
0
Moved in blockchain specs as needed
#14
josef-widder
closed
4 years ago
0
Fastsync English Spec revision
#13
josef-widder
closed
4 years ago
0
Add traceability tooling proposal
#12
thanethomson
closed
4 years ago
21
Proposal on traceability
#11
konnov
closed
4 years ago
21
More Guidance on Implementation
#10
ebuchman
opened
4 years ago
1
More on Testing
#9
ebuchman
opened
4 years ago
1
Current Manifesto is more of a Guide
#8
ebuchman
opened
4 years ago
0
manifesto copy editing
#7
ebuchman
closed
4 years ago
0
Josef/vddverification
#6
josef-widder
closed
4 years ago
0
Fastsync draft for English spec
#5
josef-widder
closed
4 years ago
0
Integrating traceability concerns in VDD process
#4
milosevic
opened
4 years ago
4
How to integrate interfaces in VDD process
#3
milosevic
opened
4 years ago
0
VDD steps, deliverables and responsibilities for IBC Connection Module and Relayer
#2
ancazamfir
opened
4 years ago
0
Update VDD manifesto
#1
milosevic
closed
4 years ago
0