Mark Thom
6d94b8ab75
Merge pull request #1669 from aarroyoc/docs-http-open
...
Compatible Doclog docs for library(http/http_open).
2022-12-18 00:38:13 +01:00
Adrián Arroyo Calle
6a995fb62b
Compatible Doclog docs for library(http/http_open).
2022-12-17 20:43:43 +01:00
Mark Thom
cf63e8375d
track attr_var_init lengths on the stack ( #1667 )
2022-12-16 20:10:17 -07:00
Mark Thom
0a8fc70ba9
detect cyclic bindings in attr_vars_of_term ( #1666 )
2022-12-16 00:42:38 -07:00
Mark Thom
b4b72a3166
Merge pull request #1662 from mthom/interpreting_disj
...
Fix mishandled if-then-else interpretation (#1659 )
2022-12-16 04:36:02 +01:00
Mark Thom
a5054c0064
use append/3 rather than set_difference/3 to gather witnesses in bagof/3 and setof/3 ( #1663 , #1664 )
2022-12-12 23:55:55 -07:00
Mark Thom
705f421d53
Merge pull request #1661 from aarroyoc/lcm2
...
Add predicate lcm/2 to library(arithmetic)
2022-12-12 00:38:40 +01:00
Mark Thom
4dc0114c52
fix mishandled if-then-else interpretation ( #1659 )
2022-12-11 16:35:32 -07:00
Adrián Arroyo Calle
5f2c77fa74
Add predicate lcm/2 to library(arithmetic)
2022-12-11 21:49:41 +01:00
Mark Thom
209f7a239a
Merge pull request #1657 from aarroyoc/docs-files
...
Compatible Doclog docs for library(files)
2022-12-10 18:09:01 +01:00
Mark Thom
0d404ad374
Merge pull request #1656 from aarroyoc/docs-ordsets
...
Compatible Doclog docs for library(ordsets)
2022-12-10 18:08:45 +01:00
Adrián Arroyo Calle
21d6220f3f
Compatible Doclog docs for library(files)
2022-12-08 23:41:28 +01:00
Adrián Arroyo Calle
e0464d5447
Compatible Doclog docs for library(ordsets)
2022-12-08 22:30:48 +01:00
Markus Triska
309e5b320e
more uses of newly available deref_register(n)
2022-12-07 23:19:31 +01:00
Markus Triska
56e5da6680
introduce and use deref_register(n)
2022-12-06 21:07:50 +01:00
Mark Thom
a8810d73e4
Merge pull request #1652 from aarroyoc/docs-lists
...
Compatible Doclog docs for library(lists)
2022-12-06 17:57:46 +01:00
Adrián Arroyo Calle
df4b56148f
Compatible Doclog docs for library(lists)
2022-12-06 13:19:10 +01:00
Adrián Arroyo Calle
f22a48f576
Compatible Doclog docs for library(sockets)
2022-12-06 11:58:26 +01:00
Mark Thom
d660e4244f
dereference encoding register in crypto_data_decrypt ( #1650 )
2022-12-05 23:28:47 -07:00
Mark Thom
d383e5eb8b
avoid pushing stack variables to the heap in get_continuation_chunk ( #1644 )
2022-12-05 23:17:15 -07:00
Mark Thom
e1dc114517
Merge pull request #1649 from aarroyoc/docs-ugraphs
...
Compatible Doclog docs for library(ugraphs)
2022-12-05 06:05:13 +01:00
Mark Thom
73780ebf63
Merge pull request #1648 from aarroyoc/docs-random
...
Compatible Doclog docs for library(random)
2022-12-05 06:05:02 +01:00
Mark Thom
a19f7a0b9f
Merge pull request #1647 from aarroyoc/docs-uuid
...
Compatible Doclog docs for library(uuid)
2022-12-05 06:04:48 +01:00
Adrián Arroyo Calle
d429b263eb
Compatible Doclog docs for library(ugraphs)
2022-12-05 00:09:32 +01:00
Adrián Arroyo Calle
b2a0d0c1c7
Compatible Doclog docs for library(random)
2022-12-02 23:43:24 +01:00
Adrián Arroyo Calle
8bafd7adb1
Compatible Doclog docs for library(uuid)
2022-12-02 23:23:16 +01:00
Adrián Arroyo Calle
76d24fe4e3
Compatible Doclog docs for library(assoc)
2022-12-02 23:05:03 +01:00
Mark Thom
3bdcc3aba9
return -1 from get_code to indicate end of file ( #1622 )
2022-11-18 18:19:55 -07:00
Mark Thom
d16312a314
use existing bindings in compile_is ( #1545 )
2022-11-14 20:58:07 -07:00
Mark Thom
d19a8d6b98
begin to mark registers as safe from built-in predicates like is/2 ( #1545 )
2022-11-14 20:58:07 -07:00
Mark Thom
c90dd80ece
revise UnsafeVarMarker ( #1545 )
2022-11-14 20:57:51 -07:00
Mark Thom
28ea672e36
move asserta/2, assertz/2 to iso_ext
2022-11-10 06:47:32 +01:00
Mark Thom
9366a48d6d
introduce InlineTermStream to avoid arena allocations during call_inline ( #1576 )
2022-11-09 00:01:01 +01:00
Markus Triska
d91ee5b77c
FIXED: CLP(ℤ): Correctly remove all attributes during propagation of all_distinct/1 and other global constraints.
...
The constraints from library(clpz) were already correctly removed, but
others such as pending freeze/2 goals were not, potentially leading to
an accumulation of redundant constraints during propagation.
Test case:
?- freeze(A,(X=1;X=2)), all_distinct([A]), A = 1.
A = 1, X = 1
; A = 1, X = 2.
The combination of freeze/2 and CLP(ℤ) is useful for example when
creating animations of search processes.
This addresses #1624 .
2022-10-26 23:36:07 -06:00
Mark Thom
fd97b84916
build partial strings using PStrLoc in write_term_to_heap ( #1627 )
2022-10-26 23:36:07 -06:00
Mark Thom
23f59970cb
export asserta/2 ( #1623 )
2022-10-26 23:36:07 -06:00
Mark Thom
8781e03863
cache ball terms before unifying in handle_ball/3 ( #1608 )
2022-10-26 23:36:07 -06:00
Adrián Arroyo Calle
f2940ddfcf
Some minor fixes. Thanks to @triska for them!
2022-10-26 23:36:07 -06:00
Mark Thom
140149f051
fix crash in read_term ( #1616 )
2022-10-26 23:36:07 -06:00
Markus Triska
b2cccab768
ENHANCED: library(crypto): Faster conversion to bytes when the integer is known.
...
These entailed constraints only affect performance, and can be removed
without affecting the correctness of the code. They speed up scalar
multiplication of a curve point, used for example in Bitcoinolog.
2022-10-26 23:36:07 -06:00
Markus Triska
579aa8acd4
use newly available u8s_to_string
2022-10-26 23:36:07 -06:00
Markus Triska
9c2cb144b5
remove redundant error handling, since this case is checked in Prolog
...
This restores f668640e3d0404c3bd94
2022-10-26 23:36:07 -06:00
Markus Triska
3d04689660
introduce and use u8s_to_string
2022-10-26 23:36:07 -06:00
Markus Triska
a891cc4edf
use (slightly) better variable names
2022-10-26 23:36:07 -06:00
Markus Triska
706ab2ae5b
use newly available must_be(chars, ...) for better and shorter type test
2022-10-26 23:36:07 -06:00
Markus Triska
9c1de8e00b
ENHANCED: Eliminate the OpenSSL dependency of library(crypto).
...
This is achieved by using the newly available crrl crate by @pornin
to implement crypto_curve_scalar_mult/4 for secp256k1. Many thanks!
2022-10-26 23:36:07 -06:00
Mark Thom
1109e05e06
properly match strings concluding with characters in lists ( #1597 )
2022-10-26 23:36:07 -06:00
Markus Triska
ce313b8a6b
correct nth0/4 and nth1/4
...
As per 56b430ecaf (commitcomment-82155379)
2022-10-26 23:36:07 -06:00
Markus Triska
7c96b91663
remove nth1/3, which is now provided by library(lists)
2022-10-26 23:36:07 -06:00
Markus Triska
87e966e185
remove nth1/3, which is now provided by library(lists)
2022-10-26 23:36:07 -06:00
