Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-08-02

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
08:10 mornfall chce, no
08:10 mornfall taky jsem si minule říkal :-)
08:11 mornfall xstill: nix-env -i /nix/store/hvnfvbc8fbj9q3ryw0fmlapbhw8x6qca-gdb-7.7/bin/gdb
08:25 xstill dík
08:27 xstill hm, máš čas portovat divine na brick v dohledné době?
08:28 mornfall něco zkusím a uvidíme
08:28 mornfall začnu tím hashsetem
08:28 xstill ok
08:47 xstill jo hýbal jsem s includama, tak si vezmi ty patche než budeš něco měnit
08:47 mornfall jj
09:09 xstill jo, simulate jsem tak nějak portoval protože jsem chtěl aktualizovaný maybe
10:38 xstill hm, je možné testovat konečnost běhů tím, že na konec main dám atomickou propozici 'a' a property bude F( a )?
10:45 mornfall no, spíš to testuje že nemáš žádnej jinej exit
10:46 xstill no a pokud tam bude někde cyklus tak to bude taky protipříklad, ne?
10:49 xstill jestli to dobře chápu tak by se to mělo znegovat na něco jako G( !a ), takže cyklus kde nikde neplatí a by to mělo taky najít
10:50 mornfall no to jo, pokud se to může zacyklit tak to platit taky nebude
10:51 mornfall každej běh kterej tím a neprojde je protipříklad
10:51 mornfall ale bez fairness je to asi dost k ničemu
10:53 xstill aha protože tam budou cykly typu self loopu v pthread_create
10:53 mornfall jo
11:20 xstill jo jinak mám model celýho divine se shared a zmenšeným dummy, jen jsem musel obejít pool; divine to načte, nicméně to bude asi dost obrovský
11:21 xstill (2 vlákna, 9 stavů ve vnitřním modely)
11:21 xstill *modelu
13:24 xstill má to teda dost nekomprimovatelný stavy
18:33 spito joined #divine
18:34 * spito mává
19:33 mornfall zajímavý
20:18 mornfall reminder na memics :-)
20:59 ilbot3 joined #divine
20:59 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
21:17 mornfall xstill: už verifikuješ divine na auře? :-)

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary