[cpl] [Tema3] Checker
Andrei Tuicu
andrei.tuicu at gmail.com
Tue Dec 29 11:52:39 EET 2015
Buna ziua,
În data de 29 decembrie 2015, 10:10, Lavinia Ghica via cpl <
cpl at cursuri.cs.pub.ro> a scris:
> Salut,
>
> Fisierele .ll din arhiva erau un model de asa nu si trebuia sa se genereze
> eroare.
>
Nu inteleg, cerusem daca era posibil sa primim .ll-urile valide, generate
de tema corecta si completa care a generat si output-urile pentru checker.
Din raspunsul dumneavoastra la cererea initiala se intelege numai faptul ca
.ll-urile din arhiva sunt orientative, in sensul ca nu se va face diff pe
checker intre .ll-urile noastre si cele de referinta.
Raspuns initial: "Pot pune si fisierele cu IR-ul, dar sunt doar
orientative."
De ce am primit o arhiva cu "un model de asa nu" (pe care puteam sa-l
generam si noi avand scheletul de cod) si de ce nu a fost specificat acest
lucru?
Multumesc,
Andrei Tuicu
> Lavinia
>
> On 27 Dec 2015, at 14:34, Georgiana Diana via cpl <cpl at cursuri.cs.pub.ro>
> wrote:
>
> Buna,
> In exemplele de IR din arhiva, in ll-ul aferent sursei cast.lcpl apare
>
> call void @IO_init(%struct.TIO* %1)
>
> in @Main_init.
>
> Totusi, Main in cazul acesta nu extinde IO. Acelasi lucru l-am observat si
> in fisierul inheritance.ll. Pe de alta parte, in inheritance, nu apar
> definitiile claselor A si B.
>
> Sunt corecte aceste fisiere de referinta ?
>
> Georgiana
>
> 2015-12-25 16:21 GMT+02:00 Pîrvu Mihai <cpl at cursuri.cs.pub.ro>:
>
>> De asemenea, runtime-ul din arhiva de teste e diferit de cel generat de
>> noi din sursa de pe ocw.
>>
>> Linkându-l pe cel din arhiva, nu putem rula Hello.
>>
>> 2015-12-25 15:46 GMT+02:00 Irineu Barbieru via cpl <cpl at cursuri.cs.pub.ro
>> >:
>>
>>> Salut,
>>>
>>> Ar fi de ajutor sa se posteze si IR-urile, cat mai rapid de preferat.
>>> In plus, in folderul scripts din arhiva de teste sunt prezente deja 4
>>> fisiere IR. Sunt acestea "orientativ" de referinta? (intrucat pentru
>>> cast.ll se genereaza o eroare la translatarea in LLVM bitcode)
>>>
>>> Mersi si sarbatori fericite,
>>> Irineu
>>>
>>> 2015-12-24 13:26 GMT+02:00 Oana Stroie via cpl <cpl at cursuri.cs.pub.ro>:
>>>
>>>> Buna,
>>>>
>>>> Multumim!
>>>>
>>>> Ai putea, te rog, sa pui si IR.urile desi sunt orientative? Ar ajuta
>>>> cumva:)
>>>>
>>>> Sarbatori fericite,
>>>> Oana
>>>> On 24 Dec 2015 13:19, <Lavinia.Ghica at microchip.com> wrote:
>>>>
>>>>> Buna,
>>>>>
>>>>> Am pus link la arhiva de teste in sectiunea Resurse.
>>>>>
>>>>> Testarea tine cont de output-ul final (lli <linked_test>.bc), nu se
>>>>> face diff pe fisierul ce contine asamblarea llvm.
>>>>>
>>>>> Pot pune si fisierele cu IR-ul, dar sunt doar orientative.
>>>>>
>>>>> Spor,
>>>>> Lavinia
>>>>>
>>>>>
>>>>> On 24 Dec 2015, at 01:13, Oana Stroie via cpl <cpl at cursuri.cs.pub.ro>
>>>>> wrote:
>>>>>
>>>>> Buna,
>>>>>
>>>>> Si eu as dori sa stiu cand vor aparea testele. Lucrez de 4 zile si
>>>>> devine din ce in ce mai dificil sa imi construiesc teste ce contin doar
>>>>> bucatile implementate. Munca a fost si a mai ramas destul de dificila.
>>>>> Testele ar ajuta macar prin oferirea unui reper in dezvoltare.
>>>>>
>>>>> Eventual ar ajuta sa stiu daca testarea va tine cont doar de outputul
>>>>> rularii bc.urilor sau exista alt mod in care pot fi verificate.
>>>>>
>>>>> Multumesc,
>>>>> Oana
>>>>> On 23 Dec 2015 20:39, "Andrei Tuicu via cpl" <cpl at cursuri.cs.pub.ro>
>>>>> wrote:
>>>>>
>>>>>> Salut!
>>>>>>
>>>>>> Exista o estimare pentru cand va aparea checker-ul? Vom avea acces la
>>>>>> output-ul de referinta pentru fiecare test?
>>>>>>
>>>>>> De asemenea, la curs, domnul profesor a mentionat ca vom avea acces
>>>>>> la modelul de IR asociat fiecarui test. Cand credeti ca vor fi disponibile
>>>>>> aceste resurse?
>>>>>>
>>>>>> Multumesc,
>>>>>> Andrei Tuicu 341C3
>>>>>>
>>>>>> _______________________________________________
>>>>>> cpl mailing list
>>>>>> cpl at cursuri.cs.pub.ro
>>>>>> http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl
>>>>>>
>>>>>> _______________________________________________
>>>>> cpl mailing list
>>>>> cpl at cursuri.cs.pub.ro
>>>>> http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl
>>>>>
>>>>>
>>>>>
>>>> _______________________________________________
>>>> cpl mailing list
>>>> cpl at cursuri.cs.pub.ro
>>>> http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl
>>>>
>>>>
>>>
>>> _______________________________________________
>>> cpl mailing list
>>> cpl at cursuri.cs.pub.ro
>>> http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl
>>>
>>>
>>
>> _______________________________________________
>> cpl mailing list
>> cpl at cursuri.cs.pub.ro
>> http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl
>>
>>
>
>
> --
> *Georgiana Diana Ciocirdel*
> Polytechnic University of Bucharest,
> Computer Science
> _______________________________________________
> cpl mailing list
> cpl at cursuri.cs.pub.ro
> http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl
>
>
>
> _______________________________________________
> cpl mailing list
> cpl at cursuri.cs.pub.ro
> http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cursuri.cs.pub.ro/pipermail/cpl/attachments/20151229/3d28a5c3/attachment.html>
More information about the cpl
mailing list