2 Commits

Author	SHA1	Message	Date
Sameer Rahmani	dc61b42d57	Fix the license header for 2023	2023-02-06 17:40:45 +00:00
Sameer Rahmani	8553b5f43f	Move the old libserene aside and start a new one	2022-06-13 20:34:55 +01:00

Renamed from libserene/include/serene/exprs/traits.h (Browse further)