kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/yap/PLIST
asau e045b82e51 Update to YAP-6.0.5 
Changes in Yap-6.0.5:

- Very large programs: indexing very large DBs requires very large
  intermediate data-structures. malloc is changed to avoid
  memory fragmentation.

- Heap data-structures: there was some confusion about what should be
  going through save/restore and atom-gc, and what is local to a
  run. Fixed that by two files describing the two types: global
  variables and code-space data structures.

- SWI emulation cleanup: some builti-ins (like predsort/3, plus/3) are
  now in YAP proper, the file was cleaned up and made to rely more on


Changes in Yap-6.0.4:

Overhaul/cleanup of the attributed variable and coroutining code:
- attributed variables now don't have a separate stack; instead,
  they are allocated as global variables.
- Prolog code for attributed variables cleaned up: layers now
  are engine, hprolog/SWI attvars, freeze and SICStus emulation
  libraries


Changes in Yap-6.0.3:

6.0.3 is another bug fix release:
- a bug in indexing large integers
- a choice-point left over in consulting
- fix error handling in comparisons
- garbage collection of functor/3 could sometimes break
- fixes to chr port
- exec_prefix
- bad error reporting in some arithmetic conditions
- erf function
- win32 install fixes
- operators need to be exported in module list, some weren't.
- tabling stuff


Changes in Yap-6.0.2:

This is a bug fix release:
- fix current_op/3 in WIN32 (P Moura)
- fix nb_current/2 (J Santos) and add SWI user:exception/3
  (Bernd and Jose), add fix to nb_ in distributed ProbLog.
- fix goal_expansion
- fix clp(fd) all_distinct/1 and circuit/1 (M Triska)
- fix seekable file detection in WIN32
- add yap.pdf and yap.html to win32 bundle (M Ferreira).
- check for badly typed calls to load_files and friends.
- threads: fix bad locking while spying (P Moura).


Changes in Yap-6.0.1:

- engine improvements;
- many bug fixes;
- new implementation of arithmetic;
- better ISO compatibility;
- improvements in tabling;
- SWI-compatibility, YAP now includes support for most of the
  SWI foreign interface, and many built-ins, ports of SWI
  packages include jpl, chr, clpfd, clpr, sgml, prolog_xref,
  swi-minisat interface, and plunit;
- yap-6 also includes a really cool new language called ProbLog.


Changes in Yap-5.1.4:

  - FIXED: bad locking in p_signal (obs from Paulo Moura).
  - FIXED: DESTDIR and chr.
  - FIXED: make term_variables a builtin. (SWI compatibility).
  - NEW: X is random(Int) (SWI compatibility).
  - NEW: seletchk/3.
  - FIXED: do meta-expansion from undefp.
  - FIXED: handle correctly flatten([_,[_]],L).
  - FIXED: bad syntax in config.h (patch from Keri Harris).
  - NEW: format over atom/1.
  - FIXED: clean up apply_macros in swi mode.
  - FIXED: clean up meta-expansion.
  - FIXED: do meta-expansion from undefined call.
  - NEW: selectchk/3, nth1/3 and nth1/4.
  - FIXED: YapOpcodes has wrong formats (obs from Bart Demoen).
  - FIXED: improve format message (obs from Bart Demoen).
  - NEW: more versions of maplist (obs from Bart Demoen).
  - FIXED: use import mechanism for SWI's flatten/2 (obs from Bart Demoen).
  - FIXED: steps towards typed rbtrees plus some cases where one should not copy the null node (Tom Schrijvers and Bart
    Demoen).
  - FIXED: map_tree in trees library (Bart Demoen).
  - FIXED: bad call to splay_tree (Bart Demoen).
  - FIXED: bad type for write_x_var in add_info (Bart Demoen).
  - FIXED: exec/3 should flush streams.
  - FIXED: load_files/2 compilation_mode to allow :- source and replace compile by compact.
  - FIXED: list_concat/2 (fix from Bart Demoen).
  - NEW: dgraph_reachable/3 and friends.
2010-05-18 09:24:43 +00:00

