Danwt/keymap integration merge fbd6c40#379

Closed

danwt wants to merge 127 commits intomainfrom danwt/keymap-integration-merge-fbd6c40

+10,428-2,642

Commits on Sep 9, 2022

Adds prototyping
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
pt
Daniel
committed

Commits on Sep 20, 2022

Write more code for KeyDelegation
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
replication
Daniel
committed
typecheck
Daniel
committed
enable mappings
Daniel
committed
shuffle
Daniel
committed
mv, simplify model
Daniel
committed
cp test
Daniel
committed

Commits on Sep 21, 2022

prototype some test gen
Daniel
committed
model update
Daniel
committed
pre del comment
Daniel
committed
pre-tweak and del comment
Daniel
committed
CP test
Daniel
committed
CP keyguard test with fakeConsumer
Daniel
committed
Add property check, start testing
Daniel
committed
pre rework valsets
Daniel
committed
Refactor test
Daniel
committed
cp
Daniel
committed
rn
Daniel
committed
CP
Daniel
committed
cp keyguard
Daniel
committed
CP
Daniel
committed
CP
Daniel
committed
cp
Daniel
committed
gi
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
Pass basic test
Daniel
committed
checkpoint, passing a bunch
Daniel
committed
rename
Daniel
committed
Checkpoint
Daniel
committed

Commits on Sep 22, 2022

Work on gc
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
Pre-change way mapping is generated
Daniel
committed
cp
Daniel
committed
pre rework map testing
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
cp
Daniel
committed
impl garbage collection
Daniel
committed
CP with better test
Daniel
committed

Commits on Oct 3, 2022

CP string
Daniel
committed

Commits on Oct 4, 2022

typo
Daniel
committed
In test use list of foreignValSets for consistency
Daniel
committed
DEL TestActual
Daniel
committed
minor tidyups
Daniel
committed
Improve comment for queriesAndPruningProperty
Daniel
committed
RN garbage -> pruned
Daniel
committed
Improve test property descriptions
Daniel
committed
Work on slash query property
Daniel
committed
Clarify meaning of foregnValSets[i]
Daniel
committed
revert
Daniel
committed
Adds foreignValSetTimes to test
Daniel
committed
field RN
Daniel
committed
cp
Daniel
committed
checkpoint reasoning
Daniel
committed
CP
Daniel
committed
Partial improvement
Daniel
committed
CP
Daniel
committed
cp
Daniel
committed
Fix queryable
Daniel
committed
pre rework lastUpdate
Daniel
committed
pre rework
Daniel
committed
cp
Daniel
committed
Tests pass
Daniel
committed
CP
Daniel
committed
Revert "CP"
Daniel
committed
minor
Daniel
committed
Simplify SetLocalToForeign
Daniel
committed
Symbol renames
Daniel
committed
Symbol rn
Daniel
committed
Comments
Daniel
committed
(pass) rm docstrings
Daniel
committed
Symbol rename
Daniel
committed

Commits on Oct 5, 2022

(pass) add intermediate
Daniel
committed
Revert "(pass) add intermediate"
Daniel
committed
Add invariant
Daniel
committed
(pass) simplify
Daniel
committed
Simplify (field removal) (pass)
Daniel
committed
(pass) simplify
Daniel
committed
(pass) symbol rename
Daniel
committed
(pass) add clarity panic
Daniel
committed
(pass) cleanup
Daniel
committed
rename struct
Daniel
committed
impl current mapping queries
Daniel
committed
rn
Daniel
committed
merge main into
Daniel
committed
Change num traces
Daniel
committed
Symbol rename
Daniel
committed
Symbol renames
Daniel
committed
Better invariant comments
Daniel
committed
CP wording
Daniel
committed
Better comments
Daniel
committed
CP docs progress
Daniel
committed
Major symbol renames
Daniel
committed
Docs
Daniel
committed
Start adding some basic unit tests
Daniel
committed
DELETE unused TLA+ model
Daniel
committed
Symbol renames
Daniel
committed
rn symbol keydel -> keymap
Daniel
committed
CP branch
Daniel
committed
get started
Daniel
committed
RN method TrySendValidatorUpdates
Daniel
committed
Adds SetPendingVSCs method
Daniel
committed
Refactors TrySendValidatorUpdates
Daniel
committed
remove inUse var
Daniel
committed
Adds temp changes to relay
Daniel
committed
Adds bytes.py
Daniel
committed
Adds store abstraction but does not use it
Daniel
committed
Use store abstraction and pass tests
Daniel
committed
Move to keeper subdir
Daniel
committed
Make keeper attempt
Daniel
committed
Integrate keymap into provider keeper dir
Daniel
committed
split keymap, keymap_core
Daniel
committed
rn _test -> core_test
Daniel
committed
bump
Daniel
committed
Scratch up a basic doc
Daniel
committed
Manually revert relay.go
Daniel
committed