Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-14

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

All times shown according to UTC.

Time Nick Message
09:23 spito mornfall: ještě ten ranní patch bys mohl pushnout
09:23 spito tak nic
09:23 spito :)
09:42 mornfall spito: :P
09:43 mornfall zdá se že to začíná zase fungovat ;-)
10:01 spito tak ono to fungovalo, jen jsem zapomněl přidat dva soubory, no
10:01 spito a teda až na to bubuntu
10:07 mornfall bubuntu rozbil xstill :-)
10:07 mornfall a počítám že momentálně má plný ruce něčeho úplně jinýho
10:12 spito že by už takhle zrána? to se mi nezdá
11:14 spito mornfall: nějak se to zase sype
11:14 spito a tentokrát za to nemůžu já :P
11:33 mornfall jo, zašantročil jsem patch
11:55 spito jak si najdu v nixu boost?
11:56 xstill spito: cmake .. -DBoost_INCLUDE_DIR=$(nix-build -A boost.dev "<nixpkgs>")/include
12:00 mornfall /tmp/nix-build-divine-gcc_explicit_relwithdebinfo_x64-3.2.4+pre5745.drv-0/divine-3.2.4+pre5745/divine/algorithm/genexplicit.h:437:9: error: no matching function for call to 'divine::algorithm::PORGraph<divine::generator::Dve, divine::visitor::NTreeStore<divine::visitor::PartitionedProvider, divine::generator::Dve, divine::algorithm::Hasher, divine::NoStatistics>, divine::NoStatistics>::initials(divine::al
12:00 mornfall gorithm::_GenExplicit<Setup>::writeFile() [with Setup = divine::instantiate::Setup_Algorithm_GenExplicit__Generator_Dve__Transform_POR__Visitor_Partitioned__Store_NTreeStore__Topology_Local__Statistics_NoStatistics_]::__lambda71)'
12:00 mornfall hm, na genexplicit jsem trochu zapomněl :P
12:27 mornfall jo a ndfs taky
12:54 spito skoro jsem ti to chtěl napsat taky, ale o půl hodinky jsi mě předběhnul
14:37 spito mornfall: na bubuntu1404 x86 failuje test llvm/exceptions.sh
14:50 mornfall hmm, [ 2:07] lib: line 255: 10719 Segmentation fault      divine verify $f -p $prop -d -r 2>> progress
14:50 mornfall to vypadá radostně :P
18:15 spito heh, co se to zase děje?
19:50 xstill left #divine

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