310 lines
7.6 KiB
Text
Raw Blame History

@comment $NetBSD: PLIST,v 1.5 2010/05/18 09:24:43 asau Exp $
bin/yap
include/Yap/Atoms.h
include/Yap/Regs.h
include/Yap/SWI-Prolog.h
include/Yap/SWI-Stream.h
include/Yap/Tags_24bits.h
include/Yap/Tags_32LowTag.h
include/Yap/Tags_32Ops.h
include/Yap/Tags_32bits.h
include/Yap/Tags_64bits.h
include/Yap/TermExt.h
include/Yap/Yap.h
include/Yap/YapHeap.h
include/Yap/YapInterface.h
include/Yap/Yapproto.h
include/Yap/Yatom.h
include/Yap/absmi.h
include/Yap/alloc.h
include/Yap/amidefs.h
include/Yap/amiops.h
include/Yap/arith2.h
include/Yap/arrays.h
include/Yap/attvar.h
include/Yap/c_interface.h
include/Yap/clause.h
include/Yap/clause_list.h
include/Yap/compile.h
include/Yap/config.h
include/Yap/corout.h
include/Yap/cut_c.h
include/Yap/dglobals.h
include/Yap/dhstruct.h
include/Yap/dlmalloc.h
include/Yap/dswiatoms.h
include/Yap/eam.h
include/Yap/eamamasm.h
include/Yap/eval.h
include/Yap/heapgc.h
include/Yap/hglobals.h
include/Yap/hstruct.h
include/Yap/iatoms.h
include/Yap/iglobals.h
include/Yap/ihstruct.h
include/Yap/index.h
include/Yap/iopreds.h
include/Yap/iswiatoms.h
include/Yap/locks_alpha.h
include/Yap/locks_alpha_funcs.h
include/Yap/locks_mips.h
include/Yap/locks_mips_funcs.h
include/Yap/locks_pthread.h
include/Yap/locks_sparc.h
include/Yap/locks_x86.h
include/Yap/myddas.h
include/Yap/myddas_statistics.h
include/Yap/myddas_statistics_structs.h
include/Yap/myddas_structs.h
include/Yap/myddas_wkb.h
include/Yap/myddas_wkb2prolog.h
include/Yap/opt.config.h
include/Yap/opt.macros.h
include/Yap/opt.proto.h
include/Yap/opt.structs.h
include/Yap/or.macros.h
include/Yap/or.sbaamiops.h
include/Yap/or.sbaunify.h
include/Yap/parms.h
include/Yap/ratoms.h
include/Yap/rclause.h
include/Yap/rglobals.h
include/Yap/rheap.h
include/Yap/rhstruct.h
include/Yap/rtree_udi.h
include/Yap/sshift.h
include/Yap/tab.structs.h
include/Yap/tatoms.h
include/Yap/threads.h
include/Yap/tracer.h
include/Yap/trim_trail.h
include/Yap/udi.h
include/Yap/yap_structs.h
include/Yap/yapio.h
lib/Yap/itries.so
lib/Yap/matrix.so
lib/Yap/pl-minisat.so
lib/Yap/plstream.so
lib/Yap/random.so
lib/Yap/regexp.so
lib/Yap/sgml2pl.so
lib/Yap/startup.yss
lib/Yap/sys.so
lib/Yap/tries.so
lib/Yap/yap_rl.so
lib/libYap.a
share/Yap/DTD/HTML4.dcl
share/Yap/DTD/HTML4.dtd
share/Yap/DTD/HTML4.soc
share/Yap/DTD/HTMLlat1.ent
share/Yap/DTD/HTMLspec.ent
share/Yap/DTD/HTMLsym.ent
share/Yap/INDEX.pl
share/Yap/aggregate.pl
share/Yap/apply.yap
share/Yap/apply_macros.yap
share/Yap/arg.yap
share/Yap/assoc.yap
share/Yap/atts.yap
share/Yap/autoloader.yap
share/Yap/avl.yap
share/Yap/bhash.yap
share/Yap/charsio.yap
share/Yap/chr.pl
share/Yap/chr/README
share/Yap/chr/a_star.pl
share/Yap/chr/binomialheap.pl
share/Yap/chr/builtins.pl
share/Yap/chr/chr_compiler_errors.pl
share/Yap/chr/chr_compiler_options.pl
share/Yap/chr/chr_compiler_utility.pl
share/Yap/chr/chr_debug.pl
share/Yap/chr/chr_hashtable_store.pl
share/Yap/chr/chr_integertable_store.pl
share/Yap/chr/chr_messages.pl
share/Yap/chr/chr_op.pl
share/Yap/chr/chr_runtime.pl
share/Yap/chr/chr_translate.pl
share/Yap/chr/clean_code.pl
share/Yap/chr/find.pl
share/Yap/chr/guard_entailment.pl
share/Yap/chr/listmap.pl
share/Yap/chr/pairlist.pl
share/Yap/cleanup.yap
share/Yap/clp/clp_events.pl
share/Yap/clpbn.yap
share/Yap/clpbn/aggregates.yap
share/Yap/clpbn/bnt.yap
share/Yap/clpbn/connected.yap
share/Yap/clpbn/discrete_utils.yap
share/Yap/clpbn/display.yap
share/Yap/clpbn/dists.yap
share/Yap/clpbn/evidence.yap
share/Yap/clpbn/examples/School/README
share/Yap/clpbn/examples/School/evidence_128.yap
share/Yap/clpbn/examples/School/schema.yap
share/Yap/clpbn/examples/School/school_128.yap
share/Yap/clpbn/examples/School/school_32.yap
share/Yap/clpbn/examples/School/school_64.yap
share/Yap/clpbn/examples/School/tables.yap
share/Yap/clpbn/examples/cg.yap
share/Yap/clpbn/examples/sprinkler.yap
share/Yap/clpbn/gibbs.yap
share/Yap/clpbn/graphs.yap
share/Yap/clpbn/graphviz.yap
share/Yap/clpbn/hmm.yap
share/Yap/clpbn/jt.yap
share/Yap/clpbn/learning/bnt_parms.yap
share/Yap/clpbn/learning/em.yap
share/Yap/clpbn/learning/learn_utils.yap
share/Yap/clpbn/learning/mle.yap
share/Yap/clpbn/matrix_cpt_utils.yap
share/Yap/clpbn/pgrammar.yap
share/Yap/clpbn/table.yap
share/Yap/clpbn/topsort.yap
share/Yap/clpbn/utils.yap
share/Yap/clpbn/vel.yap
share/Yap/clpbn/viterbi.yap
share/Yap/clpbn/xbif.yap
share/Yap/clpfd.pl
share/Yap/clpq.pl
share/Yap/clpq/bb_q.pl
share/Yap/clpq/bv_q.pl
share/Yap/clpq/fourmotz_q.pl
share/Yap/clpq/ineq_q.pl
share/Yap/clpq/itf_q.pl
share/Yap/clpq/nf_q.pl
share/Yap/clpq/store_q.pl
share/Yap/clpqr/README
share/Yap/clpqr/class.pl
share/Yap/clpqr/dump.pl
share/Yap/clpqr/geler.pl
share/Yap/clpqr/itf.pl
share/Yap/clpqr/ordering.pl
share/Yap/clpqr/project.pl
share/Yap/clpqr/redund.pl
share/Yap/clpr.pl
share/Yap/clpr/bb_r.pl
share/Yap/clpr/bv_r.pl
share/Yap/clpr/fourmotz_r.pl
share/Yap/clpr/ineq_r.pl
share/Yap/clpr/itf_r.pl
share/Yap/clpr/nf_r.pl
share/Yap/clpr/store_r.pl
share/Yap/cnf.pl
share/Yap/dbqueues.yap
share/Yap/dbusage.yap
share/Yap/debug.pl
share/Yap/dgraphs.yap
share/Yap/dialect/commons.yap
share/Yap/dialect/hprolog.yap
share/Yap/dialect/swi.yap
share/Yap/dialect/swi/INDEX.pl
share/Yap/dialect/swi/listing.pl
share/Yap/error.pl
share/Yap/expand_macros.yap
share/Yap/gensym.yap
share/Yap/hacks.yap
share/Yap/heaps.yap
share/Yap/icon_address.pl
share/Yap/iso_639.pl
share/Yap/itries.yap
share/Yap/lam_mpi.yap
share/Yap/lineutils.yap
share/Yap/lists.yap
share/Yap/maplist.pl
share/Yap/maplist.yap
share/Yap/matlab.yap
share/Yap/matrix.yap
share/Yap/minisat.pl
share/Yap/minisat_examples/adder.pl
share/Yap/minisat_examples/pearl_examples.pl
share/Yap/nb.yap
share/Yap/occurs.yap
share/Yap/operators.pl
share/Yap/option.pl
share/Yap/ordsets.yap
share/Yap/pairs.pl
share/Yap/pillow.pl
share/Yap/pl/arith.yap
share/Yap/pl/arrays.yap
share/Yap/pl/attributes.yap
share/Yap/pl/boot.yap
share/Yap/pl/callcount.yap
share/Yap/pl/checker.yap
share/Yap/pl/chtypes.yap
share/Yap/pl/consult.yap
share/Yap/pl/control.yap
share/Yap/pl/corout.yap
share/Yap/pl/debug.yap
share/Yap/pl/depth_bound.yap
share/Yap/pl/dialect.yap
share/Yap/pl/directives.yap
share/Yap/pl/eam.yap
share/Yap/pl/errors.yap
share/Yap/pl/eval.yap
share/Yap/pl/flags.yap
share/Yap/pl/grammar.yap
share/Yap/pl/ground.yap
share/Yap/pl/hacks.yap
share/Yap/pl/init.yap
share/Yap/pl/listing.yap
share/Yap/pl/load_foreign.yap
share/Yap/pl/messages.yap
share/Yap/pl/modules.yap
share/Yap/pl/preds.yap
share/Yap/pl/profile.yap
share/Yap/pl/protect.yap
share/Yap/pl/setof.yap
share/Yap/pl/signals.yap
share/Yap/pl/sockets.yap
share/Yap/pl/sort.yap
share/Yap/pl/statistics.yap
share/Yap/pl/strict_iso.yap
share/Yap/pl/tabling.yap
share/Yap/pl/threads.yap
share/Yap/pl/udi.yap
share/Yap/pl/utils.yap
share/Yap/pl/yapor.yap
share/Yap/pl/yio.yap
share/Yap/plunit.pl
share/Yap/prandom.yap
share/Yap/problog.yap
share/Yap/problog/flags.yap
share/Yap/problog/print.yap
share/Yap/problog/tptree.yap
share/Yap/problog_examples/graph.pl
share/Yap/problog_examples/learn_graph.pl
share/Yap/problog_learning.yap
share/Yap/problog_learning/flags_learning.yap
share/Yap/problog_learning/logger.yap
share/Yap/prolog_source.pl
share/Yap/prolog_xref.pl
share/Yap/queues.yap
share/Yap/random.yap
share/Yap/rbtrees.yap
share/Yap/readutil.yap
share/Yap/regexp.yap
share/Yap/rltree.yap
share/Yap/sgml.pl
share/Yap/sgml_write.pl
share/Yap/splay.yap
share/Yap/stringutils.yap
share/Yap/system.yap
share/Yap/terms.yap
share/Yap/test_cover.pl
share/Yap/test_wizard.pl
share/Yap/timeout.yap
share/Yap/trees.yap
share/Yap/tries.yap
share/Yap/ugraphs.yap
share/Yap/undgraphs.yap
share/Yap/varnumbers.yap
share/Yap/wdgraphs.yap
share/Yap/wgraphs.yap
share/Yap/wundgraphs.yap
share/Yap/xsdp_types.pl
share/Yap/ypp.yap
share/docs/Yap/Artistic
share/docs/Yap/COPYING
share/docs/Yap/README
Reference in a new issue View git blame Copy permalink