Guillaume Melquiond
79738ae6a4
Update headers.
2023-03-07 09:58:45 +01:00
Jean-Christophe Filliatre
867be1e719
micro-Python: fixed overloading of +
2022-11-14 14:54:14 +01:00
Jean-Christophe Filliatre
9e183c7c61
micro-Python: added by and so connectives
2022-11-14 14:40:52 +01:00
Claude Marche
6a6146f6f3
Python: give the proper file name for the locations of generated WhyML module
2022-09-22 14:47:16 +02:00
Jean-Christophe Filliatre
a54f13d7a1
Python: allow function when Python def is pure
2022-09-08 16:00:29 +02:00
Jean-Paul Bodeveix
11e9c87dc5
Improved micro Python
2022-09-08 16:00:22 +02:00
MARCHE Claude
a23f364805
Resolve "wish: use a multi-line format for source locations"
2022-06-22 18:17:43 +00:00
Guillaume Melquiond
53926bbbf5
Update headers.
2022-04-26 16:33:42 +02:00
Jean-Christophe Filliatre
f31498beda
fixed Python lexer
...
empty comment lines were not accepted by the lexer
2021-12-09 08:48:51 +01:00
Jean-Christophe Filliatre
1c08c1987f
micro Python: added def for function/predicate and type variables
2021-09-30 14:32:03 +02:00
Guillaume Melquiond
55fc17a4ea
Change interface-only .ml files into .mli files.
2021-09-28 18:05:52 +02:00
Guillaume Melquiond
f75492a0db
Remove dead code.
2021-09-28 17:32:00 +02:00
Guillaume Melquiond
ebfa10f2b9
Silence warning 70 "missing-mli".
...
OCaml warns when there is a .ml file but no .mli file. This commit adds
almost all the missing .mli files. The remaining ones are the *_ast.ml
files, as the .mli files would be verbatim copies.
2021-09-28 17:32:00 +02:00
Jean-Christophe Filliatre
d6010c82eb
micro Python: types in quantifiers
2021-09-28 14:36:47 +02:00
Jean-Christophe Filliatre
d517234610
micro Python: type annotations in programs
2021-09-24 18:27:07 +02:00
Jean-Christophe Filliatre
cd46b54253
micrp Python: more types
2021-09-24 18:14:59 +02:00
Jean-Christophe Filliatre
2f06ca75cd
remove use of Option.map (too recent)
2021-09-24 17:59:04 +02:00
Jean-Christophe Filliatre
8a373ad80b
micro Python : syntax for types in function and predicate
2021-09-24 16:12:45 +02:00
Guillaume Melquiond
534dcdd5f5
Do not call fprintf when the string does not contain any format modifier.
2021-09-10 14:11:20 +02:00
Jean-Christophe Filliatre
33c7457915
micro-Python: fixed parsing of transformation arguments
2021-09-08 17:53:48 +02:00
paulpatault
2cc29e8963
Micro Python : syntax improvements & added functions
...
- added break and continue
- added range with one, two or three argument(s)
- added slice (`list[i1:i2]`)
- added negative index (`list[n], with -len(list) ≤ n < len(list)`)
- added lists methods:
- `list.append(n)`
- `list.pop()`
- `list.clear()`
- `list.sort()`
- `list.reverse()`
- added `is_permutation(list1, list2)` predicate
- added assignment operators `+=`, `-=`, `*=`, `//=`, `%=`
- functions can now return `bool` and `list`
2021-06-24 11:44:07 +02:00
Guillaume Melquiond
1fc6be8459
Update headers.
2021-03-13 07:55:14 +01:00
Jean-Christophe Filliatre
b8719248ef
micro-Python: fixed parser when no newline at end of file
2020-10-08 17:51:53 +02:00
Jean-Christophe Filliatre
cff973030c
micro-C/Python: fixed translation of <> and not
2020-06-24 22:19:17 +02:00
Guillaume Melquiond
0070b9408d
Update headers.
2020-03-17 09:52:33 +01:00
