Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-04-07

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

All times shown according to UTC.

Time Nick Message
02:20 xHire joined #divine
09:55 xstill mech, ten SV-COMP se trochu vymiká kontrole…
10:02 xstill ale bude nejspíš LTL a dokonce možná C++ a memory modely
11:57 xstill mornfall: nápad: protipříklad by mohl být spustitelný elf který by vznikl transformací původního kódu tak že by se zafixovaly choice a scheduler
11:57 xstill to by vyřešilo debugování protipříkladů
16:20 mornfall to má být novej nápad nebo připomenutí? :)
16:21 mornfall (protože celý to s maybe_interrupt vzniklo kvůli tomu)
16:30 mornfall nicméně se už možná nedivim proč si všichni myslíte že nic nedělám :-P
16:33 mornfall scheduler je podmnožina choice, problém je v redukcích, proto maybe_interrupt kterého výsledky (interrupt nebo nic) si musíš pamatovat taky
16:34 mornfall druhý problém kterej jsem úplně nevyřešil je jak skákat mezi schedulerem a vláknama a tak
16:34 mornfall bude to muset switchovat zásobník, což by nějak jít mohlo ale bude to dost magie
16:36 mornfall samozřejmě nakonec to má ještě ten problém, že to je jen polovina řešení -- gdb/lldb/... nad tou binárkou furt nebude moc umět chodit dozadu, ale s tím se asi žít dá
21:21 xstill hm, sakra já jsem myslel, že jsem něco vymyslel
21:21 xstill gdb umí chodit dozadu
21:21 xstill jen to trochu bolí
21:21 xstill ale když nemáš IO tak by to mohlo i fungovat

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