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

290 Commits

Author SHA1 Message Date
Vítor Santos Costa
661f33ac7e bug fices 2016-01-03 02:06:09 +00:00
Vitor Santos Costa
3437f9e04b configutaion fixes 2015-11-12 14:59:07 +00:00
Vítor Santos Costa
2466db7ff5 skip/2 was using user_input 2015-11-11 08:45:03 +00:00
Vítor Santos Costa
d66db4cf70 make fixes 
- options to use WITH
- FIX RPATH ON MAC
- newer Find
- bdd exports to cplint
 2015-11-05 23:51:35 +00:00
Vítor Santos Costa
1ef7eeabdf fix files dragged in 2015-09-30 00:02:59 +01:00
Vítor Santos Costa
b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa
4336b2ba88 Avoid complaining from strlen 
`
 2015-09-21 17:05:36 -05:00
Vítor Santos Costa
880a9989c3 small changes 2015-08-18 15:08:52 -05:00
Vítor Santos Costa
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
dbdae6a930 syntax error handling 2015-07-27 22:22:44 -05:00
Vítor Santos Costa
e1597dd022 missing 2015-07-06 15:04:50 +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
c26b5f3175 increase the ignore list 2015-06-17 23:49:02 +01:00
Vítor Santos Costa
9d48f3c3c0 fix compilation of JIT (but still not working). 2015-02-18 10:03:57 +00:00
Vitor Santos Costa
3d6c0e7933 avoid undefined predicates 2015-02-14 17:13:42 +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
a8b1872396 editors prefer h 2015-01-26 07:38:36 +00:00
Vítor Santos Costa
4076d24022 editors prefer h 2015-01-26 07:36:54 +00:00
Vítor Santos Costa
bece9d05d8 JIT 2015-01-20 03:00:42 +00:00
Vítor Santos Costa
3164ed2d61 doc support 2015-01-04 23:58:23 +00:00
Vitor Santos Costa
ff977fbad8 cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
Vitor Santos Costa
addb8cbce3 ORP support 2014-11-14 16:51:42 +00:00
Vitor Santos Costa
f7fe32a03c fix win32 warnings: unsigned long != CELL, IOSTREAM with sace restore, _ffsll and _isatty, fp patches 2014-10-24 15:18:32 +01:00
Vitor Santos Costa
13421d0cd7 fix minor locking problems and disable localization for now 2014-10-19 03:51:56 +01:00
Vítor Santos Costa
827be2f8d0 more debugging versions 2014-10-19 01:44:48 +01:00
Vítor Santos Costa
3009987985 update docs 2014-09-11 14:06:57 -05:00
Vítor Santos Costa
5b19ccf6a8 swig fixes for Android compatibility 2014-06-22 17:35:05 +01:00
Vitor Santos Costa
e1e095d033 fix locking macro to actually lock. 2014-06-16 16:46:05 +01:00
Vitor Santos Costa
489bb27a7e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-06-11 19:45:21 +01:00
Vitor Santos Costa
ec881b8e13 improve functor locking. 2014-06-11 19:44:01 +01:00
Vítor Santos Costa
a76b6d23dc Fix: eclipse >u. into >y_u. 2014-05-30 01:06:09 +01:00
Andreas Becker
dc37d76e8b Merge branch 'github.com/master' 
Conflicts:
	Makefile.in
 2014-05-29 12:19:45 +02:00
Andreas Becker
72b9ec59b7 Fix: Win32 defines Bind, so change Bind to YapBind. 2014-05-29 11:32:28 +02:00
Vítor Santos Costa
eaef6aba9a fix small EClipse complaints 2014-05-25 20:50:43 +01:00
Vitor Santos Costa
aba5f3d88b handle locking more carefully (especially protect gc and stack shifting). 2014-04-23 22:41:12 +01:00
Vitor Santos Costa
ace56c730b Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2014-03-20 13:34:59 +00:00
Vitor Santos Costa
506ac57509 enable debugging to start by default. 2014-03-20 13:33:47 +00:00
Vítor Santos Costa
028f30850f get rid of warnings 2014-03-20 12:32:51 +00:00
Vitor Santos Costa
3d0bb05ef0 João Silva patch for yapor copy+tabling 2014-03-08 11:50:20 +00:00
Vitor Santos Costa
2c89aadb11 WIN64 support (sill needs improvement) 2014-03-06 02:09:48 +00:00
Vitor Santos Costa
294131b1b6 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2014-02-13 11:57:59 +00:00
Vitor Santos Costa
d0efa26d8b Merge branch 'rtries' of git.dcc.fc.up.pt:yap-6.3 
Conflicts:
	OPTYap/tab.insts.i
	OPTYap/tab.tries.c
	OPTYap/tab.tries.i
 2014-02-13 11:57:46 +00:00
João Santos
bb061f9db8 remove GLOBAL_executing_workers 2014-02-13 10:13:45 +00:00
Vitor Santos Costa
6c7e5e3cd2 patch for OPTYap from João Silva 2014-02-05 16:21:21 +00:00
Vitor Santos Costa
d648375412 make MYDDAS into its own module. 2014-01-24 19:59:42 +00:00
Vitor Santos Costa
6b2e1973ab Windows fixes, mainly H -> HB 2014-01-19 21:15:05 +00:00
Vítor Santos Costa
ccccf71ae1 support for tabling of bignums and strings 2014-01-17 09:39:29 +00:00
Theo
e105130a8b Tabling with coinductive mode for predicate 2013-12-20 14:56:13 +00:00
Theo
fdd96e96cf Same as before... 2013-12-19 17:08:55 +00:00