b41986ee3c
documentation.
2018-10-15 13:47:36 +01:00
2d55f41ef6
docs
2018-06-05 11:20:39 +01:00
44ac70d3ab
docs
2018-04-27 17:37:42 +01:00
7ce963b63c
keep on working on exs.
2018-04-07 19:45:18 +01:00
9ac1b3f2c6
discontiguous
2016-07-31 10:34:24 -05:00
52801b660f
checker fixes
2016-06-03 16:54:17 +01:00
1aa20e24b7
misc_bugs_when_compiling_problog
2016-04-14 12:00:09 +01:00
3164ed2d61
doc support
2015-01-04 23:58:23 +00:00
e9cc545f68
big cleanup: cpmpile under style checker.
...
fix broken module stuff.
2014-10-07 01:35:41 +01:00
050ce4fce6
"moredocupdates"
2014-09-13 00:53:56 -05:00
823175f50a
fix small bugs from changing style_check
2014-08-04 09:45:30 -05:00
325c819f79
intermediate steo in improving doc system to doxygeb
2014-07-26 19:14:15 -05:00
98daf1ebdd
bad call to style_checker.
2014-05-07 09:35:57 +01:00
d8f4a77f47
fix style_check to be called at parse-time and not cause eexcution overheads.
2014-04-24 08:26:31 +01:00
f1951777b7
fix checker to use read for singleton variables, instead of always computing
...
them.
2014-04-23 21:39:32 +01:00
a8c77d2609
fix string_concat/2
2014-04-09 12:39:29 +01:00
cc84cd8cb5
check for mistypes
2014-04-06 17:05:17 +01:00
bcc1757989
fixes to message handling
2014-01-07 01:10:48 +00:00
26c80b0624
use singletons option of read_term to implement singleton test
2014-01-06 22:17:42 +00:00
ad0ff98f1a
use swi flags whenever possible
2013-11-04 01:14:48 +00:00
f79f93bccd
small updates
2013-07-16 08:01:01 -05:00
cf3c62f4b4
names are now atoms, not sequences of codes
2013-02-04 22:55:34 +00:00
2cb0f298a8
fix style_checking flags and especially variables.
2013-02-04 11:22:42 -06:00
20398352e3
who will you check?
2013-01-18 14:32:13 +00:00
eaf96e918b
allow multifile as an user predicate.
2011-06-14 09:02:16 +01:00
e05b84ce4e
fix to thread support.
2011-03-11 19:49:32 +00:00
3900933694
fix true messages.
2011-01-06 11:20:29 -06:00
9f8f8ee73e
fix missing cut (obs from Bernd).
2010-12-13 19:35:16 +00:00
1369057cc4
fix style checker to be more self-contained.
2010-12-13 19:13:33 +00:00
7c2c3febe5
checker should be called after preprocessing (obs from Roberto Bagnara).
2010-12-12 19:19:49 +00:00
a00c3e13c1
accept // more often as predicate indicator.
2010-02-27 23:07:03 +00:00
a40dc14525
fix discontiguous warnings
2009-02-10 23:03:25 +00:00
0dcf34b7bc
mainbranch fixes to:
...
- fix quoted characters output
- fix line position in read_term and friends
- make messages look a bit better
- CLP(BN) EM improvements.
2008-10-23 22:17:45 +01:00
5b6e8e742b
more fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2176 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-31 22:56:22 +00:00
3beda27d14
fixes to support threads and assert correctly, even if inefficiently.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2030 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-26 23:43:10 +00:00
93fd5bf9d5
style_checker was failing on DCGs
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1722 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-11-17 12:10:46 +00:00
8ed6f693bb
code review
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1576 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-24 16:26:31 +00:00
90c9397a47
should have meta-predicate definitions for calls,
...
multifile and discontiguous.
have discontiguous as a builtin, not just as a
declaration.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1443 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-05 23:56:10 +00:00
1fa46c6051
sveral updates
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1415 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-28 17:38:50 +00:00
668a3dce2b
try to improve error handling and warnings from within consults.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1280 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-04-20 20:06:26 +00:00
3ecff9c37a
fix warnings
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1279 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-04-20 04:08:20 +00:00
cd4fd05d45
lgamma broke arithmetic optimisation
...
integer_y has type y
pass original source to checker (and maybe even use option in parser)
use warning mechanism for checker messages.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1231 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-01-13 05:47:27 +00:00
cff95648c3
fix checker messages
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1086 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-06-29 19:12:01 +00:00
f6503f0100
fix multithreaded version
...
include new version of Ricardo's profiler
new predicat atomic_concat
allow multithreaded-debugging
small fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1085 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-06-29 19:04:46 +00:00
4242efb73f
trim_trail for default machine
...
be more aggressive about try-retry-trust chains.
- handle cases where block starts with a wait
- don't use _killed instructions, just let the thing rot by itself.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1027 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-03-19 11:35:42 +00:00
4c264a968a
new scheme for flags.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@949 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-12-04 18:13:04 +00:00
90829edc9e
new infrastructure for static clauses:
...
they are now valid references
they don't have the try_me block
jump_on_var now uses expand
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@936 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-11-26 18:36:35 +00:00
17ecf0dc14
continue big commit
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@863 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-08-27 13:37:10 +00:00
66650c39cb
fix for multifile/1
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@742 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-01-20 15:12:45 +00:00
21aab28a59
new error handlong mechanism
...
new YAP_ foreign interface
fix unbound_first_arg in call_with_args
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@582 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-09-09 17:40:12 +00:00
Vitor Santos Costa
Vítor Santos Costa
vsc