Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-09-19

| 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/
06:05 xstill mornfall: globální konstanty (jako třeba string literály) jsou nějak mimo stav, že?
06:49 mornfall jo
07:16 mornfall zbývá opravit výjimky a LTL, ostatní už zdá se funguje s 3.7
14:05 xstill mornfall: v jakém stavu je ta aa v lartu? (jsem to pustil a blije mi to tu už asi hodinu nějaký kusy llvm na terminál…)
14:45 mornfall jo to i.dump() to asi dost brzdí, na každém loadu
14:45 mornfall si to zakomentuj
14:46 xstill a jinak to funguje?
14:46 mornfall (to ještě ani nespustilo solver, ono po novém dump instrukce trvá snad půl vteřiny nebo tak něco)
14:47 mornfall asi, jak to mám vědět?
14:47 xstill tak, programoval jsi to…
14:47 mornfall protože když ty něco naprogramuješ tak po roce co to nikdo nepoužil víš zcela jistě že to funguje
14:48 mornfall když jsem to zkoušel naposled tak to fungovalo (plusminus bugy který tam skoro jistě nějaký jsou)
14:48 mornfall ale to jsem říkal už asi tak stokrát

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