Project

General

Profile

Edit Actions

Bug #87

closed

kind2 output: merge

Added by Anonymous over 3 years ago. Updated 2 months ago.

Status:
Closed
Priority:
Normal
Category:
Bug
Start date:
07/17/2019
Due date:
% Done:

0%

Estimated time:

Description

Lustrec syntax:
merge c
(true -> a when true(c))
(false -> b when false(c));
Kind2 syntax:
merge c
(true -> a when c)
(false -> b when not c);

Updated by Hamza Bourbouh over 3 years ago

  • Status changed from New to Closed

fixed in lustrec-seal branch

Updated by Anonymous 8 months ago

https://www.bestwatchaaa.com/Chopard-replica.html https://www.swissrepicass.com/ https://www.fakeswatchs.com/Vacheron-Constantin-fake.html https://www.allshopwatch.com/Oris-a-hot.html https://www.replicawatchsshop.cc/Glashutte-Original-Replica.html https://www.hotwatchsreplica.com/Panerai.html https://www.fakeswatchs.com/GaGa-Milano-fake.html https://www.replicawatchsshop.cc/Piaget-Replica.html https://www.copywatchstyle.com/Blancpain-replica.html https://www.allswisswatchs.com/JAPANESE-Hublot.html https://www.bestwatchaaa.com/Audemars-Piguet-replica.html https://www.fakeswatchs.com/Calvin-Klein-fake.html https://www.copywatchstyle.com/Formex-replica.html https://www.allwatchesen.com/ https://www.allshopwatch.com/Movado-a-hot.html https://www.luxuryshopwatch.com/Perrelet.html https://www.hotwatchsreplica.com/Audemars-Piguet.html https://www.bestwatchaaa.com/TAG-Heuer-replica.html https://www.newwatchesale.com/Breguet-watch.html https://www.luxuryshopwatch.com/Mido.html https://www.perfectwatchen.com/replica-Rolex.html https://www.swisswatchesale.com/replica-JAEGER-LECOULTRE.html https://www.newwatchesale.com/Movado-watch.html https://www.copywatchstyle.com/Patek-Philippe-replica.html https://www.bestwatchss.com/Girard-Perregaux-Replica-Watches.html https://www.fakeswatchs.com/Philip-Stein-fake.html https://www.luxuryshopwatch.com/Maurice-Lacroix.html https://www.luxuryshopwatch.com/Fortis.html https://www.bestwatchss.com/Roger-Dubuis-Replica-Watches.html https://www.luxuryshopwatch.com/Wittnauer.html https://www.shopwatchus.com/Hermes-best-watch.html https://www.shopwatchus.com/Breguet-best-watch.html https://www.watchrm.com/Seiko-fake-watches.html https://www.bestwatchaaa.com/Hublot-replica.html https://www.shopwatchus.com/Diesel-best-watch.html https://www.luxuryshopwatch.com/Chaumet.html https://www.fakeswatchs.com/Zenith-fake.html https://www.swisswatchesale.com/replica-Piaget.html https://www.shopwatchus.com/Tudor-best-watch.html https://www.shopwatchus.com/Graham-best-watch.html https://www.goodswisswatch.com/fake-Franck-Muller.html https://www.allshopwatch.com/IWC-a-hot.html https://www.copywatchstyle.com/Harry-Winston-replica.html https://www.hotwatchsreplica.com/Hublot.html https://www.goodswisswatch.com/fake-Bvlgari.html https://www.bestwatchaaa.com/Bedat-Co-replica.html https://www.copywatchstyle.com/Lundis-Bleus-replica.html ones.

Updated by Anonymous 4 months ago

can you describe the output? phoodle

Edit Actions

Also available in: Atom PDF