7 Commits

Author	SHA1	Message	Date
Andrei Paskevich	bd08435010	Merge remote-tracking branch 'origin/master' into fixclone	2020-03-16 20:52:59 +01:00
Jean-Christophe Filliatre	4a7b0a9c13	fixed queue_two_lists refinement	2020-03-13 17:00:37 +01:00
Jean-Christophe Filliatre	c23bdd6631	Revert "stdlib/queue.mlw, examples/queue_two_lists.mlw: repair cloning" ... This reverts commit 72427eb782.	2020-03-13 17:00:19 +01:00
Andrei Paskevich	72427eb782	stdlib/queue.mlw, examples/queue_two_lists.mlw: repair cloning	2020-03-13 11:13:51 +01:00
Jean-Christophe Filliatre	cdf11847aa	examples: updated files for the gallery	2020-03-04 15:56:23 +01:00
Jean-Christophe Filliatre	d8061602fa	queue_two_lists is indeed an implementation of queue.Queue	2019-06-05 18:01:49 +02:00
zapashcanon	d84b9cc975	add new example: implementation of queue.Queue	2019-06-05 17:52:22 +02:00