6 Commits

Author	SHA1	Message	Date
Jean-Christophe Filliatre	42c2e450b9	Python/micro-C: at/old/labels now supported ... makes use of auto-dereference	2019-07-06 14:54:56 +02:00
Jean-Christophe Filliatre	5fceac32db	micro-C ... functions/predicates possibly with a definition alternate syntax for but contracts/loop spec before or after curly braces	2019-07-06 13:39:38 +02:00
Jean-Christophe Filliatre	c8a111a2ec	Python/micro-C: at/old/labels not yet supported	2019-07-06 12:41:28 +02:00
Jean-Christophe Filliatre	0471539784	python: support for return statement	2017-01-31 20:52:16 +01:00
Jean-Christophe Filliatre	17487845c3	python: lists modelled with array 'a instead of ref seq 'a	2017-01-30 19:12:37 +01:00
Jean-Christophe Filliatre	aa52f5a827	A new plugin to read Python programs ... for teaching purposes only limited to a microscopic fragment of Python for the moment	2017-01-29 13:02:04 +01:00