| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-03-30 | tests: Format all Python code with black, except tests in basics subdir. | David Lechner | |
| This adds the Python files in the tests/ directory to be formatted with ./tools/codeformat.py. The basics/ subdirectory is excluded for now so we aren't changing too much at once. In a few places `# fmt: off`/`# fmt: on` was used where the code had special formatting for readability or where the test was actually testing the specific formatting. | |||
| 2015-04-22 | tests: Add more tests for viper, including tests for ViperTypeError's. | Damien George | |
| 2014-09-29 | py: Add casting to viper; add native mem stores to viper. | Damien George | |
| Viper can now do the following: def store(p:ptr8, c:int): p[0] = c This does a store of c to the memory pointed to by p using a machine instructions inline in the code. | |||
