Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						91d6faabc1
					 | 
					
						
						
							
							new atoms ]
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:32:12 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						78ed4c9e5e
					 | 
					
						
						
							
							debugging stuff
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:31:03 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						019ca45bdb
					 | 
					
						
						
							
							prettying
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:27:29 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						0e1335d7ff
					 | 
					
						
						
							
							make $ SY from very beginning
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:26:40 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						6d507ff49f
					 | 
					
						
						
							
							BEW CONSTANTS.
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:19:35 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						01a720389e
					 | 
					
						
						
							
							fix stack swap
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:15:08 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						6ae0c450b3
					 | 
					
						
						
							
							export getval to C-code.
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:12:32 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						99948c5acc
					 | 
					
						
						
							
							fox tracing/
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:05:06 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						69344f26d1
					 | 
					
						
						
							
							fixes to warning and complicated cases where warnings are called insidewarning
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:04:22 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						1c6a138ce2
					 | 
					
						
						
							
							let the compiler say what was the actual error.
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:02:41 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						8dec7f6478
					 | 
					
						
						
							
							initialize YAAM regs earl on.
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:01:15 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						520ce938fd
					 | 
					
						
						
							
							SWI-style blobs
						
						
						
						
						
						
					 | 
					
						2015-07-22 19:00:28 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						2a20217c46
					 | 
					
						
						
							
							drop unnecessary cast
						
						
						
						
						
						
					 | 
					
						2015-07-22 18:59:57 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						98d7b2d7f8
					 | 
					
						
						
							
							avoi ugly unsigned char *
						
						
						
						
						
						
					 | 
					
						2015-07-22 18:59:07 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						78ef33c463
					 | 
					
						
						
							
							Debugger should lays trace callee, never caller.
						
						
						
						
						
						
					 | 
					
						2015-07-22 18:58:23 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						e1597dd022
					 | 
					
						
						
							
							missing
						
						
						
						
						
						
					 | 
					
						2015-07-06 15:04:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						4eaf848e87
					 | 
					
						
						
							
							missing
						
						
						
						
						
						
					 | 
					
						2015-07-06 14:54:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						a902b9bc79
					 | 
					
						
						
							
							extras under initial dev
						
						
						
						
						
						
					 | 
					
						2015-07-06 13:44:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						1d6f9981e1
					 | 
					
						
						
							
							mkdir and small stuff
						
						
						
						
						
						
					 | 
					
						2015-07-06 12:04:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						33de6766a5
					 | 
					
						
						
							
							bootstrap
						
						
						
						
						
						
					 | 
					
						2015-07-06 12:03:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						705a6e9b7f
					 | 
					
						
						
							
							cleanups
						
						
						
						
						
						
					 | 
					
						2015-07-06 12:01:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						03d9fdd45a
					 | 
					
						
						
							
							cleanups
						
						
						
						
						
						
					 | 
					
						2015-07-06 12:00:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						94092be293
					 | 
					
						
						
							
							bootstrap and small cleanups
						
						
						
						
						
						
					 | 
					
						2015-07-06 11:59:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						84afde2d56
					 | 
					
						
						
							
							deadlock avoidal; function renaming
						
						
						
						
						
						
					 | 
					
						2015-07-06 11:57:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						a97754623f
					 | 
					
						
						
							
							more bootstrap stuff
						
						
						
						
						
						
					 | 
					
						2015-07-06 11:56:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						9a638d1312
					 | 
					
						
						
							
							experiment
						
						
						
						
						
						
					 | 
					
						2015-07-06 11:55:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						421dee6881
					 | 
					
						
						
							
							register init (again)
						
						
						
						
						
						
					 | 
					
						2015-07-06 11:54:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						2cf9902dfe
					 | 
					
						
						
							
							module specific flags
						
						
						
						
						
						
					 | 
					
						2015-07-06 11:53:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						3a00568489
					 | 
					
						
						
							
							warnings + some work on naming funnctions
						
						
						
						
						
						
					 | 
					
						2015-07-06 11:51:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						4c56769210
					 | 
					
						
						
							
							indent + EOF work in progress
						
						
						
						
						
						
					 | 
					
						2015-07-06 11:49:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						f5b50a4179
					 | 
					
						
						
							
							fix locks
						
						
						
						
						
						
					 | 
					
						2015-06-19 10:10:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						1c06bfdc05
					 | 
					
						
						
							
							cmake & text support
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:30:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						59de30d606
					 | 
					
						
						
							
							cmake & text support
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:29:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						84b5fcce77
					 | 
					
						
						
							
							cmake & text support
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:29:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						edbd2654e8
					 | 
					
						
						
							
							cmake & files
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:25:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						5f71b15c03
					 | 
					
						
						
							
							cmake 2
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:23:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						de3a6c5637
					 | 
					
						
						
							
							cmake
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:22:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						9ad02e3f9a
					 | 
					
						
						
							
							cmake
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:22:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						1b8cd91618
					 | 
					
						
						
							
							cudd integration
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:20:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						63c2fa3c6b
					 | 
					
						
						
							
							warning, postgres
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:19:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						8f90705e26
					 | 
					
						
						
							
							support 3.6
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:17:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						497cc27003
					 | 
					
						
						
							
							git versioning
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:14:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						0552edce2c
					 | 
					
						
						
							
							SWI i/O lib
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:13:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						0889596e8b
					 | 
					
						
						
							
							flags etc
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:12:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						b93f10fe07
					 | 
					
						
						
							
							flags, etc
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:11:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						c3487d0fc0
					 | 
					
						
						
							
							tracking + flags
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:09:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						e8e33e405a
					 | 
					
						
						
							
							join cud packages
						
						
						
						
						
						
					 | 
					
						2015-06-19 01:00:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						5746edafaf
					 | 
					
						
						
							
							new atoms, terms and slight functionality
						
						
						
						
						
						
					 | 
					
						2015-06-19 00:56:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						3b42554a68
					 | 
					
						
						
							
							new callers
						
						
						
						
						
						
					 | 
					
						2015-06-19 00:53:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						0b68aea31e
					 | 
					
						
						
							
							all kinds of stuff
						
						
						
						
						
						
					 | 
					
						2015-06-19 00:53:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |