Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-10-05

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

All times shown according to UTC.

Time Nick Message
07:01 xstill joined #divine
08:20 spito joined #divine
13:57 _ilbot joined #divine
13:57 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
16:00 mornfall jo, to SSD jsem úspěšně rozebral a namontoval do toho edge :-)
16:02 mornfall vrazil jsem tam fólii jako izolaci a půlku originál krytu a vypadá to docela OK a zejména to teda funguje
16:08 xstill :-)
16:08 xstill půlku krytu :-D
16:12 xstill tak já se teď snad konečně dostanu k clangu
16:15 mornfall :-)
16:18 spito left #divine
16:19 xstill ale je to teda docela náročný
16:23 xstill clang taky nemá zrovna čitelný kód a hezké api
16:25 mornfall nj, to je osud
16:25 mornfall furt si to můžeš rozmyslet a udělat to nad gcc ;-P
16:26 mornfall http://d3s.mff.cuni.cz/~sery/gmc/
16:27 mornfall potřebuje opatchovaný gcc 4.5
16:28 xstill :-D gcc 4.5 by určtiě zvládlo zkompilovat divine :-D
16:29 xstill hm, to jsem nevěděl že někdo dělá něco tak podobného
16:31 mornfall tak ono dělá... poslední release je z 2011
16:31 mornfall řekl bych že GIMPLE je dost beznadějný
16:31 xstill tak na první pohled dělá
16:31 xstill jsem to nezkoumal
16:40 xstill hm, nemám nedostatek nedefinovaných referencí...
21:12 xstill sakra zase kompiluju kernel protože mám moc nový nixpkgs...

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