search

UPPAALModelChecker / docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
https://docs.uppaal.org
1 stars 13 forks source link

Add __ON_CONSTRUCT__ and similar #28

Open petergjoel opened 1 year ago

petergjoel commented 1 year ago

Documentation on __ON_CONSTRUCT__ and similar from https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8292158 is missing.

Also the ptr_t declaration would probably be handy/should be build in.

mikucionisaau commented 12 months ago

Fixed with the following extra sections: Special Functions Resources

I cannot find any implementation traces about ptr_t

petergjoel commented 11 months ago

The ptr_t (as I recall) was omitted from the implementation. I envisioned it as being defined in some "stdlib". Any two int struct can be used as a ptr_t (for 64 bit arch). The ranges should be full int32_t of either.