diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,601 Commits 2 Branches 6 Tags 145 MiB
Commit Graph

113 Commits

Author SHA1 Message Date
Vitor Santos Costa 2e807fc5c7 fix static_growglobal. 2009-03-24 14:15:40 +00:00
Vitor Santos Costa 4fa27164e6 oops! 2009-03-16 22:22:07 +00:00
Vitor Santos Costa 77eaff31b8 cleanup stack shifting when inserting holes (growglobal). 2009-03-16 17:30:13 +00:00
Vitor Santos Costa 828964c3c1 remove optimised arithmetic instructions. They made the emulator even bigger than 
usual, and they were not performing.
 2009-03-09 11:52:01 +00:00
Vitor Santos Costa 51875c627a avoid excessive overflows and too large overflows in delay stack. 2009-02-26 23:06:27 +00:00
Vítor Santos Costa 8a6e0acedc compiler support for udi including user_index instruction 2009-02-12 21:35:31 +00:00
Vitor Santos Costa 8a3978e3e1 rename BinaryTestPredFlag to BinaryPredFlag 
get rid of small annoying arithmetic bugs
 2009-02-09 21:56:40 +00:00
Vítor Santos Costa fdf06f486d replace if-then-else optimisation by the new mechanism. 2008-12-09 14:23:19 +00:00
Vítor Santos Costa a36be5bf20 massive changes to support new scheme for arithmetic: 
- compilation and assembly support
 2008-12-09 12:54:27 +00:00
Vítor Santos Costa 13dd600f88 add type to BIG NUMs, so that we can easily know what it is all about. 2008-11-28 15:54:46 +00:00
Vitor Santos Costa 0ef147459a handle case where we can expand attributed variable stack 
without having to grow stack physically.
 2008-11-14 14:52:55 +00:00
Vitor Santos Costa 6920041189 fix bad size in grow stack 2008-11-13 09:02:33 +00:00
Vítor Santos de Costa 7207c18e65 fix longmp in trow not to recover trail. This way we do not need to do 
copy_term/2 and we avoid losing the attributed variable stack.
 2008-10-18 11:03:25 +01:00
vsc 257c3a2cbc fix threads and LU 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2233 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-10 23:24:13 +00:00
vsc f37bc03304 improve restore 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2184 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-01 14:09:43 +00:00
vsc b2274186bd make or-parallelism compile again 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2164 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-25 16:45:53 +00:00
vsc af0fb4f4d9 SWI-portability changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2088 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 17:03:59 +00:00
vsc 44e4a953e4 fix another trail overflow. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2064 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-01-27 23:07:30 +00:00
vsc e353d8811f garbage collector was not asking for space. 
avoid 0 sized calls to mmap.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2058 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-01-24 00:11:59 +00:00
vsc 637f381d94 valgrind it! 
enable atom garbage collection.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2055 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-01-23 17:57:56 +00:00
vsc 507d3058f4 fix some overflows 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2028 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-20 15:51:39 +00:00
vsc 01432a467a fix a few extra overflows. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1993 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-14 09:23:42 +00:00
vsc a5f5f4c237 compile ground terms away. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1975 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-06 17:02:13 +00:00
vsc c625347697 fix global variables 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1962 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-10-18 08:24:16 +00:00
vsc 66d14116dd improve CLP(BN)/BNT interface 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1918 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-08-06 14:55:43 +00:00
vsc ee03654060 handle code space overflows while parsing. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1868 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-04-18 06:30:41 +00:00
vsc e27d2fa1f3 fix memory expansion bugs. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1852 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-03-21 18:32:50 +00:00
vsc 400b1958b2 fix atom garbage collector (although it is still off by default) 
make valgrind feel better


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1797 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-02-18 00:26:36 +00:00
vsc 47765f7739 WIN32 support 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1790 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-01-28 14:26:37 +00:00
vsc 7316eb490c extra fixes for overflows with global variables, especially showing up 
with malloc (thanks to Paulo Moura!)


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1743 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-12-27 18:26:19 +00:00
vsc 78b52b925c diverse fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1738 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-12-27 01:32:38 +00:00
vsc 90c1641841 several debugger and CLP(BN) improvements. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1732 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-12-13 16:10:26 +00:00
vsc e112ce1a8a fix bug in growstack 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1718 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-11-14 11:42:26 +00:00
vsc 9c506b2a2c 1estranha 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1709 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-11-06 18:35:05 +00:00
vsc 23e9f546fe fixes for threaded version. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1705 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-10-16 17:12:48 +00:00
vsc 4ff41f7a62 improve indexing on floats 
fix sending large lists to DB


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1692 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-09-20 20:03:51 +00:00
vsc cd5bc14cfc win32 fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1689 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-08-30 01:06:30 +00:00
vsc 182d4f4694 debug fixes to new globals code 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1686 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-08-23 12:12:14 +00:00
vsc d11fd73306 global variables 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1685 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-08-22 16:12:46 +00:00
vsc eea9f2a58e get rid of IntArrays and FloatArray code. 
include holes when calculating memory usage.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1640 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-19 14:31:32 +00:00
vsc 871bb9e024 help to make Yap work with dynamic libs 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1638 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-19 13:48:11 +00:00
vsc ef80f1df70 fix growglobal to handle the USE_MALLOC case correctly. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1634 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-18 13:07:48 +00:00
vsc 98de08022b WIN32 fixes 
compiler bug fixes
extend interface


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1632 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-16 18:37:31 +00:00
vsc 720db316ce cleanups 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1617 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-04-28 16:14:05 +00:00
tiagosoares 6f409cb962 CUT_C and MYDDAS support for 64 bits architectures 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1564 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-03-09 15:52:06 +00:00
vsc cf669ee72b fixes to garbage collector 
fixes to debugger


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1558 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-03-06 14:04:57 +00:00
vsc e10213929a support new interface between YAP and GMP, so that we don't rely on our own 
allocation routines.
Several big fixes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1490 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-01-02 02:16:19 +00:00
vsc 5c2e06ad50 write_depth/3 
overflow handlings and garbage collection
Several ipdates to CLPBN
dif/2 could be broken in the presence of attributed variables.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1474 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-12-05 17:16:12 +00:00
vsc 03c1edcc90 fix parser overflow bug: vars should be reset even when addresses would not 
change.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1466 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-11-22 12:42:39 +00:00
tiagosoares 83b5a160f8 support for executing c code when a cut occurs 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1463 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-11-18 18:52:41 +00:00