Mark
|
004201abda
|
add module name and missing predicate key to module_does_not_contain_claimed_export error (#2195)
|
2023-12-04 11:19:44 -07:00 |
|
Mark
|
de452bb2c2
|
fix overeager detection of (->)/2 in if position of (;)/2 (#2183)
|
2023-11-29 11:05:04 -07:00 |
|
Mark Thom
|
e8d8b09e52
|
Merge pull request #2186 from aarroyoc/cpu-now-wasm32
Implement $cpu_now in wasm32
|
2023-11-28 16:17:44 -07:00 |
|
Mark
|
631674db29
|
open pl files instead of directories (#2014)
|
2023-11-28 15:32:06 -07:00 |
|
Adrián Arroyo Calle
|
4c795018b4
|
Implement $cpu_now in wasm32
|
2023-11-28 23:30:02 +01:00 |
|
Mark Thom
|
4181c9fab2
|
Merge branch 'master' into flame
|
2023-11-24 18:00:55 +01:00 |
|
Mark Thom
|
73ed08a412
|
Merge pull request #2179 from mthom/fix_stress_integration_test
Fix stress integration test
|
2023-11-23 21:31:12 +01:00 |
|
Mark
|
7cac13aefa
|
set b0 to b for run_query call
|
2023-11-23 12:55:55 -07:00 |
|
Mark Thom
|
2e114df4c7
|
Merge pull request #2173 from aarroyoc/js-eval
Add js_eval/2 for wasm32
|
2023-11-22 21:52:49 +01:00 |
|
Adrián Arroyo Calle
|
36ab590c4e
|
Add js_eval/2 for wasm32
|
2023-11-22 21:21:19 +01:00 |
|
Mark
|
ef8eb935d4
|
add CutPoint to select_switch_on_term_index (#2176)
|
2023-11-22 08:57:23 -07:00 |
|
infogulch
|
11832b524b
|
Expose inference counts on Machine; publish to CI
|
2023-11-21 21:53:29 -06:00 |
|
Mark
|
3841b29db8
|
fix copy_term/2 variable copying bug in lists (#923, #2127)
|
2023-11-21 14:52:35 -07:00 |
|
Mark
|
a3e83d59be
|
fix error detection in int_pow (#2161)
|
2023-11-21 08:32:26 -07:00 |
|
Mark
|
54166b91eb
|
add global_count inference counter that is always incremented (#2009)
|
2023-11-20 16:24:31 -07:00 |
|
Mark Thom
|
4be320abc8
|
fix shr crash (#2158)
|
2023-11-14 08:15:19 +01:00 |
|
infogulch
|
8570f119c0
|
Add benchmarks using library interface
|
2023-11-11 13:32:34 -06:00 |
|
Mark Thom
|
50c64b8512
|
correct style failures
|
2023-11-11 18:57:47 +01:00 |
|
Nicolas Luck
|
0ad479498c
|
Activate run_query() integration test
|
2023-11-07 10:28:36 +01:00 |
|
Mark
|
2dd1f6e880
|
fix compare_pstr_to_string (#2148)
|
2023-11-04 19:32:23 -06:00 |
|
infogulch
|
9444e62df9
|
Resolve lints and format
|
2023-11-04 02:16:54 -05:00 |
|
Nicolas Luck
|
ee1bd9e006
|
Merge branch 'master' into library-use-case
|
2023-11-02 11:12:54 +01:00 |
|
Mark
|
dfd9e43405
|
correct (\+)/1 (#2141)
|
2023-10-31 23:58:59 -06:00 |
|
Mark
|
8f06ef965a
|
remove non-conforming hyperbolic and log10 evaluable functors
|
2023-10-28 18:17:43 -06:00 |
|
Mark
|
ae7cf15c70
|
fix signed modulus bug (#2134)
|
2023-10-28 18:13:42 -06:00 |
|
Adrián Arroyo Calle
|
682b2ada4c
|
Rename to_upper to upper and to_lower to lower
|
2023-10-28 19:16:07 +02:00 |
|
Mark
|
f10d7c05f9
|
correct char_type/2 (#2132)
|
2023-10-24 15:35:37 -06:00 |
|
Mark
|
f80dff851b
|
remove unnecessary macros inclusion in mock_wam.rs
|
2023-10-24 15:15:29 -06:00 |
|
Mark
|
63cbeb9a3c
|
correct modulus bug (#2118, #2119)
|
2023-10-24 14:20:26 -06:00 |
|
Mark
|
773d3f81fd
|
remove list remnants from stack iteration in printer when cyclic (#2131)
|
2023-10-24 14:10:11 -06:00 |
|
Mark
|
4ab3e23b1f
|
fix cycle detection in lists by looking backward analogously to the same process for structures (#2130)
|
2023-10-24 12:23:05 -06:00 |
|
Mark
|
d588b18c39
|
correct LIS backward bug in cycle_detection.rs
|
2023-10-23 13:28:44 -06:00 |
|
Mark
|
97b899f4a3
|
add STOP_AT_CYCLES const parameter for CycleDetectingIter
|
2023-10-23 12:05:13 -06:00 |
|
Mark
|
6a913bc4cc
|
use Deutsch-Schorr-Waite to implement acyclic_term/1 (#2128)
|
2023-10-21 21:47:29 -06:00 |
|
Mark
|
bf46c4b5c1
|
use topo_sort to correct acyclic_term (#2124, #2125)
|
2023-10-18 12:00:40 -06:00 |
|
Nicolas Luck
|
0c9740fe52
|
Fix wasm warnings
|
2023-10-17 22:07:38 +02:00 |
|
Mark
|
43f0b6c28d
|
fix cyclicity detection through variables (#2122, #2123)
|
2023-10-16 15:19:43 -06:00 |
|
Nicolas Luck
|
d7fa6c0ade
|
Fix signalling of success/failure (by @mthom)
|
2023-10-16 14:56:17 +02:00 |
|
Nicolas Luck
|
025412aac0
|
Revert "Remove unuse import"
This reverts commit bfa7d3cf41.
|
2023-10-16 14:55:38 +02:00 |
|
Nicolas Luck
|
bfa7d3cf41
|
Remove unuse import
|
2023-10-16 13:44:51 +02:00 |
|
Nicolas Luck
|
9990780b82
|
Merge branch 'master' into library-use-case
|
2023-10-16 13:43:26 +02:00 |
|
Mark
|
dff2e73842
|
more eagerly check for cyclicity of variables in cycle detecting stackless iterator (#2121)
|
2023-10-15 17:43:29 -06:00 |
|
Mark
|
e2000859b6
|
add backward looking cyclicity check for variables in cycle detecting stackless iterator (#2111, #2117)
|
2023-10-15 13:07:41 -06:00 |
|
Mark
|
3a6aee72a3
|
correct is_cyclic again for non-variable ref cells (#2116)
|
2023-10-15 01:28:42 -06:00 |
|
Mark
|
3fb2e451a2
|
improve cycle detection in detect_list_cycles (#2111)
|
2023-10-15 00:58:19 -06:00 |
|
Mark
|
7875b96956
|
simplify stackless iterator is_cyclic (#2111)
|
2023-10-14 23:56:46 -06:00 |
|
Mark
|
d96c9e00b7
|
correct more acyclic_term/1 issues (#2111, #2114), add acyclic_term tests
|
2023-10-14 18:38:10 -06:00 |
|
Mark
|
379c252b89
|
correct cyclic variable check in cycle detecting stackless iterator (#2111, #2113)
|
2023-10-14 14:03:47 -06:00 |
|
Mark
|
307cb56ef5
|
fix bugs & incompleteness of cycle-detecting stackless iterator (#2111)
|
2023-10-14 13:00:58 -06:00 |
|
Mark
|
669023914a
|
add bounds checks for stackless iterator (#2110)
|
2023-10-14 12:11:22 -06:00 |
|