History of
by-topic
/
Model Checking
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Link to commentary on entries that have a detectable amount of it. Chris Pressey 17 days ago
- Add 2 Games and a PL repository, and sort secondary entries. Chris Pressey 17 days ago
- Show ratings on books and papers too. Chris Pressey 24 days ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey 24 days ago
- Link to the originating topic, for secondary-topic entries. Chris Pressey 24 days ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 24 days ago
- Add 3 papers and 2 web pages, Requirements and Model Checking. Chris Pressey 2 months ago
- Format interlinks more usefully. Chris Pressey 3 months ago
- Update by-topic/Model Checking/commentary/Chris Pressey.md cpressey 3 months ago
- Rename Specification category to Formal Specification. Chris Pressey 4 months ago
- Add two web pages, one of which is Top Rated. Chris Pressey 4 months ago
- Introduce TLA+ category, and add 1991 paper by Lamport on TLA. Chris Pressey 4 months ago
- Checkpoint removing `src` directories. Chris Pressey 4 months ago
- Fix link. Chris Pressey 4 months ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 4 months ago
- Link see-also links to anchor Chris Pressey 4 months ago
- Checkpoint migrating files into `by-topic` directory. Chris Pressey 4 months ago