aeneas/tests/test_runner/dune, branch isabelle aeneas rust verifier with a hacky Isabelle backend runner: Split up into multiple files 2024-05-30T09:57:40+00:00 Nadrieril 2024-05-28T10:18:52+00:00 ec03335a473ffdf9371210e8558c691ea69d212d 






runner: Support negative tests
2024-05-27T12:40:34+00:00

Nadrieril

2024-05-27T09:22:37+00:00

9c09789c26dd8142b8a29b42e250a685aa983e58












runner: Correctly catch command exit status
2024-05-27T09:44:11+00:00

Nadrieril

2024-05-27T08:48:07+00:00

aee6dc227c4ed041bbbae7cf38729a4b1a3a6869












runner: Allow filenames with dashes
2024-05-24T14:31:32+00:00

Nadrieril

2024-05-24T14:20:26+00:00

0ebfa7a15f4d7218389488ff8a92206c0d6642ec












runner: Pass options in special comments
2024-05-24T14:11:59+00:00

Nadrieril

2024-05-24T13:47:20+00:00

4d3778bea3112168645efc03308056ec341abb5f












runner: Strongly typed Backend enum
2024-05-24T14:11:59+00:00

Nadrieril

2024-05-23T15:01:03+00:00

7935e74a9cedd93e885ab546d5513ea6c31db5ad












Auto-detect test cases
2024-05-24T12:24:38+00:00

Nadrieril

2024-05-23T13:37:01+00:00

ca045d57b6cc3fc700efe07bfc257231edf814e5












Add simple test runner
2024-05-24T12:24:38+00:00

Nadrieril

2024-05-22T13:11:28+00:00

6f14e8c699169aa11ea9c106f8cae1ba593569d0