Benjamin Jorge
|
a07a1b6a88
|
Improve Pmodule API, update documentation
|
2025-11-20 14:14:24 +01:00 |
|
Benjamin Jorge
|
667ab3ae79
|
Sandwich implementation
|
2025-11-20 14:14:24 +01:00 |
|
Claude Marche
|
e991d73789
|
update headers
|
2025-06-04 10:51:30 +02:00 |
|
Guillaume Melquiond
|
8a86d9ac62
|
Update copyright years.
|
2024-12-07 09:01:55 +01:00 |
|
Claude Marche
|
12d4122a41
|
Improve Mlw_printer for Eoptexn
|
2024-10-25 10:32:29 +02:00 |
|
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 |
|
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
|
1c08c1987f
|
micro Python: added def for function/predicate and type variables
|
2021-09-30 14:32:03 +02:00 |
|
Guillaume Melquiond
|
f75492a0db
|
Remove dead code.
|
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 |
|
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
|
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 |
|
Sylvain Dailler
|
f3931e641f
|
external printers: propagate protect_on in pretty
|
2019-12-06 10:31:55 +01:00 |
|