summaryrefslogtreecommitdiff
path: root/src/mongo/db/repl/tla_plus
Commit message (Expand)AuthorAgeFilesLines
* SERVER-55281 lint for newline violationsBilly Donahue2021-03-252-2/+2
* SERVER-48725 Specify in TLA+ multitenant migrations donor state machine protocolJudah Schvimer2020-09-213-0/+572
* SERVER-48226 Improve TLA+ CIMarkus Alexander Kuppe2020-05-141-8/+1
* SERVER-48045 Set Java path tla_plus.yml suite configA. Jesse Jiryu Davis2020-05-121-2/+13
* SERVER-48045 Use Java 11 for TLA+ model-checkingA. Jesse Jiryu Davis2020-05-082-2/+3
* SERVER-47430 Update TLA+ to only vote for candidate with same config version ...Siyuan Zhou2020-04-091-7/+5
* SERVER-45416 Model-check TLA+ specs in EvergreenA. Jesse Jiryu Davis2020-04-063-4/+13
* SERVER-46789 Make model-check.sh cross-platformA. Jesse Jiryu Davis2020-03-121-2/+8
* SERVER-44851 Constrain commit points for model-checking.Siyuan Zhou2020-02-062-1/+5
* SERVER-45853 Enable RaftMongo.tla invariantsA. Jesse Jiryu Davis2020-01-303-9/+12
* SERVER-44851 Add the TLA+ spec of replication safe reconfig.Siyuan Zhou2020-01-233-0/+543
* SERVER-44458 Model-checking files for RaftMongo.tlaA. Jesse Jiryu Davis2020-01-166-20/+97
* SERVER-44458 Add RaftMongo.tla specA. Jesse Jiryu Davis2020-01-142-0/+346
* SERVER-44340 Clarify that spec was for exploratory purposes onlyTess Avitabile2019-12-181-0/+2
* SERVER-45070 Add Creative Commons license for TLA+ specificationsTess Avitabile2019-12-151-0/+6
* SERVER-44340 Write TLA+ spec for Raft reconfig protocolTess Avitabile2019-12-091-0/+255