Displaying 3 results from an estimated 3 matches for "verifik".
Did you mean:
verifie
2009 Dec 07
3
[LLVMdev] Documentation of malloc/free
...s for the addition of the indirect branch instruction. A note in
the language reference would be nice telling the reader when this instruction
has been added to the language.
Regards,
Florian
[1] http://llvm.org/docs/LangRef.html
--
Karlsruher Institut für Technologie (KIT)
Forschungsgruppe Verifikation trifft Algorithmik
Dipl.-Inf. Florian Merz
Wissenschaftlicher Mitarbeiter
Am Fasanengarten 5
76131 Karlsruhe
Telefon: +49 721 608-7318
florian.merz at kit.edu
http://verialg.iti.uni-karlsruhe.de/
KIT - Universität des Landes Baden-Württemberg und
nationales Großforschungszentrum in der Hel...
2009 Sep 30
1
[LLVMdev] LLVM BarCamp Paris
Hi,
The 20th of Novembre 2009, a LLVM BarCamp will be hold at La Cantine.
Contributions, contributors, comments or any kind of help are welcome.
Thanks and see you in Paris,
Eric Mahe
http://www.facebook.com/group.php?gid=140537112502
http://barcamp.org/LLVM-BarCamp-Paris
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
2009 Dec 07
0
[LLVMdev] Documentation of malloc/free
...gt; system
>> without a historical view. To get the historical view we put major
>> changes in the release notes. These haven't been written yet for 2.7
>> though.
>>
>> -Chris
>>
> --
> Karlsruher Institut für Technologie (KIT)
> Forschungsgruppe Verifikation trifft Algorithmik
>
> Dipl.-Inf. Florian Merz
> Wissenschaftlicher Mitarbeiter
>
> Am Fasanengarten 5
> 76131 Karlsruhe
> Telefon: +49 721 608-7318
> florian.merz at kit.edu
> http://verialg.iti.uni-karlsruhe.de/
>
> KIT - Universität des Landes Baden-Württemb...