This is a summary of I/O lists.
Each entry consists of a result of regression test,
a markdown file, and its directory.
Results of regression tests are recorded in OK or DIFF.
This summary is produced by the command koshu-inout-summary.sh.
- OK – README.md in abortable-points / abort
- OK – INOUT.md in ascii-table
- OK – INOUT.md in attribute-editor / script
- OK – INOUT.md in boyce-codd-normal-form / 3NF
- OK – INOUT.md in boyce-codd-normal-form / BCNF
- OK – INOUT.md in count-judgements
- OK – README.md in deadlock-detection / script
- OK – INOUT.md in derived-relmap
- OK – README.md in empty-filler / script
- OK – README.md in equivalent-for-both / script
- OK – README.md in equivalent-for-down / script
- OK – INOUT.md in judgement-relation-system
- OK – A.md in koshu-markdown / script
- OK – README.md in koshu-markdown / script
- OK – ARGS.md in koshu-markdown / script
- OK – INOUT.md in nested-relations-as-relational-system
- OK – INOUT.md in propositional-function
- OK – INOUT.md in relational-lattice
- OK – INOUT.md in short-signs
- OK – README.md in slice-up / script
- OK – INOUT.md in slices-of-relation
- OK – INOUT.md in subrelation
- OK – INOUT.md in text-table-for-relation
- OK – INOUT.md in violating-judgement / exclude