SaC 11th DevCamp

This DevCamp will take place in Koudekerke, Zeeland
Puur Geluk 19 Jan - 23 Jan 2026

Programme

change of SaC's int definition. Instead of having a fixed mapping into the int of the C compiler that is being used, we now want to support a SaC-target specific mapping from SaC's int to a signed integer type is a fixed bit-length. This requires:
- changing all uses of int in the compiler sac2c (libsac2c) to the maximally supported bit-length (64 bit) defined as sac2c_int
- adding a new resource to sac2crc: SAC_INT which can be set to one any integer type defined in <stdint.h>.
- changing the runtime system (libsac and runtime) to generate the corresponding C type sac_int defined through SAC_INT.
- adjusting the FFI to reflect the change
- adjusting the Stdlib to reflect the change
cleanup of Stdlib that uses the FFI
- no more direct SAC macro uses; instead using SacArg whenever the implementation wants to do reference counting.
update of the tutorial
- explain the new behaviour of int.
- explain the implications on the FFI (potential difference between C's int and SaC's int)
- add a section on sac2crc
- add a section on cross compilation
Go through phase_sac2c.mac to determine if anything can be removed. (Jordy)