| Sat, 23 Dec 2017 17:52:32 +0100 | František Kučera | check memory bounds in read() and write() | changeset | files |
| Sat, 23 Dec 2017 17:33:49 +0100 | František Kučera | index in read() and write() is in same units as memory type | changeset | files |
| Fri, 22 Dec 2017 18:14:40 +0100 | František Kučera | comment, rename, reformat | changeset | files |
| Fri, 22 Dec 2017 18:09:58 +0100 | František Kučera | GOTO_COMPARE | changeset | files |