-
Daniel Diaz
committed
[3a5536]
on
Code
add --enable-mcheck to configure.in (malloc consistency checking)
-
Daniel Diaz
committed
[8d76ae]
on
Code
little updates (for autoconf, for gcc 13.3.0, typos)
-
Daniel Diaz
committed
[ed9356]
on
Code
new year copyright
-
Daniel Diaz
committed
[8ce915]
on
Code
fix re issue #56: write_term/2-3 max_depth option - cont 2
-
Daniel Diaz
committed
[6c4575]
on
Code
fix re issue #56: write_term/2-3 max_depth option - cont
-
Daniel Diaz
committed
[839bde]
on
Code
fix re issue #56: write_term/2-3 max_depth option
-
Daniel Diaz
committed
[49b69a]
on
Code
improving write_supp.c
-
Daniel Diaz
committed
[97e8b1]
on
Code
cleaning cont: write_supp.c
-
Daniel Diaz
committed
[6b7494]
on
Code
cleaning cont: write_supp.c and others
-
Daniel Diaz
committed
[3a37be]
on
Code
cleaning write_supp.c
-
Daniel Diaz
committed
[df5e58]
on
Code
improve max_depth (first element of a list)
-
Daniel Diaz
committed
[261c75]
on
Code
fix issue #56: write_term/2-3 max_depth option (improve ... inside a list)
-
Daniel Diaz
committed
[1ce0e5]
on
Code
fix issue #55: fix write_term (domain_error for max_depth and max_depth(0 = no limit)
-
Daniel Diaz
committed
[974c59]
on
Code
fix issue #58: fix pl2wam compiling integer power
-
Daniel Diaz
committed
[01c4a8]
on
Code
fix for x >> y with too large y and x negative
-
Daniel Diaz
committed
[36df06]
on
Code
fix doc for call_nth/2 and countall/2
-
Daniel Diaz
committed
[a58f3c]
on
Code
little fix in .wam
-
Daniel Diaz
committed
[9636db]
on
Code
add built-in predicate countall/2
-
Daniel Diaz
committed
[d9333a]
on
Code
modify format/2-3: now C printf format must start by ~% (backward compatibility issue)
-
Daniel Diaz
committed
[004cbf]
on
Code
improve other arithmetic error detection (in both integer and float functions)
-
Daniel Diaz
committed
[3494bb]
on
Code
merge
-
Daniel Diaz
committed
[da0381]
on
Code
more on overflow detection
-
Daniel Diaz
committed
[bbcf36]
on
Code
fix issue #47: add integer overflow detection
-
Daniel Diaz
committed
[2e4903]
on
Code
working on integer overflow detection
-
Daniel Diaz
committed
[6de599]
on
Code
fix issue #50: top-level: flush_output after each answer display
-
Daniel Diaz
committed
[733ae3]
on
Code
fix issue #45: improve call_nth/2 with a add new option ret(RetVar)
-
Daniel Diaz
committed
[204c41]
on
Code
add/modify Prolog flags: show_banner, show_information
-
Daniel Diaz
committed
[cf3fcb]
on
Code
fix issue #43: add call_nth/2 built-in (part of the Prolog prologue)
-
Daniel Diaz
committed
[02d511]
on
Code
little fix for evaluable_property/2 (wam file)
-
Daniel Diaz
committed
[77b1b9]
on
Code
little fix for evaluable_property/2
-
Daniel Diaz
committed
[832e32]
on
Code
fix issue #41: ISO requires: round(4.5) = 5 and round(-4.5) = -4
-
Daniel Diaz
committed
[042e3a]
on
Code
fix consult include default file
-
Daniel Diaz
committed
[6ef191]
on
Code
replace previous pragma directives by the unique compiler_mode/1 directive and update doc
-
Daniel Diaz
committed
[1d7a99]
on
Code
add first version of pragma directives for term expansion
-
Daniel Diaz
committed
[5ac26a]
on
Code
continue on pragma + doc
-
Daniel Diaz
committed
[656512]
on
Code
modify pre-load file format and usage: now a classical Prolog file included by pl2wam
-
Daniel Diaz
committed
[a61600]
on
Code
doc + little updates
-
Daniel Diaz
committed
[f3d6ef]
on
Code
fix issue #38: add more error detections in format/2-3
-
Daniel Diaz
committed
[fe70f4]
on
Code
fix issue #39: bug in conditional compilation directives
-
Daniel Diaz
committed
[c90b64]
on
Code
rename pl2wam --pl-state option (and concept) as --pre-load
-
Daniel Diaz
committed
[735c08]
on
Code
fix issue #37: bug in format/2-3
-
Daniel Diaz
committed
[a59bc7]
on
Code
fix issue #36: regression
-
Daniel Diaz
committed
[c91a76]
on
Code
fix issue #13: user meta_predicate definition is now returned by predicate_property/2
-
Daniel Diaz
committed
[65e14f]
on
Code
update dynam_supp.c (improve debugging info)
-
Daniel Diaz
committed
[35eb27]
on
Code
More improvement on dynamic predicate support. Add option OPTIM_FIRST_FOR_SCAN and
-
Daniel Diaz
committed
[d566e3]
on
Code
Some Improvements to better handle wordnet:
-
Daniel Diaz
committed
[cb742c]
on
Code
Merge branch 'master' into contexts
-
Daniel Diaz
committed
[b1d93c]
on
Code
Merge branch 'master' into negative-domain
-
Daniel Diaz
committed
[dac097]
on
Code
little fixes in linedit
-
Daniel Diaz
committed
[ce8e7d]
on
Code
add MAP_PROTOTYPES_ONLY facility to map_rbtree.h
-
Daniel Diaz
committed
[0de7f8]
on
Code
add MAP_KEY_PASSED_BY_PTR to map_rbtree.h
-
Daniel Diaz
committed
[14d7ac]
on
Code
new map_rbtree.h implementation (remove indirections)
-
-
-
-
-
-
Daniel Diaz
committed
[bcfcd7]
on
Code
Merge branch 'master' into contexts
-
Daniel Diaz
committed
[9f6154]
on
Code
Merge branch 'master' into negative-domain
-
Daniel Diaz
committed
[010b62]
on
Code
Merge branch 'master' into negative-domain
-
Daniel Diaz
committed
[7adebe]
on
Code
new linedit completion using new map implementation
-
Salvador Abreu
committed
[9c2317]
on
Code
dispose of useless code in f_cxt_unit_for_next_call()
-
Daniel Diaz
committed
[648bbb]
on
Code
update for new map implementation (to be tested)
-
Daniel Diaz
committed
[5c18ac]
on
Code
use new map implementation (based on red-black trees) for wam2ma and ma2asm
-
Daniel Diaz
committed
[4ad24f]
on
Code
fix merge with master
-
Daniel Diaz
committed
[947053]
on
Code
Merge branch 'master' into negative-domain
-
Daniel Diaz
committed
[811829]
on
Code
update ChangeLog, start version 1.6.0
-
Daniel Diaz
committed
[5d8f00]
on
Code
Merge branch 'master' into negative-domain
-
Daniel Diaz
committed
[af0c6e]
on
Code
Merge branch 'master' into contexts
-
Daniel Diaz
committed
[87a938]
on
Code
fix Makefile.in in contexts
-
Daniel Diaz
committed
[3e9f17]
on
Code
fix Makefile.in in master
-
Daniel Diaz
committed
[c79877]
on
Code
fix Makefile.in in master
-
Daniel Diaz
committed
[b7674c]
on
Code
fix Makefile.in in contexts
-
Daniel Diaz
committed
[dcdeda]
on
Code
fix Makefile.in in master
-
Daniel Diaz
committed
[405c47]
on
Code
fix Makefile.in
-
Daniel Diaz
committed
[46cf8a]
on
Code
update Makefiles as in contexts
-
Daniel Diaz
committed
[dac715]
on
Code
fix bootstrap and add readme file CONTEXTS
-
Daniel Diaz
committed
[419e1b]
on
Code
Merge branch 'master' into negative-domain
-
Daniel Diaz
committed
[4686b1]
on
Code
Merge branch 'master' into negative-domain
-
Daniel Diaz
committed
[19949e]
on
Code
modifications to converge to master
-
Daniel Diaz
committed
[4cc430]
on
Code
modifications to converge to contexts
-
Daniel Diaz
committed
[3c97bc]
on
Code
modifications to converge to contexts
-
Daniel Diaz
committed
[6d0563]
on
Code
modifications to converge to master
-
Daniel Diaz
committed
[cee079]
on
Code
modifications to fix merge
-
Daniel Diaz
committed
[60200e]
on
Code
modifications to converge with contexts
-
Daniel Diaz
committed
[96f438]
on
Code
fix conflicts after merge Tools modifications
-
Daniel Diaz
committed
[204304]
on
Code
add a Tools directory for tools common to Prolog runtime and standalone sub-compilers
-
Salvador Abreu
committed
[93a98b]
on
Code
slight tweak (correct version)
-
Salvador Abreu
committed
[0fb5d4]
on
Code
backtrack on requires directive
-
Salvador Abreu
committed
[a3615b]
on
Code
Merge remote-tracking branch 'sf/master' into contexts
-
Salvador Abreu
committed
[a8f5eb]
on
Code
recoup example files from main branch
-
Salvador Abreu
committed
[4cfba2]
on
Code
Merge branch 'contexts' of github.com:didoudiaz/gprolog into contexts
-
Salvador Abreu
committed
[63a5a2]
on
Code
program name is now GNU Prolog/CX
-
Salvador Abreu
committed
[19e87e]
on
Code
program name is now GNU Prolog/CX
-
Salvador Abreu
committed
[fc3405]
on
Code
contextual predicates must have local symbol names
-
Salvador Abreu
committed
[22a85c]
on
Code
remove old CVS comments
-
Salvador Abreu
committed
[0c9f6f]
on
Code
first working version of contexts, with new name mangling scheme
-
Salvador Abreu
committed
[1cb102]
on
Code
context merge progress.
-
Salvador Abreu
committed
[c96855]
on
Code
configure.in adjusted for autoconf 2.71
-
Salvador Abreu
committed
[58cd63]
on
Code
Merge branch 'master' into contexts