Christoffer Lerno a5ce7c47ba Adding "require" precondition. Corrects inferred arrays and fixes so that it uses [*] everywhere. Distict type will now allow methods to be added to it. Added $alignof and $sizeof.

2021-07-09 23:57:35 +02:00

..

src

Update to python test framework.

2021-04-07 11:14:55 +02:00

test_suite

Adding "require" precondition. Corrects inferred arrays and fixes so that it uses [*] everywhere. Distict type will now allow methods to be added to it. Added $alignof and $sizeof.

2021-07-09 23:57:35 +02:00