Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-04

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

All times shown according to UTC.

Time Nick Message
07:46 mornfall spito: nevíš, malloc.h je v brick-process kvůli windows?
07:46 xstill mornfall: nedával jsi ho tam kvůli alloca?
07:47 xstill mornfall: wibble/sys/fs.cpp:17:#include <malloc.h> // alloca on win32 seems to live there
07:47 mornfall nj. ale brick-process.h alloca nepoužívá
07:50 xstill aha, tak nevím
08:03 mornfall /home/xrockai/src/divine/mainline/_build/divine/instances/auto/select.cpp:431:3: note: variable tracking size limit exceeded with -fvar-tracking-assignments, retrying without
08:03 mornfall zajímavý
08:05 xstill zajímavý no, ale to jsou prej jen nějaký podrobnější debug info při optimalizacích
08:17 mornfall máme ještě něco na co chceme udělat testy? ta moje paměť
08:18 mornfall hm, na tu kanonizaci asi test nenapíšu dokud minimálně nepřijdu na to co to je
08:19 mornfall jestli to nenajdu dneska než pojedu pryč tak asi pushnu 3.3.1 a tady s tím se vypořádám pak
08:26 xstill nechtěli jsme ještě něco do 3.3.1?
08:26 mornfall hm, zajímavý, něco jsem lehce poměnil teď jsou ty pointry místo 41 vs 43 na 27 vs 29
08:27 mornfall ty výjimky vlastně
08:27 mornfall asi
08:28 mornfall no uvidíme
08:28 mornfall ono bude možná nejlepší udělat release a pak pushnout failující test
08:28 mornfall nebo nevim, můžu to zkusit ale naposled jsem narazil na nějaký nepříjemnosti s typeinfo
08:29 xstill jo, ty by to chtělo, možná i víc než tu kanonozaci, no ten test bych možná pushnul i předem… jako dělat release ve kterým víme že jsou takovýhle chyby mi nepříjde moc dobrý (teda hlavně ty výjimky)
08:29 xstill test ti můžu udělat, ale s opravou ti mám obavu nepomůžu
08:30 mornfall no, to je právě otázka, chyby tam budou tak jako tak, to že o nich víme mi nepřijde jako tak zásadní rozdíl :)
08:30 mornfall a zrovna tahle tam už je... dlouho
08:31 xstill já ti nevím, zas tu kompresi by pravda mělo smysl mít releasnutou
08:33 xstill jako rozdíl mi příjde zásadní v tom, že když o chbě nevíme tak ji nemůžeme opravit, pokud o ní víme, tak bysme se o to měli pokusit
08:35 mornfall 21 -> 23 22 -> 24 23 -> 25 24 -> 26 25 -> 27 26 -> 28 27 -> 29 28 -> 30 29 -> 31 30 -> 32
08:35 mornfall ha
08:35 mornfall (27 -> 29)
08:59 mornfall xstill: hm, gcc_explicit nemá reachability a ten test to nekontroluje
09:02 xstill aha, to není dobrý no
09:02 xstill můžu to tam přidat
09:23 mornfall [ 0:00] % divine verify --csdr --report -w 1 --compression=none --property=deadlock --max-time=600 --no-reduce data/empty.dve 2> progress | capture
09:23 mornfall [ 0:00]     FATAL: no valid component for Generator was built, at [ Algorithm::Csdr ]
09:23 mornfall (gcc_mpi)
09:24 xstill zkontroluju to
09:27 xstill btw. co se stane když budu mít skip uvnitř shelltestu?
09:28 mornfall pokud to k němu dojde tak skip když ne tak fail
09:29 xstill a co bude s těmi testy co byly před tím? ty budou ok?
09:29 xstill (když projdou)
09:29 mornfall v jakém smyslu ok?
09:30 xstill jako označený že prošly nebo tak něco, aha ono to pak celý bude jako skipped, ne?
09:30 mornfall jistě
09:30 xstill a můžu se spolehnout na nějaké pořadí těch shelltestů?
09:30 mornfall no, je to skript, běží to jako skript
09:31 xstill mezi skripty
09:31 mornfall tomu asi nerozumim
09:31 mornfall to že jeden skript udělá skip nemá na žádný jiný skripty vliv
09:32 xstill mám dva testy, jeden z nich musí běžet první, jinak ten druhej bude dělat haluz, jenže ten druhej má větší požadavky na zkompilované věci a myslel jsem, že bych nemusel chránit oba stejnými guardy, a nechce se mi mít skip to té co proběhne část testu, tak jsem myslel, že bych to rozdělil, ale potřebuju aby ten první běžel první
09:32 xstill (ten druhej bude dělat haluz pokud by ten prnví neprošel)
09:33 mornfall to fakt nedělej, když někdo napíše make functional T=ten_druhej tak se to sesype
09:33 xstill hm
09:33 mornfall každej skript musí být samostatnej
09:34 mornfall spíš dává smysl udělat tu společnou práci 2x
09:34 mornfall tzn. a: if něco skip ... b: if něco_víc skip else a; pokračování
09:35 xstill hm, teď úplně nevím jak to myslíš
09:37 mornfall no, prostě b zavolá interně a
09:37 mornfall po tom co zkontroluje že to co je b-specific bude fungovat
09:37 xstill a,b jsou jednotivé soubory?
09:37 mornfall jo
09:40 xstill hm, jako to by šlo, až na to, že se to bude pouštět víckrát, ale to nás asi moc trápit nemusí zase
09:45 mornfall nemusí
14:51 mornfall myslim ze az to posles bude release
14:52 mornfall jeste ve vlaku mrknu na vyjimky
16:07 xstill nojo ty csdr testy padaj protože jsem kretém asi
16:17 xstill hm nebylo by lepší míst if ( mf.valid() ) ASSERT( ... ) mít ASSERT( !mf.valid() || ... )? kvůli rychlosti v release, i když ono je to jedno, ono to stejně asi nebude schopný vyhoidit tu inicializaci mf
16:38 xstill hm, ale to že se v dessu vůbec nedaj poznat akceptující stavy možná není dobrý
16:38 xstill jako daj se poznat všechny goaly, ale accepting asi ne
16:40 xstill tím pádem ten druhej dess test nemůže projít, protože reachability počítá i počty akceptujících stavů
16:44 xstill to jsem se zase beztak důkladně zamyslel když jsem to dělal
17:15 mornfall stane se
17:16 mornfall s vyjimkama je problem ze can_catch segvi v dynamic_castu
17:16 mornfall zatim jsem to nerozresil
17:18 xstill jak je to možný?
17:46 xstill no vida, teď se dá udělat to, že se udělá dess s property a na něm owcty, a ono kdyby se mi s tím chtělo trochu hrát tak by se dalo exportovat dess aj bez buchi a pak to přenásobit podle flagů
17:46 xstill ale to až zase někdy
17:46 xstill nejdřív by to stejně muselo být schopný vypsat smyslupně protipříklad
17:53 xstill no ono stejně genexplicit nikdy pořádně netestujeme pokud ho nezapneme ve full buildu, nebo něčem dost podobném (jako nemusí mít mpi a kompresi, ale to je tak všechno)
17:53 mornfall no jako segví ve smyslu že to generuje protipříklad
18:20 xstill něco jsem ti poslal, ale neopraví to explicit test úplně, protože u dve (a pravděpodobě i jinde) to padá na tom, že to nemá žádné goal flagy
18:21 xstill a podívej se co jsem udělal s těma testama jestli to není kravina
19:22 mornfall _rech? :-)
19:22 mornfall (myslel jsem že to je překlep ale je to tak konzistentně)
19:22 mornfall uvidíme co na to hydra
21:00 xstill hm, to je zase hodin
21:03 xstill _rech se stalo nějak omylem a vim mi to pak asi podoplňoval všude dál
21:08 mornfall invalid linkage for intrinsic global variable
21:08 mornfall [3 x { i32, void ()* }]* @llvm.global_ctors
21:08 mornfall tohle jsi nedávno taky řešil ne?
21:15 xstill no přišel jsem na to proč to je, ale neopravil jsem to, můžeš z toho udělat .ll a připsat tam appending global místo global
21:15 xstill jako jo, chtělo by to opravit v linkeru
21:28 mornfall no, vidím to na chybu divinu
21:29 mornfall http://lpaste.net/130160 tohle jde spustit ale v divinu to hází bad dereference
22:31 mornfall joined #divine
23:13 mornfall joined #divine

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