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
Guillaume Melquiond
79738ae6a4
Update headers.
2023-03-07 09:58:45 +01:00
Jean-Christophe Filliatre
9e183c7c61
micro-Python: added by and so connectives
2022-11-14 14:40:52 +01:00
Jean-Paul Bodeveix
11e9c87dc5
Improved micro Python
2022-09-08 16:00:22 +02: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
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
Guillaume Melquiond
0070b9408d
Update headers.
2020-03-17 09:52:33 +01:00
Sylvain
ea286888a6
External printer/parser: proof of concept on python plugin
2019-09-25 16:31:23 +02:00
Jean-Christophe Filliatre
c8a111a2ec
Python/micro-C: at/old/labels not yet supported
2019-07-06 12:41:28 +02:00
Guillaume Melquiond
abf9c043cf
Update headers.
2019-02-11 15:35:11 +01:00
Guillaume Melquiond
b24a340f8f
Merge branch 'new_ide'
2018-01-17 18:24:54 +01:00
Guillaume Melquiond
bf7ca1d4dd
Use Lexing.new_line whenever possible.
2018-01-12 18:41:25 +01:00
Guillaume Melquiond
b663374c2b
Version 0.88.3
2018-01-11 14:52:31 +01:00
Claude Marche
216f2ecd71
update header for year 2017
2017-04-12 14:17:56 +02:00
Jean-Christophe Filliatre
272e253a0f
python: functions and predicates
2017-03-17 17:04:29 +01:00
Jean-Christophe Filliatre
fec2cd7b3a
python plugin: parse function in Py_lexer
2017-03-09 11:11:54 +01:00
Andrei Paskevich
50513e7094
python: add the element preservation property for insertion sort
...
In a different file, so that we can show the simpler ordering property
first.
Also, I cheat, and add an appropriate lemma to modules/python.mlw.
Maybe this is a good lemma to have in map.Occ, too.
2017-02-01 00:06:12 +01:00
Jean-Christophe Filliatre
de593c3543
python: new example sort
2017-01-31 22:23:15 +01:00
Jean-Christophe Filliatre
637695e64a
python: print is now variadic
2017-01-31 18:53:35 +01:00
Jean-Christophe Filliatre
c5d557018e
python: support for break in while loops
2017-01-31 16:02:44 +01:00
