Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-04-16

| 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:33 mornfall lepší se to, /run/current-system/sw/bin/bash: Exec format error
09:27 mornfall no, už máme A- ... teď ještě co je s těma pheme...
09:29 xstill :-)
09:29 xstill co je s pheme?
09:36 xstill hm, coin je nějakej rozbitej, por se nikdy nezapne
11:10 jirik joined #divine
11:11 mornfall xstill: to kdybych věděl
12:04 xstill sakra kdybych já věděl čím jsem rozbil to cesmi
12:11 mornfall hm, pheme maj ve storech spoustu cest se špatnýma hashema
12:11 mornfall řekl bych že se nám to rozpadá
12:12 mornfall no uvidíme
12:12 mornfall bbiab
12:20 jirik xstill: uredni siml dorechtal ...
12:20 jirik zase je to v procesu
12:22 xstill jirik: díky
12:22 xstill (zpoždění přežiju)
12:23 mornfall (to je nějaká šifra? :-)
12:33 xstill mornfall: máme dokumentaci na používání LTL s LLVM?
12:33 xstill (v manuálu je pořád že neumíme výjimky)
13:18 xstill wtf, když ten failnutej cesmi test pustím samostatně tak to je v pořádku (padá to na počet stavů)
13:32 xstill ach jo, kecám žejo
13:32 xstill pouštím jinej divine
13:32 xstill :-D
13:32 mornfall :-)
13:32 mornfall jo, manuál by to chtělo opravit
19:07 spito joined #divine
19:13 spito left #divine

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