Mark Thom
|
e0c8163211
|
Merge pull request #2351 from infogulch/install-current-iai
Install version of iai-callgrind set in Cargo.toml
|
2024-02-29 17:09:47 -07:00 |
|
infogulch
|
01f757c940
|
Install version of iai-callgrind set in Cargo.toml
|
2024-02-29 17:32:44 -06:00 |
|
Mark
|
42f4827854
|
make indexer downcast Integers to Fixnums when possible, be slightly more judicious about allocating Integers instead of Fixnums (#2340)
|
2024-02-29 16:15:28 -07:00 |
|
Mark
|
f2d3779fa9
|
add #2341 test to lib_machine.rs
|
2024-02-29 15:12:58 -07:00 |
|
Mark
|
b70f121e46
|
use scryer-modular-bitfield on github, version bump
CI / build-test (ubuntu-22.04, true, stable, x86_64-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 / style (push) Has been cancelled
CI / build-test (--no-default-features, ubuntu-22.04, true, nightly, wasm32-unknown-unknown, --no-run --no-default-features) (push) Has been cancelled
CI / build-test (macos-11, true, stable, x86_64-apple-darwin) (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 / report (push) Has been cancelled
CI / release (push) Has been cancelled
Docker Publish / build (push) Has been cancelled
v0.9.4
|
2024-02-29 10:08:14 -07:00 |
|
Mark
|
641765858f
|
fix misuse of TypeError trait while fixing #2345
|
2024-02-28 20:47:36 -07:00 |
|
Mark
|
ba362e2fe0
|
issue callable type error from dynamic_module_resolution if module is not an atom (#2345)
|
2024-02-28 20:35:38 -07:00 |
|
Mark Thom
|
84d5ce0d1e
|
Merge pull request #2309 from coasys/library-use-case
Iron-out edge cases for library use-case, adding extensive real-world test assertions
|
2024-02-28 14:34:54 -07:00 |
|
Mark Thom
|
419623d158
|
Merge pull request #2342 from triska/curve_doc
DOC: Add DocLog comments for reasoning about elliptic curves.
|
2024-02-24 14:53:18 -07:00 |
|
Markus Triska
|
1dd0c599c6
|
DOC: Add DocLog comments for reasoning about elliptic curves.
|
2024-02-24 20:43:57 +01:00 |
|
Mark Thom
|
c7934ca246
|
Merge pull request #2338 from triska/hmac
ADDED: Hash-based message authentication code (HMAC), using hmac(Key).
|
2024-02-22 14:48:12 -07:00 |
|
Markus Triska
|
27852eafd7
|
ADDED: Hash-based message authentication code (HMAC), using hmac(Key).
|
2024-02-22 20:53:27 +01:00 |
|
Mark Thom
|
d4bde5008d
|
Merge pull request #2337 from triska/master
link to newly available paper on analysis of dose-escalation protocols
|
2024-02-18 10:05:09 -07:00 |
|
Markus Triska
|
74a525a672
|
link to newly available paper on analysis of dose-escalation protocols
Many thanks to @dcnorris for this great application and cooperation!
|
2024-02-18 09:25:29 +01:00 |
|
Bennet Bleßmann
|
e9982dc447
|
fix build of run_iai bench for wasm32
|
2024-02-17 00:15:03 +01:00 |
|
Bennet Bleßmann
|
7028baaf8f
|
fix benchmarks being broken for every target except wam32
|
2024-02-17 00:01:10 +01:00 |
|
Bennet Bleßmann
|
7837c76c74
|
cfg out benches for wasm32
|
2024-02-16 23:43:22 +01:00 |
|
Bennet Bleßmann
|
e5ad70c093
|
fix compilation of wasm32 test and skip to run wasm32 tests
|
2024-02-16 23:18:21 +01:00 |
|
Bennet Bleßmann
|
7fce688769
|
undo continue-on-error
- currently `continue-on-error` is not shown in a usefull way on failiure see <https://github.com/orgs/community/discussions/15452>
|
2024-02-16 22:23:22 +01:00 |
|
Bennet Bleßmann
|
90c874777c
|
bump ahash lock to 0.8.7
- fix nightly build
- not bumping to latest aka. 0.8.8 as that has a msrv of 1.72.0 and we are only at 1.70.0
|
2024-02-16 22:15:32 +01:00 |
|
Mark Thom
|
70795134af
|
Merge pull request #2327 from triska/char_type
FIXED: char_type/2 for unbound first argument.
|
2024-02-11 17:33:07 -07:00 |
|
Markus Triska
|
8f2e9c6b94
|
FIXED: char_type/2 for unbound first argument.
Surrogate pairs form a gap in valid character codes, see:
https://github.com/mthom/scryer-prolog/issues/2326#issuecomment-1937864665
Many thanks to @Skgland for the pointer, and to @librarianmage for the
question that spawned this!
This addresses #2326.
|
2024-02-11 22:19:19 +01:00 |
|
Nicolas Luck
|
ce34ca8f1f
|
continue-on-error if target=wasm32 or rust=nightly
|
2024-02-09 13:48:45 +01:00 |
|
Nicolas Luck
|
7c632cf165
|
Reactivate nightly test job with continue-on-error set
|
2024-02-09 13:44:37 +01:00 |
|
Nicolas Luck
|
b3c5a8db80
|
Use stable Rust for style/report and deactivate nightly x86_64 target in CI
|
2024-02-09 13:14:06 +01:00 |
|
Nicolas Luck
|
1d2961e047
|
Merge branch 'master' into library-use-case
|
2024-02-09 12:41:01 +01:00 |
|
Mark Thom
|
b43f0979d9
|
Update src/machine/parsed_results.rs
Co-authored-by: Bennet Bleßmann <bennet.blessmann+github@googlemail.com>
|
2024-02-08 19:10:29 -07:00 |
|
Mark
|
539a1aee2c
|
fix tests broken by singleton
|
2024-02-07 21:46:32 -07:00 |
|
Mark Thom
|
8e323b9dfa
|
Merge pull request #2322 from triska/char_code
ENHANCED: Bi-directional char_code/2, addressing #2321.
|
2024-02-07 18:49:13 -07:00 |
|
Markus Triska
|
53b7d9eec9
|
ENHANCED: Bidirectional char_type/2, addressing #2321.
Suggested by @librarianmage, many thanks!
|
2024-02-07 20:57:28 +01:00 |
|
Mark Thom
|
89d3451767
|
Merge pull request #2319 from triska/clpz_t
ADDED: clpz_t/2, generalizing support for use with library(reif)
|
2024-02-06 18:11:40 -07:00 |
|
Markus Triska
|
aa98a7e7d6
|
ADDED: clpz_t/2, generalizing support for use with library(reif)
This was suggested and contributed by @librarianmage in:
https://github.com/mthom/scryer-prolog/issues/2225#issuecomment-1890801923
Many thanks!
If anyone can find a better predicate name, please let us know any time!
|
2024-02-06 19:05:29 +01:00 |
|
Mark
|
614850ab1d
|
fmt
|
2024-02-05 18:34:57 -07:00 |
|
Mark Thom
|
140a15f9cb
|
Merge pull request #2317 from aarroyoc/all-modules-test
Add all_mdoules test and fix library(csv)
|
2024-02-04 15:09:13 -07:00 |
|
Adrián Arroyo Calle
|
ec4a8745e7
|
Add all_mdoules test and fix library(csv)
|
2024-02-04 21:34:01 +01:00 |
|
Mark
|
673329ddb7
|
fix reverted tests, ensure files are loaded before goals (#2315)
|
2024-02-03 11:49:26 -07:00 |
|
Mark
|
6a421dd8b0
|
fix broken tests
|
2024-02-02 17:04:47 -07:00 |
|
Mark
|
de6c460a51
|
treat consultation of command line modules as regular goals (#2314)
|
2024-02-02 15:35:00 -07:00 |
|
Mark
|
75a94fd0b3
|
fmt
|
2024-02-02 11:49:02 -07:00 |
|
Mark
|
7573c64087
|
load .scryerrc before files and goals (#1775, #2313)
|
2024-02-02 10:54:28 -07:00 |
|
Mark
|
cbb422f69d
|
record stub choice point as block
|
2024-02-01 09:26:58 -07:00 |
|
Nicolas Luck
|
06f198bc57
|
Test show problem with nonexistent predicate
|
2024-02-01 14:14:50 +01:00 |
|
Nicolas Luck
|
6586657658
|
fmt
|
2024-02-01 13:53:21 +01:00 |
|
Nicolas Luck
|
a0e598b97e
|
clippy
|
2024-02-01 13:51:37 +01:00 |
|
Nicolas Luck
|
8a6ea29c45
|
Fix all orderings in integration assertions
|
2024-02-01 13:43:51 +01:00 |
|
Nicolas Luck
|
e1b0ba466b
|
Remove test with long program literals, not needed
|
2024-02-01 13:00:49 +01:00 |
|
Nicolas Luck
|
f35d6287ab
|
More ordering adjustments
|
2024-02-01 12:59:10 +01:00 |
|
Mark
|
53028a9c2a
|
fix style errors
|
2024-01-31 17:32:32 -07:00 |
|
Mark
|
33fc2ed10c
|
index stub choice point correctly
|
2024-01-31 17:30:13 -07:00 |
|
Nicolas Luck
|
bc02fb3754
|
Extract failing assertion as single test case
|
2024-01-31 15:03:28 +01:00 |
|