Mark Thom
e7c27ed999
Merge pull request #638 from triska/base64
...
ADDED: chars_base64/3 for efficient bidirectional Base64 conversion.
2020-07-23 19:49:12 -03:00
Markus Triska
928c9c9aad
throw an error if a character cannot be encoded
2020-07-23 00:35:23 +02:00
Markus Triska
4a90f13dee
better error handling for options
2020-07-23 00:27:31 +02:00
Markus Triska
61dddcee3f
use newly available chars_base64/3
2020-07-22 20:35:48 +02:00
Markus Triska
4c510001ce
ADDED: chars_base64/3 for efficient bidirectional Base64 conversion.
2020-07-22 20:35:48 +02:00
Mark Thom
82dfa690d2
Merge pull request #636 from triska/path_segments
...
ADDED: path_segments/2 for portable reasoning about path components.
2020-07-19 13:16:27 -03:00
Markus Triska
2768beec4c
ADDED: path_segments/2 for portable reasoning about path components.
...
The platform-specific directory separator is taken into account.
The clean representation of segments as a list simplifies reasoning.
2020-07-19 12:32:01 +02:00
Mark Thom
bd0aa16322
Merge pull request #633 from triska/file_time
...
ADDED: file_creation_time/2 and file_access_time/2.
2020-07-18 12:40:53 -03:00
Mark Thom
a1746a5bf1
Merge pull request #631 from cduret/lib_csv
...
add write_csv & change skip_header to with_header option
2020-07-18 12:40:28 -03:00
Mark Thom
fb502fb66b
Merge pull request #635 from triska/more_links
...
DOC: add more links to libraries, and include iso_ext in the enumeration
2020-07-18 12:40:09 -03:00
Markus Triska
c9a69263b6
DOC: add more links to libraries, and include iso_ext in the enumeration
2020-07-18 08:12:26 +02:00
Mark Thom
f0c8056334
look up operator precedence when arity does not match what the atom records, don't print brackets around outermost '+' ( #629 )
2020-07-17 11:02:58 -06:00
Markus Triska
17dd9239b6
ADDED: file_creation_time/2 and file_access_time/2.
...
The code can be simplified once if- and while-let-chains are available:
https://github.com/rust-lang/rust/issues/53667
2020-07-17 18:48:39 +02:00
Mark Thom
6c691d9223
Merge pull request #632 from triska/path_canonical
...
ADDED: path_canonical/2, obtaining the canonical absolute path.
2020-07-16 21:03:13 -03:00
Cyrille Duret
920644afaf
set domain_error exception & use format/3 with setup_call_cleanup/3 for stream writing
2020-07-17 01:21:40 +02:00
Markus Triska
8668aee7fd
ENHANCED: Reorder fields in time stamps so that (@<)/2 is meaningful.
2020-07-16 23:40:03 +02:00
Markus Triska
4f386b3e5e
ADDED: file_modification_time/2, obtaining a time stamp.
...
This addresses a remaining aspect of #511 .
2020-07-16 23:40:03 +02:00
Markus Triska
0f4667d942
ADDED: path_canonical/2, obtaining the canonical absolute path.
...
This addresses a remaining aspect of #511 .
2020-07-15 20:43:34 +02:00
Cyrille Duret
5705c42820
set throw() to follow ISO recommendations
2020-07-15 18:26:57 +02:00
794404
f5f0d00a75
add write_csv & change skip_header to with_header option
2020-07-15 13:02:30 +02:00
Mark Thom
ec75e21898
Merge pull request #630 from triska/delete_file
...
ADDED: delete_file/1, addressing a remaining aspect of #511
2020-07-14 20:26:51 -03:00
Markus Triska
94e9e17c79
ADDED: working_directory/2, addressing a remaining aspect of #511
2020-07-14 23:05:29 +02:00
Markus Triska
5134e64cae
ADDED: delete_file/1, addressing a remaining aspect of #511
2020-07-14 22:21:46 +02:00
Mark Thom
53d39ccb4b
Merge pull request #626 from triska/compact_crypto
...
ENHANCED: library(crypto): Retain the compact representation of strings.
2020-07-12 12:17:58 -03:00
Markus Triska
b227e160f0
mention symmetric encryption and ChaCha20-Poly1305
2020-07-12 11:59:34 +02:00
Markus Triska
88a2b82f7e
ENHANCED: library(crypto): Retain the compact representation of strings.
...
This avoids the costly (in terms of space requirements!) conversion of
compact lists of characters to lists of integers, making hashing, HKDF,
encryption, decryption, signing and signature verification an order of
magnitude more efficient (primarily in terms of space, also in time).
This makes library(crypto) suitable to process also very large files.
2020-07-12 11:54:37 +02:00
Mark Thom
0016365446
Merge pull request #625 from triska/os
...
ADDED: library(os), reasoning about environment variables.
2020-07-11 23:50:01 -03:00
Markus Triska
0fa8feb475
use newly available character type in must_be/2
2020-07-11 21:00:25 +02:00
Markus Triska
eb872f8fca
ADDED: library(os), reasoning about environment variables.
...
Together with library(files), this addresses #511 .
2020-07-11 21:00:25 +02:00
Mark Thom
5fd78320dd
slight update to the BiMetaTrans README
2020-07-10 15:22:15 -06:00
Mark Thom
3195042c7d
update bimetatrans tests
2020-07-10 10:26:48 -06:00
Mark Thom
b0234fa8b7
add bimetatrans README
2020-07-09 20:53:13 -06:00
Mark Thom
2a629fee37
Merge pull request #621 from notoria/tabling
...
Tabling
2020-07-03 14:40:52 -03:00
notoria
bf13700a95
Enhanced the implementation
...
The restriction has been removed by using read_library_path from
cfd15f4e02
2020-07-01 13:14:12 +02:00
notoria
83268f5ff6
Allowing paths in use_module(library(..)) ( #604 )
...
In a module, the path is restricted in being an atom.
2020-07-01 10:22:17 +02:00
notoria
1eb42654e0
Revert "allow paths in use_module(library(..)) ( #604 )"
...
This reverts commit cfd15f4e02
2020-07-01 10:07:26 +02:00
notoria
e05c34d1ee
Revert "build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 ( #617 )"
...
This reverts commit c1b577f2c7
2020-07-01 10:06:20 +02:00
Mark Thom
8325bb11e2
Merge pull request #606 from triska/files
...
ADDED: library(files), for reasoning about files and directories.
2020-06-30 13:34:39 -03:00
Mark Thom
c1b577f2c7
build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 ( #617 )
2020-06-29 00:58:10 -06:00
Mark Thom
29a61db275
Merge pull request #613 from cduret/csv_lib
...
add csv library
2020-06-27 16:28:10 -03:00
Cyrille Duret
e2c61485a1
add csv library
2020-06-25 21:13:29 +02:00
Markus Triska
65f200e02c
directory_files/2: throw representation error if into_string() fails
...
Suggested by @notoria in #606 . Many thanks!
2020-06-24 23:30:40 +02:00
Markus Triska
aa9432e24f
comment on indexing, addressing a comment by @pmoura in #606
...
If indexing is needed for lists of characters, it should be added to
the engine.
2020-06-24 22:29:34 +02:00
Markus Triska
30d1585468
ADDED: library(files), for reasoning about files and directories.
2020-06-24 22:29:34 +02:00
Mark Thom
376c5263f0
Merge pull request #608 from triska/xml
...
ADDED: load_xml/3 to load XML files from streams, files and strings.
2020-06-22 12:21:35 -03:00
Markus Triska
bcd6d4e8a7
library(format) is not used in this example
2020-06-21 09:46:05 +02:00
Markus Triska
32eb896c56
ADDED: load_xml/3 to load XML files from streams, files and strings.
2020-06-21 09:45:37 +02:00
Mark Thom
4603163e88
Merge pull request #607 from triska/xpath
...
ADDED: library(xpath) for convenient analysis of HTML and XML documents.
2020-06-20 14:46:52 -03:00
Markus Triska
b3c9fb2fea
import member/2 from library(lists)
...
This is needed when processing redirects.
2020-06-20 19:07:43 +02:00
Markus Triska
d66ea07ba4
ADDED: library(xpath) for convenient analysis of HTML and XML documents.
2020-06-20 18:08:11 +02:00
Mark Thom