5 commits

Author	SHA1	Message	Date
John Ericson	fe9cbe838c	Create Derivation::fromJSON ... And test, of course	2023-04-07 08:34:58 -04:00
John Ericson	f4ab297b31	Ensure all headers have #pragma once and are in API docs ... `///@file` makes them show up in the internal API dos. A tiny few were missing `#pragma once`.	2023-03-31 23:19:44 -04:00
John Ericson	abd5e7dec0	Extend internal API docs, part 2 ... Picking up from #8111. Co-authored-by: Eelco Dolstra <edolstra@gmail.com>	2023-03-31 23:01:40 -04:00
regnat	a22755721b	Recursively substitute the realisations ... Make sure that whenever we substitute a realisation, we also substitute its entire closure	2021-05-26 18:44:17 +02:00
regnat	d2091af231	Move the GENERATE_CMP macro to its own file ... Despite being an ugly hack, it can probably be useful in a couple extra places	2021-02-05 11:42:33 +01:00