Skip to content

Files

Latest commit

 

History

History
This branch is 6 commits ahead of, 99 commits behind quick-lint/quick-lint-js:master.

proofs

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

proofs

This directory contains TLA+ proofs for some algorithms in quick-lint-js's C++ code.

  • [WindowsPipeReadThread.tla][]: Proof of an algorithm used in Event_Loop_Windows.