| 
						
					 | 
					
						
						
						
						
							
						
						
							4f32ccbd21
							
						
					 | 
					
						
						
							
							update squiggle.c, SquigglePy and squiggle-og to latest versions
						
						
						
						
						
						
						
						also rationalize makefiles 
						
					 | 
					
						2023-11-19 18:11:41 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							cf76c92803
							
						
					 | 
					
						
						
							
							add profiling for ocaml
						
						
						
						
						
					 | 
					
						2023-10-15 02:08:42 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							37a2dab610
							
						
					 | 
					
						
						
							
							recompile ocaml with flamda mode, update times table
						
						
						
						
						
					 | 
					
						2023-10-15 01:46:52 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							608cbb2f68
							
						
					 | 
					
						
						
							
							add initial OCaml stats
						
						
						
						
						
					 | 
					
						2023-10-15 01:19:56 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							ffec4663fc
							
						
					 | 
					
						
						
							
							start populating samplers
						
						
						
						
						
					 | 
					
						2023-10-14 20:12:42 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							e9bfd1f2ed
							
						
					 | 
					
						
						
							
							get small ocaml sampling working
						
						
						
						
						
					 | 
					
						2023-10-14 19:59:56 +01:00 | 
					
					
						
						
							
							
							
						
					 |