diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
9,108 Commits 2 Branches 6 Tags 146 MiB
79e6e3fcc1
Commit Graph

70 Commits

Author SHA1 Message Date
Vitor Santos Costa
786cfb71ad python 2016-04-12 16:22:53 +01:00
Vitor Santos Costa
65f1cb9741 win64 support: encodings 2016-04-10 06:21:17 -07:00
Vítor Santos Costa
15404b3835 small 
- do not call goal expansion on meta-calls (that is done by undef).
- docs updates
- fix init code
 2015-12-15 09:28:43 +00:00
Vítor Santos Costa
b4f1a40b4b GMP vs C+++: I loose 2015-11-05 17:03:37 +00:00
Vítor Santos Costa
3368c84696 strings are atomic! 2015-10-13 02:15:32 +01:00
Vítor Santos Costa
4336b2ba88 Avoid complaining from strlen 
`
 2015-09-21 17:05:36 -05:00
Vítor Santos Costa
272d28ae5f android 2015-03-16 17:25:09 +00:00
Vítor Santos Costa
88e3d637ec C++ & swig 2015-02-09 01:53:28 +00:00
Vítor Santos Costa
5a668febd9 new slot implementation 2015-02-03 02:36:51 +00:00
Vítor Santos Costa
bece9d05d8 JIT 2015-01-20 03:00:42 +00:00
Vítor Santos Costa
3009987985 update docs 2014-09-11 14:06:57 -05:00
Vitor Santos Costa
9dacb84c99 fix string comparison 2014-02-03 23:26:36 +00:00
Vitor Santos Costa
d648375412 make MYDDAS into its own module. 2014-01-24 19:59:42 +00:00
Vitor Santos Costa
0391988788 support cross-compilation for windows 2014-01-23 01:46:16 +00:00
Vitor Santos Costa
6b2e1973ab Windows fixes, mainly H -> HB 2014-01-19 21:15:05 +00:00
Vítor Santos Costa
d7397b43af new text conversion and string code (big changes, take care please) 2013-12-02 14:49:41 +00:00
vsc
c21b5bef3c fix PRISM xompiltaion in 32 bits 2013-09-04 05:05:01 -05:00
Vitor Santos Costa
743c9c69fb get rid of PROTO 2013-04-25 17:15:04 -05:00
Vitor Santos Costa
f7980f941b avoid unnecessary CACHE_REGS in inlines. 2013-03-26 16:10:03 -05:00
Vitor Santos Costa
d163cadda1 pass regs when constructing long ints and floats. 
fix small gcc complaints.
 2013-03-26 15:01:52 -05:00
Denys Duchier
97163fa150 place INLINE_ONLY at front of extern inline declarations AND definitions. gcc and clang then behave the same. 2012-06-30 20:42:14 +02:00
Vítor Santos Costa
70bde4d38f inline extern patch by Denys Duchier 2012-06-29 22:44:08 +01:00
Vítor Santos Costa
4230515792 fix inconsistent usage for extern/EXTERN. 2012-06-26 22:30:15 +01:00
Vitor Santos Costa
2f434ff48b complain if we have no valid float configureation. 2012-06-07 10:28:30 -05:00
Vitor Santos Costa
6c36a8ccd3 make it easier for outside packages to link with YAP innards. 2012-05-14 15:06:18 +01:00
Vitor Santos Costa
681d4e78a2 ifix C++ complaint. 2012-05-08 12:57:32 +01:00
Vítor Santos Costa
aab98180c5 garbage collection support for opaque variables 2011-12-13 10:01:51 +00:00
Vítor Santos Costa
3ac8e3914f improve C-interface to cope with prism. 2011-11-10 12:26:23 +00:00
Vítor Santos Costa
9397c9336d make this callable from foeign code. 2011-11-03 07:55:42 +09:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
4fe1833ece Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3 2011-07-25 17:09:43 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
840e287cda mode changes 2011-07-25 17:09:28 +01:00
Vitor Santos Costa
f6be2ed08d support interface to foreign objects that have a backtrack handler. 2011-07-22 04:09:33 -07:00
Vitor Santos Costa
7a33b8ebbf allow strong generic buffers in stack. 2011-07-21 02:24:21 -07:00
Vítor Santos Costa
ded6b2435c improve BigNum handling. 2011-06-21 15:11:07 +01:00
Joao
971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
7670ce631b WIN32 patches 2011-03-21 17:07:58 +00:00
Vitor Santos Costa
2fb880b64a fix bad tests for attributed variable, and use a better name for Quick Test. 2011-03-19 10:25:23 +00:00
Vítor Santos Costa
0d8aed7971 new implementation of corourining... 2011-03-18 19:34:58 +00:00
ubu32
e98ba46ccb make new code work in 32 bit Linux. 2011-03-07 08:34:20 -08:00
Vítor Santos Costa
90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vítor Santos Costa
e509d11c2e routines to copy rational terms to tree and vice-versa. 2010-11-01 20:11:28 +00:00
Vitor Santos Costa
6ab7987c69 be stricter about what is an attributed variable: the previous definition allowed confusion if there was garbage in the local stack. 2010-10-15 13:14:37 +01:00
Vitor Santos Costa
8edeead245 fix compilation warnings 2010-07-19 22:42:47 +01:00
Vítor Santos Costa
bd50f087e9 imore SWI compat, including string fixes 2010-06-19 00:38:49 +01:00
Vítor Santos Costa
0ff5195bd1 object loading support 
blob objects (not supported yet)
 2010-06-17 00:31:42 +01:00
Vítor Santos Costa
ae2421951b fix comparison between terms when rationals come up. 2010-05-28 12:07:01 +01:00
Vítor Santos Costa
09fef1a033 rational number support. First pass. 2010-05-27 12:24:15 +01:00
Vitor Santos Costa
fd9f4efe0b fix indexing of bignums (obs from Jos de Roo). 2010-05-14 12:42:30 +01:00
Vitor Santos Costa
53b4828000 new Atts Code. 2010-03-08 09:24:11 +00:00
Vitor Santos Costa
ba091eb2f9 support db_ref_e: 2010-03-06 22:43:21 +00:00