[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#27874] add cubicle
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#27874] add cubicle |
|
Date: |
Sat, 05 Aug 2017 23:24:29 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) |
Julien Lepiller <address@hidden> skribis:
> Le Sun, 30 Jul 2017 10:43:12 +0200,
> Julien Lepiller <address@hidden> a écrit :
>
>> Hi, here is a patch to add cubicle, a model checker.
>
> Pushed as 3d5d87a3ae4a3320bb909265ac4d2739e206dfdd.
Please remove “open source” from the description. :-)
Thanks for this patch!
Ludo’.