4 Commits

Author	SHA1	Message	Date
Michael Nebel	046018fa25	Java: Add example of missing sink generation.	2024-08-14 09:50:34 +02:00
Michael Nebel	22e9ae2793	Java: Add some source/sink examples where lifting is applied.	2024-06-27 11:15:06 +02:00
Michael Nebel	30249e4f2b	Java: Add some spurious source and sink examples.	2024-06-24 13:07:34 +02:00
Michael Nebel	e56c185f32	Java: Add some model generator sink examples.	2024-06-13 10:49:57 +02:00