| 
						
					 | 
					
						
						
							
						
						1645f0ccb9
					 | 
					
						
						
							
							Potentially fix all build issues
						
						
						
						
						
						
					 | 
					
						2018-07-22 19:23:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c2e34931fe
					 | 
					
						
						
							
							Fix installation
						
						
						
						
						
						
					 | 
					
						2018-07-22 19:23:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						61d4ea1903
					 | 
					
						
						
							
							Initial version of Makefile that produces library
						
						
						
						
						
						
					 | 
					
						2018-07-22 19:23:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						357be5ec0d
					 | 
					
						
						
							
							Attempt to fix #3 (#14)
						
						
						
						
						
						
					 | 
					
						2018-07-22 19:23:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1e6e29e528
	
				 
					 | 
					
						
						
							
							Even more debug information
						
						
						
						
						
						
					 | 
					
						2018-07-22 12:26:42 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						144be6f095
					 | 
					
						
						
							
							Solving Darwin modules build.
						
						
						
						
						
						
					 | 
					
						2018-07-22 08:04:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2ad252e6f0
	
				 
					 | 
					
						
						
							
							--export-dynamic is not supported for PE+ targets
						
						
						
						
						
						
					 | 
					
						2018-07-21 22:19:18 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3f776c8ef1
	
				 
					 | 
					
						
						
							
							This quotation are unnecessary. String does not match because of them. Fix for Windows build.
						
						
						
						
						
						
					 | 
					
						2018-07-21 22:14:30 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3267ddd7ee
	
				 
					 | 
					
						
						
							
							Linker flags are also OS-specific
						
						
						
						
						
						
					 | 
					
						2018-07-21 22:10:28 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						170381d04d
	
				 
					 | 
					
						
						
							
							LIBS have to be passed per OS
						
						
						
						
						
						
					 | 
					
						2018-07-21 20:10:02 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a6747b63e0
					 | 
					
						
						
							
							dlopen api is included in the libc for BSD
						
						
						
						
						
						
					 | 
					
						2018-07-21 15:54:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d1b874b391
	
				 
					 | 
					
						
						
							
							Fix segmentation fault
						
						
						
						
						
						
					 | 
					
						2018-07-21 14:44:36 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c79f1d26cc
	
				 
					 | 
					
						
						
							
							More information about P#
						
						
						
						
						
						
					 | 
					
						2018-07-21 14:18:38 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e363cee41
	
				 
					 | 
					
						
						
							
							Update README
						
						
						
						
						
						
					 | 
					
						2018-07-21 13:23:13 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6d52aa641d
	
				 
					 | 
					
						
						
							
							Initial readme
						
						
						
						
						
						
					 | 
					
						2018-07-21 12:51:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e394ce7d14
	
				 
					 | 
					
						
						
							
							Divide libcox by Symisc into smaller logical chunks
						
						
						
						
						
						
					 | 
					
						2018-07-21 12:41:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d3ff86f692
	
				 
					 | 
					
						
						
							
							Correct some typos
						
						
						
						
						
						
					 | 
					
						2018-07-21 11:30:41 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9b219032c3
	
				 
					 | 
					
						
						
							
							Remove some duplicated builtin functions
						
						
						
						
						
						
					 | 
					
						2018-07-21 11:00:29 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d9507216cb
	
				 
					 | 
					
						
						
							
							Move ctype library into separate module
						
						
						
						
						
						
					 | 
					
						2018-07-21 09:43:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9313276e09
	
				 
					 | 
					
						
						
							
							Dummy module should also show how to define constants
						
						
						
						
						
						
					 | 
					
						2018-07-21 08:32:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b7caeefded
	
				 
					 | 
					
						
						
							
							Move math library into separate module
						
						
						
						
						
						
					 | 
					
						2018-07-21 08:24:20 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dc4c51ca5a
	
				 
					 | 
					
						
						
							
							Allow to use operating systems's native dynamic library extension
						
						
						
						
						
						
					 | 
					
						2018-07-20 22:43:52 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						abb91a9874
	
				 
					 | 
					
						
						
							
							Reorganize the repository for new build system
						
						
						
						
						
						
					 | 
					
						2018-07-20 22:35:09 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						efceb9d12b
	
				 
					 | 
					
						
						
							
							Add support for OpenBSD
						
						
						
						
						
						
					 | 
					
						2018-07-20 22:20:47 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						100971a37a
	
				 
					 | 
					
						
						
							
							Test generic and multiplatform makefile
						
						
						
						
						
						
					 | 
					
						2018-07-20 18:30:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d86f4f5aa2
	
				 
					 | 
					
						
						
							
							Correct some more typos
						
						
						
						
						
						
					 | 
					
						2018-07-19 22:14:15 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1b20057c61
	
				 
					 | 
					
						
						
							
							Correct some typos
						
						
						
						
						
						
					 | 
					
						2018-07-19 22:08:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c6ad27566a
	
				 
					 | 
					
						
						
							
							Correct some typos
						
						
						
						
						
						
					 | 
					
						2018-07-19 22:06:12 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						46ca163757
	
				 
					 | 
					
						
						
							
							Correct module name
						
						
						
						
						
						
					 | 
					
						2018-07-19 20:02:54 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a00e81f4f8
	
				 
					 | 
					
						
						
							
							Move XML support into separate module.
						
						
						
						
						
						
					 | 
					
						2018-07-19 19:58:42 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						98e2775e9a
	
				 
					 | 
					
						
						
							
							Fix typos
						
						
						
						
						
						
					 | 
					
						2018-07-19 18:57:58 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						95e9174058
	
				 
					 | 
					
						
						
							
							Move JSON support into separate module.
						
						
						
						
						
						
					 | 
					
						2018-07-19 18:30:56 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0dc9a04f0e
	
				 
					 | 
					
						
						
							
							It is a bad idea to compare memory. This fixes some false-positives.
						
						
						
						
						
						
					 | 
					
						2018-07-19 17:28:13 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						28dbeeb1ad
	
				 
					 | 
					
						
						
							
							I'm not a big Windows fun, so please correct me if this is not working
						
						
						
						
						
						
					 | 
					
						2018-07-19 17:22:36 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d1e56b9206
	
				 
					 | 
					
						
						
							
							sizeof() is enough
						
						
						
						
						
						
					 | 
					
						2018-07-19 16:52:39 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f0b3adc44a
					 | 
					
						
						
							
							Further change for module load (#11)
						
						
						
						
						
						
					 | 
					
						2018-07-19 16:51:33 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e755fd55b9
					 | 
					
						
						
							
							Little build fix (#10)
						
						
						
						
						
						
					 | 
					
						2018-07-19 13:43:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						641fa9e960
	
				 
					 | 
					
						
						
							
							Move definition to header file
						
						
						
						
						
						
					 | 
					
						2018-07-19 07:40:39 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5908307885
	
				 
					 | 
					
						
						
							
							Automatically unload all modules and free up memory on VM release.
						
						
						
						
						
						
					 | 
					
						2018-07-19 07:35:59 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ee5504ea3a
	
				 
					 | 
					
						
						
							
							Initial support for modules, partially implements #1
						
						
						
						
						
						
					 | 
					
						2018-07-18 22:01:04 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1929b3619a
					 | 
					
						
						
							
							Merge branch 'php_random_port' of PSharp/psharp into master
						
						
						
						
						
						
					 | 
					
						2018-07-16 22:06:36 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62344a99ef
					 | 
					
						
						
							
							Adding random_int/random_bytes functions but still using PH7 PRNG.
						
						
						
						
						
						
					 | 
					
						2018-07-16 16:13:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						887b78ead0
	
				 
					 | 
					
						
						
							
							Remove redundant whitespace
						
						
						
						
						
						
					 | 
					
						2018-07-15 19:52:27 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6abb65a04c
	
				 
					 | 
					
						
						
							
							declare() is a stupid and useless construct. It will not be supported in P#.
						
						
						
						
						
						
					 | 
					
						2018-07-15 12:22:37 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9fe3ae2221
	
				 
					 | 
					
						
						
							
							Fix indentation
						
						
						
						
						
						
					 | 
					
						2018-07-15 12:11:30 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6d0e346b7d
	
				 
					 | 
					
						
						
							
							Correct coding style
						
						
						
						
						
						
					 | 
					
						2018-07-15 11:57:22 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4b05081d4a
	
				 
					 | 
					
						
						
							
							Makefile can be also used on Windows, but it needs some tweaks
						
						
						
						
						
						
					 | 
					
						2018-07-15 11:54:00 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0178ff0495
	
				 
					 | 
					
						
						
							
							Enable debugging symbols
						
						
						
						
						
						
					 | 
					
						2018-07-15 11:50:27 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ac3f78785a
	
				 
					 | 
					
						
						
							
							Add tasks for compiling P# on Unix-like OS
						
						
						
						
						
						
					 | 
					
						2018-07-15 11:34:32 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e9c61bd49a
	
				 
					 | 
					
						
						
							
							Updated VSCode to 1.25.1
						
						
						
						
						
						
					 | 
					
						2018-07-15 11:14:24 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |