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

354 Commits

Author SHA1 Message Date
Vitor Santos Costa
70061308ff make modules remember which operators they ever defined. 
Make modules import operators from other modules
 2016-04-28 15:01:16 +01:00
Vitor Santos Costa
2550fc5b87 win32 2016-04-22 18:26:37 +01:00
Vitor Santos Costa
cd41d373db hiatory 2016-04-19 23:30:02 +01:00
vscosta
c1b8d140db av 2016-04-17 17:09:10 -07:00
vscosta
d4a9f97cdd InitTime is done automatically. 2016-04-05 02:21:19 +01:00
Vítor Santos Costa
1be002558c call_cleanup in C plus indenting 2016-03-29 01:55:12 +01:00
Vítor Santos Costa
2192f73b11 make it compile under MSN vc. Unfortunately it has a weird crash at boot :( 
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
 2016-02-28 19:32:55 +00:00
Vítor Santos Costa
68633a9c34 ops & modules iii 2016-02-26 17:40:03 +00:00
V'itor Santos Costa
74b2b5561d - add debugging code to memory allocation 
= atom to number: cleanup function name as this is more than just supporting SWI
- SrcMask only applies to rules.
- add auxiliary type/error function
- fix typos
- fix enumeration mode in current_flag
- get rid of TrueName routines, use AbsoluteFileName instead.
- detail synatx error source
 2016-02-11 06:03:33 -08:00
Vitor Santos Costa
c8305988ca Merge branch 'master' of github.com:vscosta/yap-6.3 2016-02-03 10:17:01 +00:00
Vítor Santos Costa
4f0c539ed6 set up flags to control IO. 2016-01-31 10:16:31 +00:00
Vítor Santos Costa
c0aa90bc38 add some little support for xml2 2016-01-06 12:31:53 +00:00
Vítor Santos Costa
5ca49ae202 mostly reindenting. 2016-01-03 01:34:09 +00: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
691f02816d init spelling effort 2015-11-05 15:25:58 +00:00
Vítor Santos Costa
b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa
b47ffd2f64 atom Term stuff 2015-08-18 14:57:53 -05:00
Vítor Santos Costa
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
6d507ff49f BEW CONSTANTS. 2015-07-22 19:19:35 -05:00
Vítor Santos Costa
94092be293 bootstrap and small cleanups 2015-07-06 11:59:50 +01:00
Vítor Santos Costa
1c06bfdc05 cmake & text support 2015-06-19 01:30:13 +01:00
Vítor Santos Costa
315a882e8f remove swi deps 2015-06-18 08:09:31 +01:00
Vítor Santos Costa
5829e326b7 Remove Old array based flags 2015-06-18 00:28:06 +01:00
Vítor Santos Costa
e9a8e93474 DO not depend on SWI module 2015-06-18 00:25:39 +01:00
Vítor Santos Costa
272d28ae5f android 2015-03-16 17:25:09 +00:00
Vítor Santos Costa
9b6bcdde16 improve notion of standadard predicate 2015-03-04 09:54:08 +00:00
Vítor Santos Costa
9d48f3c3c0 fix compilation of JIT (but still not working). 2015-02-18 10:03:57 +00:00
Vítor Santos Costa
88e3d637ec C++ & swig 2015-02-09 01:53:28 +00:00
Vítor Santos Costa
ba978d8275 just in time native code: now compiles by doing cmake; make. 
no workie in this version, though :)
 2015-02-06 18:11:52 +00:00
Vítor Santos Costa
5a668febd9 new slot implementation 2015-02-03 02:36:51 +00:00
Vitor Santos Costa
36e4cbf98b move handles to a separate handle stack. 2015-01-30 07:25:34 +00:00
Vítor Santos Costa
bc1e70758e cmake and jit 2015-01-26 04:02:46 +00:00
Vitor Santos Costa
f22f337f67 32 bit support: 
use uint64_t for predflags
define a type for arity
 2015-01-06 17:47:58 +00:00
vscosta
8f448c0284 registry changes 2014-11-05 07:46:09 +00:00
Vítor Santos Costa
47d1bd5ecc allow setting up arithmetic exception handling. 2014-10-19 11:27:53 +01:00
Vítor Santos Costa
53a8a8f7c9 try to make MT more robust by: 
- tracking memory overflows (still worried about blobs)
- moving core components to C-code, namely the mailboxes.
- reducing locking: too many locks == deadlock.
thanks to Paulo Moura for the test suite!
 2014-10-19 01:54:57 +01:00
Vítor Santos Costa
3c7779ec78 move message queues to C 2014-10-13 12:34:52 +01:00
Vítor Santos Costa
2960f81e04 just say cmp preds are binary. 2014-10-02 14:34:51 +01:00
Vítor Santos Costa
8eec3113be improve docs 2014-09-15 03:13:50 -05:00
Vítor Santos Costa
4d7b270ce4 fix bad handling of choice-points in backtrackable predicates (SWI code 
does not clean frames on exit )
 2014-07-15 18:40:15 -05:00
Vítor Santos Costa
a76b6d23dc Fix: eclipse >u. into >y_u. 2014-05-30 01:06:09 +01:00
Vítor Santos Costa
4172f4efd5 use const wherever possible 2014-05-25 20:46:04 +01:00
Vítor Santos Costa
786d6abeda fix changes in variable names 2014-02-16 12:57:00 +00:00
David Vaz
3cad9c37b1 removed unnecessary cut_c macros (always on) 2014-02-11 07:15:39 -08:00
Vitor Santos Costa
043c97157f fix source file for predicates 2014-02-09 11:00:01 +00:00
Vitor Santos Costa
d648375412 make MYDDAS into its own module. 2014-01-24 19:59:42 +00:00
Vítor Santos Costa
3c16cd1627 fix missing YapHeap 2013-11-25 11:22:44 +01:00
Vítor Santos Costa
84bd55df0d continue cleanup 2013-11-16 00:27:02 +00:00
U-w7\vsc
9c5d7af938 win32 patches 2013-11-15 18:25:33 +00:00
Vitor Santos Costa
9eb07a8c8a more cleanups 2013-11-15 15:45:55 +00:00