Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-24

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

All times shown according to UTC.

Time Nick Message
12:16 xstill mornfall: https://www.ibisc.univ-evry.fr/~fpommereau/publis/GPG-JSC-2014.pdf
12:27 mornfall grumberg efficient on-the-fly model checking for ctl*
12:29 xbarnat joined #divine
12:30 mornfall xbarnat: grumberg efficient on-the-fly model checking for ctl*
20:42 xstill mornfall: AssertFailed: /home/xstill/DiVinE/mainline/divine/llvm/interpreter.h: 301: assertion `state.stack().get().length()' failed
20:42 xstill (to je ten fischer)
20:43 xstill ((s U namísto W a --fair))
20:43 xstill hodím to i do tracu
20:43 mornfall veselé
21:15 xstill není možné, že se nějak hrábne na to virtuální vlákno od fairness (jen tipuju, nezkoumal jsem to)?
21:25 mornfall není to nemožné

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