Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-08-28

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:49 xstill hm, proč jsme nikdy netestovali efekt různých llvm optimalizací?
07:51 xstill na fifo.cpp: základní je 3.1s/6002 stavů, -O2: 2.1s/7355, -O1: 1.5/5250, -Os: 1.6/5673, -Oz: 1.5/5074, to nejsou zrovna malé rozdíly
07:54 xstill (optimalizuju to opt-em na hotovém .bc s celým runtime)
12:47 xstill hm, tak na leader_unicircle-basic: -Oz: 2282s/31469822, bez: 2686s/19341905
19:20 mornfall myslím že zejména proto, že verifikovat chceme to co nám dá uživatel, a uživatel bude chtít verifikovat to z čeho bude pouštět codegen, asi
19:22 xstill o tom dost pochybuju, běžnej uživatel bude překládat v divine a pro normální spuštění úplně nezávisle si myslím
19:22 xstill protože udělat to tak abys mohl pustit codegen nad tím co vygeneruje divine bude docela opruz
19:23 xstill a potřebuješ to v podstatě jen pokud fakt nevěříš frontendu kompilátoru (což děláš v podstatě dobře, ale zas tak paranoidní většinou lidi nebudou)
19:24 xstill ale jak ukázal ten druhej model, ne vždycky je to tak pozitivní

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