#lazycseq — Public Fediverse posts

Got 70% for my honors research and development project on C sequentialization on programs exhibiting underspecified behaviour with #LazyCSeq.

Really couldn't have asked for a better honors topic than something related to compilers - my absolute favourote.

I also want to thank Bernd Fischer, my supervisor, for being a helpful and supportive supervisor on a project that sometimes had me pulling my hair out. Thank you sir.

Had a great year working on #LazyCSeq (http://www.southampton.ac.uk/~gp1y10/cseq/) this year by adding support for underspecified behaviour (https://en.m.wikipedia.org/wiki/Unspecified_behavior) as #CBMC does not naturally support various orderings.

Thank you Prof Bernd Fischer.

Had a nice evening with the whole honors class last night and had some time to celebrate with my honors project supervisor!

Thanks for letting me work on #LazyCSeq sir!

http://www.southampton.ac.uk/~gp1y10/cseq/

This has been me working on my honors project for #LazyCSeq for the past year

_Ons maak vordering_

#lazycseq

Paper-driven testing

#lazycseq

Trying to sort out one final bug I guess in global variable name lookups in #LazyCSeq