Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-06-20

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
12:57 zakoo joined #divine
12:57 zakoo ahoj, mam problem pomuzete mi prosim?
12:57 zakoo uz se docela dlouho snazim a porad nic
12:57 zakoo rozjizdim vlastni transformaci a porad ne ne ji dostat do instance
12:57 zakoo { Transform::None,     constTrue },
12:57 zakoo { Transform::Fairness, []( const Meta &meta ) { return meta.algorithm.fairness; } },
12:57 zakoo { Transform::Random,   []( const Meta &meta ) { return meta.algorithm.random; } },
12:57 zakoo { Transform::POR,      []( const Meta &meta ) { return meta.algorithm.reduce.count( graph::R_POR ); } },
12:58 zakoo random je true - podle debugu
12:58 zakoo ale nakonec skoncim stejne s NonPORGraph, parametry mam akorat no-reduce
12:58 zakoo Dík :-)
13:01 zakoo joined #divine
13:25 zakoo joined #divine
13:32 zakoo joined #divine
13:33 spito no...
13:34 spito asi by bylo dobrý vidět celý definitions.h
13:34 spito a možná i tvoji implementaci random transformace
13:37 zakoo odpo jeste ukazu i zbytek, ale je to udelay podle fairnes cele :-/
15:17 zakoo joined #divine
15:49 zakoo joined #divine
15:51 zakoo joined #divine
18:28 zakoo joined #divine
18:40 zakoo joined #divine
19:04 zakoo joined #divine
19:08 zakoo joined #divine
19:11 zakoo joined #divine
20:23 zakoo joined #divine
20:28 xstill_ joined #divine
20:28 zbeasnyy joined #divine
20:41 zbeasnyy joined #divine
21:50 mornfall joined #divine

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