Date | Name | Who | What |
---|---|---|---|
2016-05-08 00:45:00 | assert | SEH | reference |
2015-01-06 00:06:29 | AsserTcl | SEH | reference |
2022-04-11 10:20:26 | Assertions | pooryorick | reference |
2022-04-11 10:26:42 | Constraining variables | pooryorick | reference |
2022-04-11 10:00:14 | Eiffel-like Invariants | pooryorick | reference |
2017-06-08 09:42:16 | Single assignment variable | dbohdan | reference |
2022-04-11 10:25:33 | Type checking | pooryorick | reference |