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
v0.9.3
|
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
remove
|
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 |
|
Mark
|
ff19db0084
|
qualify dif/2 call in reinforce_goal (#2135)
|
2023-10-25 12:26:01 -06: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
|
69a0725c30
|
Cleanup Cargo.toml
|
2023-10-17 22:09:34 +02:00 |
|