Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-05-04

| 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/
13:31 xstill mornfall: počítáme tu už všichni s tím, že DIVINE týden bude v tom prvním termínu
15:22 mornfall jo ja doufal ze to treba jirik potvrdi, nebo aspon neco rekne...
18:55 xstill tak, Jiřík tam stejně s náma nebude sedět celou dobu a programovat
19:13 xstill joined #divine
20:24 xstill nepadal ti ten divnecc náhodou?
20:25 xstill je tam spousta double free
20:26 xstill i když pokud sis vytvořil instanci na jednu kompilaci tak to možná fungovalo
20:28 mornfall ano, moc to nefunguje :) neměl jsem pak moc čas se tím zabývat
20:29 xstill on totiž libclang má super zvyk vzít raw pointer a pak ho zničit a samozřejmě to není nikde zdokumentovaný
20:29 xstill každopádně to mám opravený snad už
20:34 xstill časem to příjde na mail a mohlo by to i jít aplikovat na ty minulé patche
20:34 mornfall fajn, to by mi mohlo ušetřit nějaký utrpení pak :-)
20:35 xstill zdá se že umím zkompilovat něco pro divine, jen se rozpadl trochu userspace, například nefunguje atomic (divinecc nedefinuje že je x86_64)
20:36 xstill ale to počítám půjde snadno opravit tím, že se připíše správný ifdef do libc++
20:36 xstill alternativně se můžem tvářit jako x86_64, ale to bych spíš nedělal
20:36 xstill hm, i když, on se tak tváří
20:37 xstill teda alespoň podle triple
20:37 mornfall uvidíme
20:37 xstill a to tam být musí
20:37 mornfall no nějakej triple tam být musí
20:41 xstill hm, ono je to zaifdefovaný v  !__has_feature(cxx_atomic) && _GNUC_VER < 407, skoro bych čekal, že __has_feature je definováno nějak interně a bude fungovat pořád
20:41 xstill teda, funguje to v negaci toho
20:53 xstill aha ne, chyba byla v propagaci parametrů :-D
22:32 spito joined #divine
23:49 spito joined #divine

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