Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-01-28

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
03:38 divine-buildbot Hey! build divine-nightly-debug #62 is complete: Failure [finished]
08:43 mornfall protože když si nepřečteš manuál a nějak to náhodně zbuildíš a pak zjistíš že nefunguje sim, tak si nejspíš budeš stěžovat místo abys šel a přečetl si manuál
08:43 mornfall rekonfigurace funguje jako vždy, rm -rf _build.*
08:43 mornfall navíc co chceš rekonfigurovat
08:45 xstill no pokud chceš vypnout sim teď tak to znamená spustit make, počkat až tě to pošle do háje a pak jít do build složky a tam ručně spustit cmake abys to vypnul. Nebo něco přehlížím?
08:47 mornfall local.make
08:48 mornfall (CONFIG = ...)
08:48 xstill jo, ale to zjistíš jedině čtením Makefile
08:50 mornfall furt asi nevidim ten big picture... k čemu to má sloužit?
08:50 xstill k tomu když si někdo chce vyzkoušet divine a nemá libedit
08:51 xstill máme na to opšnu… ale když ji člověk chce zapnout tak aby pročítal make
08:52 mornfall nainstalovat libedit většinou není zas takovej problém (asi menší než se dívat do manuálu jak se vypne sim a pak to rebuildit když zjistíš že ho vlastně chceš)
08:53 mornfall pokud ti na tom hodně záleží, tak doporučuju vyifdefovat do sim-u nějakej hloupej vstupní mód (a pak řešit lidi co si stěžujou protože to je těžce nepoužitelný)
08:54 mornfall nebo ten libedit prostě přibalit do external/, není zas tak velkej
08:55 mornfall komu se povedlo narazit na ten error a nedostat se dál?
08:57 divine-next 1 new patch validated [xstill]
08:58 xstill Markovi, protože buildil na počítači kde nemá právo instalovat
08:59 xstill heh, zredukoval jsem demo/memory z 523 stavů na 3
09:11 mornfall hm, kdo je Marek a kde to překládá (a k čemu ten divine chce)?
09:11 mornfall bez sim-u je to použitelný jen na dost specifický věci
09:13 xstill Chalupa, od Strejdy, zkouší jejich slicer s různými nástroji a chce to zkusit i s DIVINE
09:17 mornfall to je pak asi správný řešení CONFIG = -DBUILD_SHARED_LIBS=ON -DOPT_SIM=OFF do local.make
09:20 mornfall (kdyby se někdo zeptal tak se to dozví, takhle to je ale těžký)
09:21 xstill on se mě ptal, akorát ve starým DIVINE to fungovalo tak, že když něco chybělo tak se příslušná věc vypnula, tak jsem se divil proč se to neděje teď
09:22 mornfall mezičasem formela.fi.muni.cz odkazuje na symbiotic.sf.net který neexistuje
09:23 xstill https://github.com/staticafi/symbiotic/
09:24 mornfall to asi nebude ten slicer co je v symbioticu co?
09:24 xstill hm?
09:24 mornfall no to co ten Marek teďka testuje
09:25 xstill no ten testuje
09:25 mornfall to bude mít dost těžký, když poslední commit je 'update to llvm 3.4'
09:26 xstill to má normálně běhat až po 3.8
09:27 xstill ale jo, to repo je nějaký divný, možná to maj ještě někde jinde
09:27 mornfall mchalupa má u sebe ještě starší fork
09:27 xstill jo, protože to je starý slicer, aktuální je dg
09:28 mornfall no to jsem se ptal :-)
09:28 xstill no, dg je akutální slicer který se používá v symbiotiku pokud vím
09:28 mornfall jo ale v symbioticu jsou oba
09:30 yaqwsx_cz joined #divine
09:36 mornfall hm, v diplomce píše že se neví jestli ty chyby co symbiotic generuje jsou slicerem nebo něčím jiným... už se na to přišlo?
09:36 mornfall (druhá věc je teda, že to asi moc nepočítá s vláknama nebo tak, aspoň jsem se nic takovýho nedočet)
09:37 xstill nevím o tom, že by to vyřešili
09:37 xstill s vláknama nepočítá
10:17 xheno Čo neprechádza za testy? U mňa aj na arke prešlo všetko.
10:18 mornfall xheno: ###### lart::t_abstract::Symbolic::loop caught fatal signal 6
10:18 mornfall $ darcs pull ~xlauko1/next/
10:18 mornfall No remote patches to pull in!
10:20 xstill xheno: případně viz buildbot
10:21 xheno Aha v release to prešlo, ale v debugu to padlo. Pozrem na to.
10:21 mornfall unit testy v release, to sú zase nápady :p
10:24 yaqwsx_ joined #divine
10:27 xheno Inak ten Markov slicer je tu: https://github.com/mchalupa/dg
10:28 mornfall xheno: už som to našiel, aj diplomku k tomu
10:28 yaqwsx joined #divine
10:43 divine-buildbot Hey! build divine-next-debug #453 is complete: Failure [finished]
11:00 xstill mornfall: aktualizoval bys web aby tam byl link na virtuálku?
11:45 mornfall jo az dojdu k internetu nekde
12:07 mornfall xstill: je to tam
12:12 divine-next 1 new patch validated [mornfall]
12:12 mornfall asi abych se vybral na ten devconf nebo co
12:13 mornfall třeba tam aspoň někoho potkám když nic jinýho
12:18 mornfall jo slajdy na https://paradise.fi.muni.cz/~xrockai/devconf.pdf
12:34 xstill dík
12:35 xstill ke slidům: možná by na první slidu mohlo být, že DIVINE je vlasntě nástroj na hledání chyb, nevím co si mám představit pod "nearly bulletproof"
13:57 divine-buildbot Hey! build divine-next-debug #454 is complete: Failure [finished]
14:02 mornfall tak se to třeba dozvíš na talku :p
14:03 mornfall myslím že hledání chyb je jasný z memory bugs / uninitialised variables
14:04 mornfall a aula je ze 2/3 prázdná
19:43 xheno mornfall: Už by to malo fungovať.
19:45 mornfall xheno: pozrem az dorazim domov
20:42 divine-next 1 new patch validated [xlauko]

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