c8750b9dfd 
							
						 
					 
					
						
						
							
							Enable -Wconversion and -Wsign-conversion  
						
						... 
						
						
						
						Prevents implicit conversions to go undetected, as they will have to be
explicit now. 
						
						
					 
					
						2024-09-09 08:28:02 +02:00 
						 
				 
			
				
					
						
							
							
								Miquel Vidal i Pinyol 
							
						 
					 
					
						
						
						
						
							
						
						
							3103018404 
							
						 
					 
					
						
						
							
							Use format macro constants for fprintf and fscanf family functions  
						
						
						
						
					 
					
						2024-07-24 15:12:09 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							8c8bde4a0f 
							
						 
					 
					
						
						
							
							Add emulation test for breakdown zero values  
						
						
						
						
					 
					
						2024-05-09 15:36:58 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							f8fdcc0a79 
							
						 
					 
					
						
						
							
							Add Nanos6 emu test to check strict nesting model  
						
						
						
						
					 
					
						2024-03-13 17:44:13 +01:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							24324ae734 
							
						 
					 
					
						
						
							
							Add parallel task and update old emu tests  
						
						... 
						
						
						
						All task-related events now require the body id as argument.
Additionally, in nOS-V, nested tasks require the parents to be paused. 
						
						
					 
					
						2024-03-13 17:07:32 +01:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							50837d6173 
							
						 
					 
					
						
						
							
							Port Nanos6 model to tasks with bodies  
						
						... 
						
						
						
						For now we still allow Nanos6 to use the relaxed nest model, so a nested
task can begin the execution without the parent being paused. 
						
						
					 
					
						2024-03-13 17:07:32 +01:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							354f2f50eb 
							
						 
					 
					
						
						
							
							Register emulation models only if required  
						
						... 
						
						
						
						Until now, emulation models were always being registered via probe(),
which causes the emulator to initialize all the channels. To reduce the
overhead, the channels were not connected or registered in the bay
until the first event of that model was received. This delayed connect
was causing issues in muxes where the newly connected model required
refreshing the touched channels. Which in turn was causing unexpected
PRV events.
By determining which models we need to enable, we can remove the delayed
connect mechanism and just enable those models at initialization time,
and connect the channels. 
						
						
					 
					
						2023-11-16 12:39:05 +01:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							4a936dcb99 
							
						 
					 
					
						
						
							
							Add test to prevent re-running tasks in Nanos6  
						
						... 
						
						
						
						For now is disabled until we have a better instrumentation for task
states. 
						
						
					 
					
						2023-04-17 15:58:19 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							b16c30a5e6 
							
						 
					 
					
						
						
							
							Add Absorbing state to the idle view in Nanos6  
						
						
						
						
					 
					
						2023-04-14 13:39:37 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							6cafd347ce 
							
						 
					 
					
						
						
							
							Add support for sponge subsystem state in Nanos6  
						
						
						
						
					 
					
						2023-04-14 13:39:37 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							602daabe23 
							
						 
					 
					
						
						
							
							Fix copyright years  
						
						
						
						
					 
					
						2023-04-06 15:33:15 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c30a5d94b5 
							
						 
					 
					
						
						
							
							Add emu breakdown test for zero values  
						
						
						
						
					 
					
						2023-04-06 15:33:15 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							ddbb7dd9f4 
							
						 
					 
					
						
						
							
							Add include-what-you-use  
						
						... 
						
						
						
						Adds forwards declarations in headers and includes all headers in
sources, even if they are found by transitive includes. 
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							82f1cc287d 
							
						 
					 
					
						
						
							
							Update copyright years to 2021-2023  
						
						
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							78c4bba62e 
							
						 
					 
					
						
						
							
							Match the PRV event in delayed-connect-ss test  
						
						... 
						
						
						
						Ensures the delayed connect of the CPU and thread muxes still causes the
output to be updated properly. 
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c57bef14a3 
							
						 
					 
					
						
						
							
							Add switch-same-type emu test for Nanos6  
						
						
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							34c9f34f04 
							
						 
					 
					
						
						
							
							Get the gid from nanos6 task types too  
						
						
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							4aebe81940 
							
						 
					 
					
						
						
							
							Document ss-mismatch nanos6 test  
						
						
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							864ce4222f 
							
						 
					 
					
						
						
							
							Store the first and last clock of emu events  
						
						... 
						
						
						
						Allows the tests to know the relative clock that will appear in the PRV
trace (with one rank only). 
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							b265442b8c 
							
						 
					 
					
						
						
							
							Mark select channel as dirty on mux_init()  
						
						... 
						
						
						
						Ensures that the select callback will be called on the propagation
phase, immediately setting the right output. Otherwise the mux won't be
updated until the select channel sets a new value. 
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							cd39230089 
							
						 
					 
					
						
						
							
							Remove boilerplate from the models  
						
						
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							a91b1c554a 
							
						 
					 
					
						
						
							
							Finish task types in PCF for nanos6  
						
						
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							e674c92f13 
							
						 
					 
					
						
						
							
							Enable emu and rt tests for nanos6 and ovni  
						
						
						
						
					 
					
						2023-03-24 12:08:45 +00:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							177429fabc 
							
						 
					 
					
						
						
							
							Follow K&R coding style using clang-format  
						
						
						
						
					 
					
						2022-09-29 16:52:28 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							834b33af33 
							
						 
					 
					
						
						
							
							Use SPDX license identifiers  
						
						
						
						
					 
					
						2022-09-29 14:16:47 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c82b95ff07 
							
						 
					 
					
						
						
							
							Fix emu tests for taskfor and task body events  
						
						
						
						
					 
					
						2022-09-21 17:31:28 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							cd2e949613 
							
						 
					 
					
						
						
							
							Fix nested-tasks emu test  
						
						
						
						
					 
					
						2022-09-21 13:17:38 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							a94a56a4ba 
							
						 
					 
					
						
						
							
							Update Nanos6 events for tests  
						
						
						
						
					 
					
						2022-09-20 10:30:36 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							24cb5a37c2 
							
						 
					 
					
						
						
							
							Remove fake subsystem test.  
						
						... 
						
						
						
						It is now covered by the runtime tests. 
						
						
					 
					
						2022-09-20 10:29:36 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							3d39b8cc54 
							
						 
					 
					
						
						
							
							Update task create emulated events  
						
						
						
						
					 
					
						2022-09-12 16:52:27 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							666075e8cd 
							
						 
					 
					
						
						
							
							Disable Nanos6 subsystem test for now  
						
						
						
						
					 
					
						2022-09-12 16:16:10 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							ac1ae8e69d 
							
						 
					 
					
						
						
							
							Use one event per blocking type in Nanos6  
						
						
						
						
					 
					
						2022-09-12 16:16:10 +02:00 
						 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							6551ba80b1 
							
						 
					 
					
						
						
							
							Compute test name from source file  
						
						
						
						
					 
					
						2022-09-12 16:16:10 +02:00