====== SaC 11th DevCamp ====== This DevCamp will take place in Koudekerke, Zeeland\\ [[https://www.airbnb.co.uk/rooms/969402222630141516?search_mode=regular_search&adults=1&check_in=2026-01-09&check_out=2026-01-14&children=0&infants=0&pets=0&source_impression_id=p3_1767892019_P3ZeQ-XT8tXYcrCK&previous_page_section_name=1000&federated_search_id=6655c592-254f-4668-a71d-10a2a6616376|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 ''''. * 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) ===== Participants ===== ^ Name ^ Affiliation ^ | Sven-Bodo Scholz | Radboud University | | Jordy Aaldering | Radboud University | | Quinten Cabo | Leiden University | | Niek Janssen | Radboud University | | Thomas Koopman | Radboud University | | Benedict Rips | Radboud University | | Victor Zudilin | Radboud University |