This website requires JavaScript.
f910e013a6
use take() for extra fast processing of binary files
2020-06-12 21:07:18 +02:00
5f1b03261c
better naming: str --> string
2020-06-12 20:54:30 +02:00
862197fc96
explain .scryerrc configuration file
2020-06-13 16:47:02 +02:00
44ebd894d5
ADDED: portray_clause/2, writing to a specified stream.
2020-06-13 16:45:47 +02:00
b85ff7db36
ENHANCED: Read more characters at once, significantly speeding up library(pio).
2020-06-12 17:29:18 +02:00
2c6b615b8c
fix broken links in README (#591 )
2020-06-13 10:46:53 -06:00
22fd216de5
ADDED: read_line_to_chars/3, reading up to and including "\n" from a stream, yielding a list difference.
2020-06-13 09:06:57 +02:00
2f02c428cc
rename bimetatrans example files and directory
2020-06-12 18:32:48 -06:00
1732413ee1
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-06-12 18:28:07 -06:00
33325f1574
remove vestigial prolog/ directory (#444 )
2020-06-12 18:26:38 -06:00
4f288c6fd9
Merge pull request #587 from triska/lazy_pio
2020-06-12 11:24:52 -03:00
5ffb4597b3
add missing ! in int_pow (#580 )
2020-06-11 22:28:05 -06:00
d9de38b935
adjust the tail created by CreatePartialString to point to the last cell it pushed to the heap (#586 )
2020-06-11 21:25:20 -06:00
ad459b83c0
credit Ulrich Neumerkel for partial strings in README
2020-06-11 21:24:20 -06:00
d96ea6b815
include library(pio) and library(charsio) in the itemization
2020-06-11 16:44:23 +02:00
40c3e31955
ENHANCED: phrase_from_file/[2,3] now read the file lazily.
2020-06-11 15:29:06 +02:00
f84c831cda
remove most cuts from bimetatrans_ruleml.pl
2020-06-11 12:22:35 -06:00
904cf97f7d
fix printing of atoms like '.x' (#585 )
2020-06-11 11:11:04 -06:00
791e22dc24
eliminate unnecessary find_min_time_ predicate in least_time.pl example
2020-06-10 22:25:23 -06:00
c82a0b3d2d
Merge pull request #582 from triska/format_time
2020-06-10 20:21:44 -03:00
2fc887724b
ADDED: format_time//2 for describing strings involving dates and times
2020-06-10 23:13:14 +02:00
e16762a137
scryer and prolog_parser version bump (#581 )
2020-06-10 14:29:13 -06:00
4a07ffac69
prolog_parser version bump, scryer version bump
2020-06-09 22:15:11 -06:00
9331c4ce9e
Merge pull request #579 from triska/master
2020-06-09 18:56:29 -03:00
184ef94e7e
ENHANCED: throw Prolog exception on expired certificates
2020-06-09 23:01:28 +02:00
d67740d44d
Merge pull request #577 from triska/tls
2020-06-09 10:56:17 -03:00
7b30daf88d
ADDED: Encrypted client connections in library(sockets) via new option tls/1.
2020-06-07 18:12:29 +02:00
d5e76da475
ADDED: type checks for type boolean
2020-06-07 19:24:51 +02:00
5d91c1af81
Merge pull request #578 from triska/format_improvements
2020-06-07 19:36:16 -03:00
bb013e78d2
Merge pull request #576 from triska/crypto_curve_scalar_mult
2020-06-07 19:34:12 -03:00
c22816de08
type check for ~d and ~D specifiers
2020-06-08 00:07:24 +02:00
9bb851d437
ENHANCED: format_//2 now evaluates arithmetic expressions for ~d, ~D, ~f, ~r and ~R
2020-06-07 23:14:23 +02:00
c8a9f8dcf5
better domain error in format_//2
2020-06-07 23:04:42 +02:00
e8653ffe32
add type check for scalar argument in crypto_curve_scalar_mult/4
2020-06-07 18:50:36 +02:00
5499df418a
use secp256k1 in the example
2020-06-07 11:02:18 +02:00
b586618411
ENHANCED: Faster Rust-based crypto_curve_scalar_mult/4 using OpenSSL.
2020-06-07 10:58:40 +02:00
3b5730be54
s/prolog-implementation/prolog-system (cargo does not allow keywords to exceed 20 characters)
2020-06-04 23:29:48 -06:00
961c4a1b9c
bump version number
2020-06-04 23:25:21 -06:00
72c5908f09
update prolog_parser version, correct atom_chars/2 (#379 )
2020-06-04 23:23:49 -06:00
2a588ff943
remove double_quotes checks from unnecessary places in system_calls.rs and elsewhere (#513 , #542 )
2020-06-04 21:03:16 -06:00
24f11b5ae9
remove unreachable branch in increment_s_ptr (#575 )
2020-06-03 22:05:46 -06:00
1d44d99875
correct unexpected bad variables while ensuring better names are generated in order (#571 )
2020-05-30 00:17:34 -06:00
eebcdfb24f
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-27 11:11:37 -06:00
526b56a650
order generation of variable names in attributed goals after toplevel variables (#465 )
2020-05-27 11:11:26 -06:00
e5fbdeb3a9
Merge pull request #568 from triska/logo
2020-05-27 00:19:41 -03:00
20675f56e6
plug missing variables in equations (#488 ), exclude/3 regression (#452 ), incorrect answer substitution (#326 )
2020-05-26 23:46:09 -06:00
7cc92ec1c1
ADDED: Logo.
2020-05-26 19:23:33 +02:00
fe0bf6f2ef
Merge pull request #524 from matt2xu/decode_utf8
2020-05-26 13:42:42 -03:00
828c19d478
Merge pull request #563 from triska/master
2020-05-23 16:02:05 -03:00
b0df981b01
ADDED: halt/1, halting with specified exit code
2020-05-23 19:14:29 +02:00
15db77558c
throw evaluable type error for unrecognized atoms in arith_eval_by_metacall
2020-05-23 13:33:05 -06:00
18cf4a3bd3
Add type errors where appropriate in arith_eval_by_metacall (#392 )
2020-05-23 13:07:40 -06:00
e0378acfc2
throw type_error(number, E) in arith_eval_by_metacall (#392 )
2020-05-23 12:39:29 -06:00
53cb2af202
(**)/2 should always evaluate to floating point (#558 )
2020-05-23 12:24:00 -06:00
f74005a166
update (^)/2 in light of Draft Technical Corrigendum 3 (#559 )
2020-05-23 12:12:34 -06:00
888d844ec5
address arity discrepancies in builtins.n and call/N (#525 )
2020-05-22 23:57:32 -06:00
3a7eb9fc0c
Merge pull request #560 from notoria/cargo
2020-05-22 23:43:06 -03:00
46276aacd9
Merge pull request #557 from mthom/docker
2020-05-22 23:42:55 -03:00
3a7a29868f
Added some informations in Cargo.toml
2020-05-23 01:55:53 +02:00
458f482c2a
Merge pull request #556 from panasenco/docker
2020-05-22 18:54:10 -03:00
cc9d6587a3
Implementation of UTF-8 bytes to chars
2020-05-17 23:37:41 +02:00
dadf1b6ff9
Phrasing
2020-05-22 14:01:10 -07:00
db56bb92f0
Fixed link in Dockerfile documentation. Updated README with working Docker link. Made general improvements to the Docker section of the README now that I'm not in a sleep-deprived zombie state.
2020-05-22 13:57:10 -07:00
e82e36f51e
Revert "Revert "Created and Tested Dockerfile""
2020-05-22 13:35:14 -07:00
c10c05e924
Merge pull request #552 from mthom/master
2020-05-22 16:04:03 -03:00
0060c8988a
use -1 as eof_code for binary streams (#555 )
2020-05-22 15:58:07 -06:00
f9aad34d28
Merge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-22 14:50:51 -06:00
b2d720b853
correct get_byte/1 not emitted -1 upon discovery of end_of_stream position (#555 )
2020-05-22 14:50:40 -06:00
8909246725
Merge pull request #554 from triska/format3
2020-05-22 14:32:44 -03:00
48c0b0ab3c
ENHANCED: Faster format/3 for binary streams.
2020-05-22 17:30:29 +02:00
cbbed310c5
ADDED: format/3, writing formatted output to a stream
2020-05-22 17:21:50 +02:00
9e9c3b6342
modify int_pow so that a power of -1 is valid (#548 )
2020-05-21 22:33:22 -06:00
fefd262c2e
Merge pull request #545 from triska/ed25519
2020-05-21 11:30:47 -03:00
1108c99688
document that lists of integers can be specified if encoding(octet) is used
2020-05-21 13:41:57 +02:00
93da831ef0
correct mode indication for ed25519_verify/4
2020-05-21 01:27:06 +02:00
72bf45912e
"PrivateKey" --> "KeyPair"
2020-05-21 00:14:15 +02:00
5d94276c4f
remove several mentions of list of bytes in predicate descriptions
2020-05-21 00:07:28 +02:00
b43f27030e
require PKCS#8 v2 format for better security
2020-05-20 23:51:31 +02:00
2845f55157
ADDED: ed25519_keypair_public_key/2, relating a key pair to its public key
2020-05-20 23:32:46 +02:00
e254d84710
clarify format of public key
2020-05-20 23:17:42 +02:00
0ef7b5488d
ADDED: ed25519_new_keypair/1 to dynamically create a new Ed25519 key pair
2020-05-20 23:06:09 +02:00
56b04f8df8
use LessSafeKey to simplify the implementation of authenticated encryption
2020-05-20 20:13:07 +02:00
2d036c6b25
"codes" --> "bytes"
2020-05-20 20:10:26 +02:00
ad3be5c848
ADDED: Public key signatures and signature verification with Ed25519
2020-05-20 18:30:34 +02:00
a0544cc345
revert printing of characters
2020-05-19 17:34:55 -06:00
3245261162
Merge pull request #537 from triska/master
2020-05-19 15:16:38 -03:00
21b7348c6a
import member/2 from library(lists)
2020-05-19 20:10:45 +02:00
54d4dc6e1e
Merge pull request #536 from mthom/revert-517-docker
2020-05-19 15:00:29 -03:00
e00d864199
Revert "Created and Tested Dockerfile"
2020-05-19 11:59:06 -06:00
ad6fc89a24
Merge pull request #533 from triska/master
2020-05-19 14:23:12 -03:00
fc4823ce8e
Merge pull request #534 from triska/phrase_from_file_3
2020-05-19 14:22:59 -03:00
0bd9831eec
ADDED: phrase_from_file/3 in library(pio)
2020-05-19 18:44:28 +02:00
dec2ef70c7
better error handling in crypto_data_hkdf/4
2020-05-19 18:21:07 +02:00
d19d8ea770
crypto_data_hkdf/4: do not crash for length > usize::max_value()
2020-05-19 17:31:36 +02:00
34f7752c0f
use more fixnums in cryptographic routines
2020-05-19 17:02:15 +02:00
da4d061067
correct option processing in crypto_data_decrypt/6
2020-05-19 16:56:34 +02:00
85155439be
use Fixnums for bytes in hashing.
2020-05-19 16:43:44 +02:00
dd32e69061
use matching to select the hashing algorithm
2020-05-19 16:36:06 +02:00
1c0c660c32
Merge pull request #517 from panasenco/docker
2020-05-19 11:30:08 -03:00
2eac902c33
correct fixnum overflow on negation (#528 )
2020-05-19 10:45:54 -06:00
Markus Triska