Mark
7cac13aefa
set b0 to b for run_query call
2023-11-23 12:55:55 -07:00
Mark Thom
20da3427c1
Merge pull request #2177 from mthom/remove_assertx
...
Remove assert(a,z)/2 (#1975 )
2023-11-22 17:54:55 +01:00
Mark
2811660fa7
remove assert(a,z)/2 ( #1975 )
2023-11-22 09:24:07 -07:00
Mark
ef8eb935d4
add CutPoint to select_switch_on_term_index ( #2176 )
2023-11-22 08:57:23 -07:00
Mark Thom
041ec06dbc
Merge pull request #1999 from triska/time_inferences
...
ENHANCED: time/1 now shows the number of inferences
2023-11-21 23:04:26 +01:00
Mark
3841b29db8
fix copy_term/2 variable copying bug in lists ( #923 , #2127 )
2023-11-21 14:52:35 -07:00
Markus Triska
186bba9d75
ENHANCED: time/1 now shows the number of inferences
...
Example:
?- time(member(X, "abc")).
% CPU time: 0.000s, 1 inference
X = a
; % CPU time: 0.000s, 3 inferences
X = b
; % CPU time: 0.000s, 3 inferences
X = c.
This is an initial step towards addressing #1039 .
2023-11-21 20:36:44 +01: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
1e5bb2d3da
fix dif:vars_remove_goal/2 ( #2175 ), untabify forms.rs to appease format check
2023-11-20 14:21:18 -07:00
Mark
8d9a759a7d
remove unnecessary spaces around (|) ( #2164 )
2023-11-19 08:46:20 -07:00
Mark Thom
f32b035287
Merge pull request #2168 from aarroyoc/update-web-2023-11-15
...
Remove Scryer Prolog meetup banner :(
2023-11-16 21:07:25 +01:00
Mark Thom
a8e6930d19
Merge pull request #2159 from mthom/dependabot/cargo/rustix-0.38.21
...
Bump rustix from 0.38.14 to 0.38.21
2023-11-16 21:07:03 +01:00
dependabot[bot]
7fa4cb7ee8
Bump rustix from 0.38.14 to 0.38.21
...
Bumps [rustix](https://github.com/bytecodealliance/rustix ) from 0.38.14 to 0.38.21.
- [Release notes](https://github.com/bytecodealliance/rustix/releases )
- [Commits](https://github.com/bytecodealliance/rustix/compare/v0.38.14...v0.38.21 )
---
updated-dependencies:
- dependency-name: rustix
dependency-type: indirect
...
Signed-off-by: dependabot[bot] <support@github.com >
2023-11-16 19:27:40 +00:00
Mark Thom
df5855dbda
Merge pull request #2167 from infogulch/ci-checks-permission
...
Add checks permission to ci workflow
2023-11-16 09:30:27 +01:00
Adrián Arroyo Calle
e7f5ba6ca1
Remove Scryer Prolog meetup banner :(
2023-11-15 22:42:18 +01:00
Mark Thom
bcb68fcc3d
fix sign/1 ( #2157 )
2023-11-15 20:38:24 +01:00
infogulch
e5ee918063
Add checks permission to ci workflow
...
This should allow dependabot builds to complete
2023-11-15 13:07:45 -06:00
Mark Thom
4be320abc8
fix shr crash ( #2158 )
2023-11-14 08:15:19 +01:00
Mark Thom
300f5f817f
Merge pull request #2165 from infogulch/bench-csv
...
Bench csv
2023-11-14 07:32:07 +01:00
Mark Thom
574a4d0758
Merge pull request #2166 from triska/more_tests
...
mention more passing tests
2023-11-14 07:31:52 +01:00
Markus Triska
a02bd46094
mention more passing tests
2023-11-14 04:09:03 +01:00
infogulch
cab80d3fa2
Fix lint
2023-11-13 15:41:15 -06:00
infogulch
98d8b00d7a
Add csv parsing benchmark #1403
2023-11-13 15:41:06 -06:00
infogulch
40608dc8d4
Simplify benchmark setup; support mutating machine
2023-11-13 15:40:27 -06:00
Mark Thom
3b7d4a7b36
Merge pull request #2153 from infogulch/benchmark
...
Add benchmarks
2023-11-12 07:21:25 +01:00
Joe Taber
f704fcb41d
Fix formatting issues
2023-11-11 13:33:19 -06:00
infogulch
8570f119c0
Add benchmarks using library interface
2023-11-11 13:32:34 -06:00
infogulch
1656d9d7ad
CI: Setup rust in new action; split style & report actions
2023-11-11 13:32:34 -06:00
Mark Thom
50c64b8512
correct style failures
2023-11-11 18:57:47 +01:00
Mark Thom
83b9c6184c
fix permanent variable handling over branches and cells ( #2154 )
2023-11-11 17:20:22 +01:00
Mark
2dd1f6e880
fix compare_pstr_to_string ( #2148 )
2023-11-04 19:32:23 -06:00
Mark Thom
da0018efdf
Merge pull request #2147 from infogulch/lint-format
...
Resolve all lints and formating; split style checks into separate job
2023-11-04 11:34:11 -06:00
infogulch
16f768197b
Split style checks, test reports into separate job
2023-11-04 02:22:24 -05:00
infogulch
d6fe5b5aad
Bump Cargo.lock to reflect new scryer version
2023-11-04 02:20:55 -05:00
infogulch
dfe4fbfdc5
Add previous commit to .git-blame-ignore-revs
2023-11-04 02:20:37 -05:00
infogulch
9444e62df9
Resolve lints and format
2023-11-04 02:16:54 -05:00
Mark
dddffb01a6
update release version linked on website
2023-11-02 17:34:49 -06:00
Mark
4520bedf8d
update release link
2023-11-02 17:32:33 -06:00
Mark
126d7bba57
bump version number to v0.9.3
CI / build-test (--no-default-features, ubuntu-22.04, true, nightly, wasm32-unknown-unknown) (push) Has been cancelled
CI / build-test (macos-11, true, stable, x86_64-apple-darwin) (push) Has been cancelled
CI / build-test (true, ubuntu-22.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-20.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-22.04, 1.70, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-22.04, true, stable, i686-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (windows-latest, true, stable, x86_64-pc-windows-msvc) (push) Has been cancelled
CI / logtalk-test (push) Has been cancelled
CI / release (push) Has been cancelled
Docker Publish / build (push) Has been cancelled
2023-11-02 17:01:54 -06:00
Mark Thom
575245c62f
Merge pull request #1880 from coasys/library-use-case
...
Programatic use of Machine / Scryer as library
2023-11-02 16:50:01 -06:00
Nicolas Luck
59264c0aa5
Check for target_arch = “wasm32”
...
instead of target_os = “wasi”
2023-11-02 19:07:55 +01: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
Mark Thom
469d2bd104
Merge pull request #2140 from aarroyoc/rename-to-upper
...
Rename `to_upper` to `upper` and `to_lower` to `lower`
2023-10-28 14:48:10 -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 Thom
f4e5426e97
Merge pull request #2137 from infogulch/master
...
CI: compile wasm separately; default 22.04; matrix
2023-10-26 14:07:18 -06:00
infogulch
6bae789bd6
CI: compile wasm separately; default 22.04; matrix
2023-10-26 14:23:32 -05:00
