Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-09-14

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

All times shown according to UTC.

Time Nick Message
07:37 mornfall http://divine.fi.muni.cz/status/log/w96y5i08dsky5wbdyxa0wf9x0cklzz3s-divine-ubuntu1304_debug_x86-3.2.0+pre5181/vanilla:algorithm_owcty.sh
07:37 mornfall [ 2:55] % divine verify --owcty --report data/bridge.xml -w 2 --compression=ntree --property=1 --max-time=600 --no-reduce 2> progress | capture
07:38 mornfall [ 2:59]  generating counterexample...      /var/tmp/divine-3.2.0+pre5181/divine/graph/ltlce.h: 394: assertion `shared().ce.successor_id != 0' failed; got [0] == [0] instead
07:39 mornfall a na 32b ubuntu jsou asi rozhasený binutils
07:41 mornfall hm, a jinde zase [ 1:41]  generating counterexample...      /tmp/nix-build-divine-gcc_full_debug_x86-3.2.0+pre5181.drv-0/divine-3.2.0+pre5181/divine/graph/ltlce.h: 146: assertion `shared().ce.current_updated' failed;
07:42 mornfall něco máme s protipříkladama
07:42 mornfall jinak je rozbitý jen ten resourcelimit snad
07:55 xstill mornfall: hm, ty jsi předělal unit testy tak že nefungují bez nixu?
07:57 xstill aha ne to by mělo fungovat všude
07:57 xstill máš to dost divně pojmenovaný
08:27 mornfall alternativně by se to mohlo řešit v cmaku podle NIX_BUILD
08:28 mornfall to že nix/test-wrapper.sh je noop když není nix mi nepřijde zas tak divný
13:15 xstill máme někde vektorové verze loga paradise (ikony i celého loga s textem)?
13:16 xstill i ikona divine by byla fajn
13:45 mornfall nevím...
14:00 xstill ok
15:47 xstill hm, jsem tikz dost podcenil když jsem měl pocit že manuál má cca 700 stránek
16:42 mornfall co vyrábíš? :)
16:56 xstill uvidíš

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