Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-11-15

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

All times shown according to UTC.

Time Nick Message
00:36 divine-buildbot Hey! build divine-next-debug #90 is complete: Failure [finished]
01:02 divine-buildbot joined #divine
01:35 divine-buildbot Hey! build divine-nightly-release #16 is complete: Success [finished]
01:56 divine-buildbot joined #divine
02:12 divine-buildbot joined #divine
02:46 divine-buildbot joined #divine
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
03:22 divine-buildbot joined #divine
03:38 divine-buildbot joined #divine
04:02 divine-buildbot joined #divine
04:16 divine-buildbot joined #divine
04:57 divine-buildbot joined #divine
05:19 divine-buildbot Hey! build divine-nightly-debug #16 is complete: Success [finished]
06:51 mornfall ha, chyba v nightly skriptu, nepocita s preskakovanim testu
07:29 xstill mornfall: další 2 patche u mě. (ty brick testy jak chceš, jsou hotové, až na to, že je bude potřeba přejmenovat)
07:57 mornfall a spito mi taky poslal patch
07:57 mornfall mazání visited pc asi dobrý postřeh, na to jsem úplně zapomněl
07:59 yaqwsx joined #divine
08:04 spito mornfall: ty testy pthreadů ti do středy nedodám všechny
08:04 mornfall spito: to nevadí, ale něco by bodlo :)
08:05 spito jo, mám něco rozpracovaného
08:05 spito docela dost jich končí v nedefinované návratové hodnotě
08:06 mornfall zajímavé
08:07 mornfall a jak se ti zatím s novým divinem komunikuje? :)
08:07 spito super :)
08:07 spito teď ještě udělat smysluplné vypisování hodnot proměnných
08:08 mornfall sim něco umí
08:10 spito a bude to umět i divine? ;) ;)
08:11 mornfall no to má trochu problém s hledáním kompromisu :-)
08:11 mornfall když vypíšeš všechno co tam je tak se v tom nepůjde vyznat (viz divine 3)
08:11 spito spíš jsem myslel něco interaktivního
08:11 mornfall no to je ten sim, žejo
08:11 mornfall divine sim soubor.c
08:12 yaqwsx xstill: Kde se flákáš?
08:12 mornfall spito: divine verify ti vysype něco jako choices made: 0 0 0 1 ...
08:12 spito jo, to jsem si všimnul
08:12 mornfall to můžeš vzít a napastovat do divine sim jako 'trace 0 0 0 1'
08:13 mornfall a měl bys mít možnost prolézt si ten error stav, nebo se vrátit (rewind #5 třeba) a porozhlédnout se tam
08:13 mornfall něco málo je popsaný v manuálu
08:26 spito myslím si, že by bylo ještě hezčí, kdyby se dalo divine verify spustit s přepínačem, který při chybě rovnou spustí divine sim přímo s tracem
08:32 xstill_ no to jo
08:34 xstill_ spito: jinak yaqwsx dodělal VERIFY_OPTS, viz třeba test/lart/stub.c teď (čerstvě v repu)
08:34 spito se na to možná zítra podívám
08:34 yaqwsx Nebo by stačilo, aby verify vyplivlo nějaký soubor "verify_log", který by sim uměl načíst
08:35 xstill_ to by taky mělo smysl, ono celkově by dávalo smysl mít ty protipříklady strojově čitelné, třeba nějaký yaml
08:40 mornfall to je taky v planu
08:42 mornfall nektery kousky diosu uz yaml i plivou
08:46 mornfall plan je, ze cely stdout verify da dohromady smysluplnej yaml dokument
08:56 yaqwsx joined #divine
09:59 yaqwsx joined #divine
10:25 yaqwsx joined #divine
12:18 yaqwsx joined #divine
17:03 yaqwsx Co všechno chceme traceovat při spouštění DiOSu by default?
17:13 yaqwsx mornfall: Nevím, jak se mi to povedlo, ale narazil jsem na: encountered Unsupported integer width 48
17:19 yaqwsx Kompilátor se pravděpodobně rozhodl inicializovat strukturu obsahující 6 boolů pomocí integeru.
17:20 yaqwsx ...když do ní přihodím std::tuple<>, začně si stěžovat na integer délky 56...
17:20 yaqwsx Chceme to releasu řešit nějak systémově, nebo nám stačí tento jeden úkaz zatím nějak ohackovat?
17:44 yaqwsx joined #divine
18:42 yaqwsx joined #divine
20:45 mornfall (ne celkem úmyslně jsem teď omezil testy aj buildbotovi a nightly skriptu, to ještě dořeším zítra, teď si asi musim lehnout jinak zítra nevstanu a bude)
20:49 xstill v buildbotovi bych to řešil raději konfigurací buildbota než tím aby DIVINE nějak zjišťoval, že je v buildbotovi
20:51 xstill ještě by to chtělo vyřešit to jak do buildu leze LLVM skrz bricks
21:10 xstill OK, jelikož LLVM linker začne rozbíjet moduly pokud mu řeknu, ať dá prioritu jednomu modulu při linkování (aby překryl symboly), tak tohle s 3.7 LLVM umět nejspíš nebudeme.
21:10 xstill Tím pádem žádné PDClib testy :-/
21:11 xstill Ono i ze zdrojáku likeru to vypadá, že pokud mu řeknu ať to překrývá, tak klidně dá prioritu deklaraci před definicí
21:12 xstill krom toho mě mate, že to ten linker umí dělat jen obráceně než by odpovídalo chování systémového linkeru. Umí jen aby přidaný modul překryl, ne aby se z přidaného modulu použilo jen to co chybí,
21:21 xstill i když asi spíš dělám něco blbě
21:24 xstill nicméně 3.9 linker by teda mohl umět to co chceme
21:34 yaqwsx joined #divine
21:36 xstill hm, vážně jsi chtěl dát 1-3 / 1-4? tj. v release-functional běží všechno?
21:36 xstill BTW. buildbot běhá unit a functional (ne validate), takže v release všechno
21:41 xstill ještě by mi dávalo smysl ty testy při testování řadit podle té obtížnosti
21:43 xstill jinak u mě jsou bricks testy (level 4 + level u (unknown, to jsou ty, které netušíme jak jsou velké, tj. ani jestli jsou vhodné na benchmarky))
22:14 xstill hm, sim/step.2.sh padá
22:27 xstill OK, testy se řadí
22:29 xstill už vím proč padá ten sim test
22:42 xstill (opravil jsem ho)
22:42 xstill teď ty testy vypadaj pěkně

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