Mark Thom
8781e03863
cache ball terms before unifying in handle_ball/3 ( #1608 )
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
Adrián Arroyo Calle
181be5be3f
HTTP Server 2.0
2022-10-26 23:36:07 -06:00
Mark Thom
ec9c763211
print index_ptr offset ( #1534 )
2022-10-26 23:36:07 -06:00
Mark Thom
6b05ee5130
streamline assertz/1, asserta/1
2022-10-26 23:36:07 -06:00
Mark Thom
1ffbf63d20
inline metacalls
2022-10-26 23:36:07 -06:00
Mark Thom
987bbdecf5
improve efficiency of call/N, replace '$call_with_default_policy' with
...
'$call_with_inference_counting'
2022-06-12 22:34:07 -06:00
Mark Thom
a68394b6f2
simplify detecting undefined goal_ and term_expansion
2022-06-12 22:34:07 -06:00
Skgland
232b66cfc3
adjust error message on failed formatting
2022-06-03 23:50:17 +02:00
Skgland
11ba7e47fd
make rustfmt optional
...
- when rustfmt is not detected (by attempting to run ``rustfmt --version)
no formatting will be attempted
- this should resolve issue mthom/scryer-prolog#1504
2022-06-03 23:35:55 +02:00
Mark Thom
e6438e79d8
consider deallocate a head instruction ( #1473 )
2022-05-14 11:01:26 -06:00
Euan Lacy
27a15a2464
wip: add more atoms to completion list
2022-05-11 21:37:03 +01:00
Mark Thom
6030fae685
track f64 offsets in Literal ( #1190 )
2022-05-04 21:54:46 -06:00
Mark Thom
68b4951bc9
replace SliceDeque with VecDeque
2022-04-25 22:55:28 -06:00
William Kral
f2e49c84cc
Improve rustfmt missing error during build ( #1379 )
2022-03-31 11:57:17 -07:00
Adrián Arroyo Calle
6798b22b49
http_open/3 with headers and data
2022-03-28 20:38:55 +02:00
Adrián Arroyo Calle
3acbe2a418
http_open/3 with method option
2022-03-28 20:38:52 +02:00
Mark Thom
895b02b641
improve length/2 ( #1325 )
2022-03-15 18:43:57 -06:00
Mark Thom
d06b5f7ab5
prepare for publishing to crates.io ( #1335 )
2022-03-15 00:07:42 -06:00
