Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-19

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:26 xstill hm, přesně obráceně to mám žejo
07:29 xstill tak dneska mi kupodivu graylisting pomohl
07:49 mornfall mazal jsi neco z fronty? :p
07:53 xstill j
07:58 xstill on by se musel přepsat visitor aby šlo ukládat stavy před tím než se dají do stacku
08:00 xstill s tím, že transitionFilter by pak měl jiné pořadí procházení než transition což je dost divný
20:32 xstill hm, timed moc nefunguje
20:33 mornfall v jakém smyslu nefunguje?
20:34 xstill pustil jsem to na modelech co jsem měl v bakalářce a vypadá to že v generátoru dojde k nekonečný rekurzi
20:35 mornfall nojo, to mám radost ... jdu si dát sprchu a jestli neusnu tak něco napsat...
20:36 xstill to bys mohl (teda tu část něco napsat, se sprchou si dělej co chceš), třeba příjdu na to co je tomu timed…
20:42 xstill tak ne, je to "jen" assert a krom toho to teda nějak nechutně dlouho generuje první stav nebo co
20:42 xstill každopádně je to divný
21:46 xstill tak je to jen nechutně pomalý, ten asssert byl jen v simulate

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