This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

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

..

ATOMS

CoInductive tabling

2013-12-19 16:56:55 +00:00

buildatoms

better emulation of SWI atom_t and functor_t.

2010-05-03 14:26:56 +01:00

buildheap

LOCALS and GLOBALS are now generated by misc/buildlocalglobal.

2011-05-11 18:22:58 +01:00

buildlocalglobal

LOCALS and GLOBALS are now generated by misc/buildlocalglobal.

2011-05-11 18:22:58 +01:00

buildops

removed unnecessary cut_c macros (always on)

2014-02-11 07:15:39 -08:00

buildswiatoms

fix limit on atoms to ints

2013-10-08 13:04:30 +01:00

GLOBALS

fix gprof undder a single running thread

2013-02-08 20:38:04 +00:00

HEAPFIELDS

fix comment handling

2013-12-08 22:56:48 +00:00

LOCALS

new text conversion and string code (big changes, take care please)

2013-12-02 14:49:41 +00:00

options.ini

improve WIN32 support and installation

2008-03-27 00:41:33 +00:00

SWIATOMS

upgrade to latest swi

2013-11-15 01:10:25 +00:00

tkyap

mode changes

2011-07-25 17:09:28 +01:00

yap64.nsi

WIN32 support

2013-10-30 13:56:35 +00:00

Yap64.spec

start 6.3.4.

2013-01-20 19:28:33 +00:00

yap.def

fixes by Bart and Tom: mostly libraries but nasty one in indexing

2008-07-11 17:02:10 +00:00

yap.nsi

start 6.3.4.

2013-01-20 19:28:33 +00:00

Yap.spec

start 6.3.4.

2013-01-20 19:28:33 +00:00