Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-03-09

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

All times shown according to UTC.

Time Nick Message
02:49 ilbot3 joined #divine
02:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
11:43 mornfall nejde o velikost binárky ale o ten string literal (nebo o ten kus programu co to bude generovat jako elfovej object přímo)
11:44 mornfall ono když to vyrobíš jako .c tak to bude ještě mnohem víc protože to je binárka takže asi číselný escape sekvence
11:45 mornfall ale s trochou štěstí by to nemusel být problém, jen to není úplně typický :)
11:46 xstill předpokládám, že vygeneruju char[] a budu to tam mít v hexa a snad si s tím kompilátor poradí (je teda pravda, že to bude možná 80 MB soubor :-/)
11:49 xstill generovat přímo elf se mi nechce, navíc někdy bychom chtěli i divine pro windows
12:31 xstill joined #divine
13:45 xstill hm, a vyšlo llvm 3.8

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