History of
by-topic
/
Model Checking
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add some web resources, trim titles of others.
Chris Pressey
6 days ago
-
Put the Wikipedia link, when it exists, in the "see-also bar".
Chris Pressey
11 days ago
-
When rebuilding, rewrite Markdown documents according to schema.
Chris Pressey
24 days ago
-
Remove placeholders that are no longer needed with Feedmark 0.16.
Chris Pressey
29 days ago
-
Fix implementation of make_anchor. Feedmark maintainers take note!
Chris Pressey
2 months ago
-
Fix commentary links.
Chris Pressey
2 months ago
-
Extract ratings to own files.
Chris Pressey
2 months ago
-
Rename commentary files.
Chris Pressey
2 months ago
-
Link to commentary on entries that have a detectable amount of it.
Chris Pressey
5 months ago
-
Add 2 Games and a PL repository, and sort secondary entries.
Chris Pressey
5 months ago
-
Show ratings on books and papers too.
Chris Pressey
5 months ago
-
Render rating next to each entry that has one, in the READMEs.
Chris Pressey
5 months ago
-
Link to the originating topic, for secondary-topic entries.
Chris Pressey
5 months ago
-
Resources in multiple topics are now rendered in multiple READMEs.
Chris Pressey
5 months ago
-
Add 3 papers and 2 web pages, Requirements and Model Checking.
Chris Pressey
7 months ago
-
Format interlinks more usefully.
Chris Pressey
8 months ago
-
Update by-topic/Model Checking/commentary/Chris Pressey.md
cpressey
8 months ago
-
Rename Specification category to Formal Specification.
Chris Pressey
9 months ago
-
Add two web pages, one of which is Top Rated.
Chris Pressey
9 months ago
-
Introduce TLA+ category, and add 1991 paper by Lamport on TLA.
Chris Pressey
9 months ago
-
Checkpoint removing `src` directories.
Chris Pressey
9 months ago
-
Fix link.
Chris Pressey
9 months ago
-
Link back up, add "Web resources" heading to READMEs.
Chris Pressey
9 months ago
-
Link see-also links to anchor
Chris Pressey
9 months ago
-
Checkpoint migrating files into `by-topic` directory.
Chris Pressey
9 months ago