2017-01-29 13:02:04 +01:00
|
|
|
A plugin to verify programs written in a (microscopic) fragment of Python.
|
2019-07-06 12:41:28 +02:00
|
|
|
Designed for teaching purposes.
|
2017-01-30 19:12:37 +01:00
|
|
|
|
2019-07-06 13:39:38 +02:00
|
|
|
See tests/python/*.py for examples.
|
|
|
|
|
|
2017-01-30 19:12:37 +01:00
|
|
|
Limitations wrt Python:
|
|
|
|
|
- types are limited to integers and lists of integers
|
2017-01-31 20:52:16 +01:00
|
|
|
- a list is not resizable (i.e. it is a mere array)
|
|
|
|
|
- a function must return an integer or nothing
|
2019-07-06 12:41:28 +02:00
|
|
|
|
|
|
|
|
Todo:
|
2019-07-06 14:54:56 +02:00
|
|
|
- function/predicate with a definition (currently not supported);
|
|
|
|
|
note: we would need to provide the type (int/array) of the arguments
|
2019-07-06 12:41:28 +02:00
|
|
|
|
|
|
|
|
|
