7 Commits

Include renames

Author	SHA1	Message	Date
M. J. FrombergerandGitHub	e92aa56a75	Clean up lint failures for Markdown files (#367) ... Many of the Markdown files in this repository fail the Markdown lint check. This change cleans up most of them, either by: - Removing links to targets that no longer exist. - Updating links to targets that have moved. - Disabling the linter for files that need more revision. - Clean up trailing whitespace in files that peeves the super-linter. Fixes #363.	2021-11-22 14:22:55 -08:00
3 people	72d15a4b07	spec: remove reactor section (#242) ... Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com>	2021-01-19 16:28:05 +01:00
3 people	1075f77cc3	spec: extract light-client to its own directory (#152) ... Co-authored-by: Callum Waters <cmwaters19@gmail.com>	2020-09-01 10:47:14 +02:00
MarkoandGitHub	efbbc9462f	ci: add markdown linter (#146)	2020-08-24 11:47:31 +02:00
Callum WatersandGitHub	31b182b7aa	update spec with the removal of phantom validator evidence (#126)	2020-07-31 12:03:44 +02:00
Ethan Buchman	603364bdaa	lite->light	2020-01-23 09:22:40 -08:00
Zarko Milosevic	026fddee4f	Aligh the correctness arguments with the pseudocode changes	2020-01-23 14:49:45 +01:00