Mark
|
0bfb08e464
|
remove debug symbols from release builds (#2054)
|
2023-09-27 13:53:33 -06:00 |
|
Mark Thom
|
5f6ae3857b
|
Merge pull request #1998 from aarroyoc/warp-http-server
Replace Hyper with Warp for HTTP server
|
2023-09-27 13:35:46 -06:00 |
|
Mark
|
750544dd2a
|
fix max_depth settings for partial strings on lists (#1876)
|
2023-09-27 13:34:24 -06:00 |
|
Adrián Arroyo Calle
|
660860bccf
|
Replace Hyper with Warp for HTTP server
- Use Warp
- Optimize clones
- HTTPS server
- Content-Length limit
- HTTP Basic Auth
- Stop server with Ctrl-C
|
2023-09-27 18:50:19 +02:00 |
|
Mark Thom
|
841aaa78b4
|
Merge pull request #2048 from infogulch/master
Build windows with msvc #1998; add ubuntu 22.04 target #2047
|
2023-09-27 10:43:54 -06:00 |
|
infogulch
|
93f46a4142
|
Tidy ci.yaml
|
2023-09-27 02:58:48 -05:00 |
|
infogulch
|
a86db1bde8
|
Build windows with msvc
|
2023-09-27 02:57:02 -05:00 |
|
infogulch
|
4163437d5a
|
Add ubuntu 22.04
|
2023-09-27 00:31:08 -05:00 |
|
Mark
|
a6535c28ea
|
remove module_resolution_error (#2035)
|
2023-09-26 14:06:21 -06:00 |
|
Mark
|
2efe95f2fb
|
filter our builtins from current_predicate/1 (#153)
|
2023-09-26 13:46:21 -06:00 |
|
Mark
|
56992570d8
|
check for predicate_indicator list and sequence types in add_predicate_declaration (#1586)
|
2023-09-26 12:54:16 -06:00 |
|
Mark
|
39934208c3
|
throw instantiation_error when appropriate from parse_write_options_ (5.5.12 of the standard, #1965)
|
2023-09-26 12:08:51 -06:00 |
|
Mark
|
193bb313fd
|
correct OutOfFiles resource error (#1375)
|
2023-09-26 11:22:56 -06:00 |
|
Mark
|
e8334f9b67
|
add predicate indicator sequences to loader:add_predicate_declaration (#1586)
|
2023-09-26 11:21:47 -06:00 |
|
Mark
|
280ff8b5d0
|
throw an error instead of allowing builtin modules to be overwritten (#2042)
|
2023-09-25 19:21:34 -06:00 |
|
Mark
|
172bb9e96a
|
Merge branch 'master' of ssh://github.com/mthom/scryer-prolog
|
2023-09-25 16:09:20 -06:00 |
|
Mark
|
c04f1dea48
|
fix off-by-1 bug in '$skip_max_list'/4 (#2037)
|
2023-09-25 16:09:04 -06:00 |
|
Mark Thom
|
9114c982e0
|
Merge pull request #2032 from bakaq/phrase_from_stream
Add phrase_from_stream/2 to library(pio)
|
2023-09-25 12:04:33 -06:00 |
|
bakaq
|
f644a76281
|
Remove reposition option from phrase_from_file/2
|
2023-09-25 02:18:05 -03:00 |
|
bakaq
|
63bb993c02
|
Inline string_get_n_chars_/3
|
2023-09-24 19:29:51 -03:00 |
|
bakaq
|
c50291cec8
|
Better string_get_n_chars_/3
|
2023-09-24 19:21:03 -03:00 |
|
bakaq
|
2fe79b5fc3
|
Fixed bug with '$skip_max_list'/4
|
2023-09-24 15:08:24 -03:00 |
|
bakaq
|
b4fab5a806
|
Use '$skip_max_list'/4 in string_get_n_chars/4
|
2023-09-24 14:32:44 -03:00 |
|
bakaq
|
35d0042be1
|
Add phrase_from_stream/2 to library(pio)
|
2023-09-24 14:32:44 -03:00 |
|
Mark Thom
|
75dcc3f276
|
Merge pull request #2040 from rujialiu/allow-cr
Solves CRLF/CR issue by considering'\r' a `layout_char` #553 #2028
|
2023-09-24 11:11:15 -06:00 |
|
Rujia Liu
|
9c43974747
|
Solves CRLF/CR issue by considering'\r' a layout_char #553 #2028
|
2023-09-24 19:10:40 +08:00 |
|
Mark Thom
|
4be5fc6d43
|
Merge pull request #2038 from infogulch/patch-1
Allow all matrix ci jobs to run to completion even if one fails
|
2023-09-24 00:44:33 -06:00 |
|
Joe Taber
|
f03336b3a2
|
Allow all jobs to run to completion even if one fails
See: https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idstrategyfail-fast
|
2023-09-23 21:43:51 -05:00 |
|
Mark
|
a5db117ef6
|
fix off-by-1 bug in ''/4 (#2037)
|
2023-09-23 18:32:32 -06:00 |
|
Mark
|
142e0c2c3a
|
don't parse bracketed non-operators as functor terms (#2033)
|
2023-09-23 14:26:28 -06:00 |
|
Mark
|
1c8cd85f6c
|
record compaction depth after reduce_op if '|' an operator (#1905)
|
2023-09-23 00:19:54 -06:00 |
|
Mark
|
c547f67c54
|
add (now failing) test 317 to iso_conformity_tests.pl
|
2023-09-21 16:49:45 -06:00 |
|
Mark
|
c26e9436b4
|
generalize multifile/dynamic/discontiguous declarations over lists of predicate indicators (#1586)
|
2023-09-21 16:22:41 -06:00 |
|
Mark
|
b3239abea1
|
throw resource error if OpenOptions raises an error of uncategorized kind (#1375)
|
2023-09-21 14:36:53 -06:00 |
|
Mark Thom
|
81edd4592f
|
Merge pull request #2027 from bakaq/dif
Improvements to dif/2
|
2023-09-21 11:32:38 -06:00 |
|
Mark Thom
|
7484433e2b
|
Merge pull request #2026 from infogulch/master
Simplify fn maybe
|
2023-09-21 11:31:35 -06:00 |
|
bakaq
|
cb79e83510
|
Avoid dif/1 attribute with empty list
Closes #1956
|
2023-09-21 14:00:37 -03:00 |
|
bakaq
|
cac52c0537
|
Run dif tests on cargo test
|
2023-09-21 12:14:27 -03:00 |
|
bakaq
|
f5c23fbb16
|
Tests for dif/2
|
2023-09-20 20:56:25 -03:00 |
|
bakaq
|
a64a765f32
|
Improved dif/2
|
2023-09-20 20:56:04 -03:00 |
|
infogulch
|
eecfeb2d03
|
Simplify maybe
Fix whitespace
|
2023-09-20 18:23:07 -05:00 |
|
Mark Thom
|
54a0313d72
|
Merge pull request #2025 from aarroyoc/random-seed
Use a SeedableRng to generate random numbers
|
2023-09-20 15:03:21 -06:00 |
|
Adrián Arroyo Calle
|
7cf6e77f4d
|
Use a SeedableRng to generate random numbers
|
2023-09-20 22:07:46 +02:00 |
|
Nicolas Luck
|
4968fa0024
|
Remove debugging println!
|
2023-09-18 19:31:56 +02:00 |
|
Nicolas Luck
|
5e55625733
|
Remove some debug println!s
|
2023-09-18 19:12:50 +02:00 |
|
Nicolas Luck
|
65f64e428e
|
Construct and return exception string
|
2023-09-18 13:25:27 +02:00 |
|
Nicolas Luck
|
d2f5291412
|
mthom's changes fixing the panic
|
2023-09-18 13:01:27 +02:00 |
|
Mark
|
9dc1c339ef
|
remove unnecessary Result return type from read_term_from_heap
|
2023-09-15 14:10:42 -06:00 |
|
Nicolas Luck
|
c86304b18e
|
Remove lib_toplevel.pl
|
2023-09-15 11:01:16 +02:00 |
|
Nicolas Luck
|
7c83a1fb8e
|
Cleanup code that's not needed anymore
|
2023-09-15 10:48:41 +02:00 |
|