17 Commits

Author	SHA1	Message	Date
Ivan Krysak	e1c8c370f7	Lift: adopt helper registry	2025-04-17 11:19:17 +03:00
Ivan Krysak	1eb80ecd2d	Introduce an error creation helper	2024-11-06 15:20:37 +02:00
Alessandro Di Federico	c8d4381297	s/Context &Ctx/Context &Context/g	2024-09-27 12:07:17 +02:00
Alessandro Di Federico	9bdce8e5c4	s/ExecutionContext &Ctx/ExecutionContext &EC/g	2024-09-27 12:07:17 +02:00
Alessandro Di Federico	901a78a66f	Lift: fix usage of empty instead of isEmpty	2024-07-09 08:58:51 +02:00
Alessandro Di Federico	148e6b1979	Rename all LLVMContainer arguments	2024-06-20 10:24:51 +02:00
Alessandro Di Federico	bce1d6c0f3	Adopt invalidation along the core pipeline	2024-06-20 10:24:50 +02:00
Alessandro Di Federico	b5f7576573	Rework TupleTreeGenerator tracking	2024-06-20 10:24:50 +02:00
Massimo Fioravanti	43349943a7	Stop serializing the model in the IR	2024-06-20 09:57:36 +02:00
Alessandro Di Federico	3be8f4c3d3	Lift: require DefaultABI or DefaultPrototype	2024-05-22 10:25:25 +02:00
Massimo Fioravanti	c276a439b5	Add pipeline invalidation ... Replace the stub implementation of invalidation with the proper implementation. A ReadPathCache is added to each global so that it can keep tracks of what target are associated to which read paths.	2024-01-02 11:14:56 +01:00
Ivan Krysak	7d235f4fd0	Enforce licence header consistency ... Also do some basic cleanup: capitalize first letters, add `.` at the end of the sentences, and so on.	2023-07-03 15:23:10 +00:00
Massimo Fioravanti	742e1a0c56	TupleTree: switch from public fields to accessors	2022-12-12 18:36:57 +01:00
Massimo Fioravanti	9363bbd70a	Pipeline: every container type has now a C++ type	2022-09-29 15:51:17 +02:00
Alessandro Di Federico	cd7429d100	pipes::Lift: fail if Architecture is Invalid	2022-08-29 15:13:25 +02:00
Massimo Fioravanti	9ce7b1e527	Drop Pipe suffix from pipe names	2022-08-29 14:45:45 +02:00
Massimo Fioravanti	915c083661	Pipes: reorganize who defines pipes	2022-08-29 14:44:35 +02:00