Tristan

@mazurroman you can assign me to this issue

https://docs.google.com/document/d/1Co0Rms68InGbPfp2xWckdrCuom0wIYPmDwWKXimESc0/edit

@mazurroman any news about when we can start integrating core libfuncs descriptions?

@mazurroman you can assign me to this issue

https://docs.google.com/document/d/1EIkup1V1dmQo0A0WCORjA-kITejaIwTodLWYe1Ih77k/edit

hey @remybar @mazurroman I started working on it today as well, just sent a gdoc to Roman as we discussed one or two weeks ago. Good idea to split it...

@remybar here is the gdoc so you can check https://docs.google.com/document/d/1Co0Rms68InGbPfp2xWckdrCuom0wIYPmDwWKXimESc0/edit Still not sure about how the ''Fallthrough'' mechanism works (for array_get for example)

@MaksymMalicki i took some times to check all other cairo VM implementations. Agree with all you said. `globals()` is used to fetch some values in 5 hints: - #252 :...

Waiting for final confirmation but it seems that team from lambda rust cairo-vm answered that these variables are always accessible in globals()

From Lambdaclass : nothing adds variables in globals() "by default" during execution, so all checks related to globals() should not be done in the default Cairo VM @cicr99 @rodrigo-pino