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
Adrián Arroyo Calle
36ab590c4e
Add js_eval/2 for wasm32
2023-11-22 21:21:19 +01:00
infogulch
503e45eae1
Upgrade to latest iai for summary output
2023-11-21 21:53:19 -06:00
infogulch
1c94624958
Benchmark improvements
...
* CI: Clean offline; display cleaned bytes; one artifact upload
* Add missing csv bench to iai benchmarks
* Generate flamegraphs for benchmarks
* Validate benchmark results separately
2023-11-21 13:54:16 -06:00
infogulch
8570f119c0
Add benchmarks using library interface
2023-11-11 13:32:34 -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
Nicolas Luck
69a0725c30
Cleanup Cargo.toml
2023-10-17 22:09:34 +02:00
Nicolas Luck
640c637ca8
Merge branch 'master' into library-use-case
...
# Conflicts:
# Cargo.lock
# Cargo.toml
# src/http.rs
# src/machine/mock_wam.rs
# src/machine/mod.rs
# src/machine/system_calls.rs
2023-10-05 12:06:47 +02:00
Mark
0bfb08e464
remove debug symbols from release builds ( #2054 )
2023-09-27 13:53:33 -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
Markus Triska
5b1df8c4b3
use version from crates.io
2023-09-13 20:45:38 +02:00
Jacob
adb5fcf708
Upgrade dashu and some changes
2023-09-13 12:29:12 -04:00
Nicolas Luck
136463c92e
Merge branch 'master' into library-use-case
...
# Conflicts:
# Cargo.toml
# src/atom_table.rs
# src/bin/scryer-prolog.rs
# src/http.rs
# src/machine/mock_wam.rs
# src/machine/mod.rs
# src/machine/system_calls.rs
2023-09-13 18:13:14 +02:00
Mark
4077040d03
update syn crates
2023-09-12 14:52:42 -06:00
Fayeed Pawaskar
7f0536b51d
Merge branch 'master' into dashu-fixes
2023-09-10 21:51:02 +05:30
Rujia Liu
b6ce6b7cdb
Basic WebAssembly support with minimal Javascript API #615 . Currently 6/12 crypto functions supported. Tested in browser with all default features disabled.
2023-09-08 17:27:22 +08:00
Skgland
0f0018abe4
raise msrv for OnceLock support
2023-09-05 19:12:23 +02:00
Skgland
86166dbf25
[WIP] make AtomTable concurrentcy ready
2023-09-05 19:12:22 +02:00
Fayeed Pawaskar
b105c33b79
Added latest dashu from github
2023-09-04 14:09:45 +05:30
Nicolas Luck
2b018be392
Add back needed dep. hyper-util and upgrade hyper to rc4
2023-08-30 20:00:56 +02:00
Nicolas Luck
4d19c437e0
Merge branch 'master' into library-use-case
...
# Conflicts:
# Cargo.toml
# src/machine/mock_wam.rs
# src/machine/mod.rs
2023-08-30 18:12:26 +02:00
Mark
78b35dc57d
update Cargo.toml version numbers and bump version number
CI / build-test (macos-11, stable, bash, x86_64-apple-darwin) (push) Has been cancelled
CI / build-test (true, ubuntu-20.04, stable, bash, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-20.04, 1.65, bash, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-20.04, beta, bash, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-20.04, nightly, bash, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-20.04, stable, bash, i686-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (windows-latest, stable, msys2 {0}, x86_64-pc-windows-gnu) (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-08-28 13:23:56 -06:00
Nicolas Luck
d13173942d
Cargo feature "multi_thread" for thread-local ATOM_TABLE_BUF_BASE
2023-08-24 19:13:11 +02:00
Rujia Liu
25d4950216
Allow users to disable optional features. Needed for wasm32 support (see #615 ).
2023-08-21 10:01:24 +08:00
Markus Triska
745ddc2c87
switch to using crrl for scalar multiplication on Curve25519
...
This is to facilitate WASM compilation as currently worked on
by @rujialiu in #615 . Many thanks, and many thanks to @pornin
for crrl which makes this possible!
2023-08-20 14:43:14 +02:00
Fayeed Pawaskar
ce1c8aac4c
Fixed libffi dep
2023-08-08 16:22:08 +05:30
Fayeed Pawaskar
72ceceb7ae
Updated hyper to 1.0.0-rc.4
2023-08-08 16:20:49 +05:30
Nicolas Luck
48a4835819
Merge branch 'master' into library-use-case
...
# Conflicts:
# Cargo.lock
# Cargo.toml
# src/bin/scryer-prolog.rs
# src/loader.pl
# src/machine/mock_wam.rs
# src/machine/mod.rs
# src/machine/system_calls.rs
2023-08-03 20:16:32 +02:00
Bennet Bleßmann
6aa3c7d5d6
handle atom table resize
...
* bumping serial_test dev-dependency due to broken should_panic handling in old version
2023-07-29 11:22:25 +02:00
Mark
af44d91568
Merge branch 'dashu' of https://github.com/coasys/scryer-prolog into coasys-dashu
2023-07-24 11:47:57 -06:00
Fayeed Pawaskar
40b6890c54
updated cargo to use git
2023-07-24 19:11:41 +05:30
Fayeed Pawaskar
0e17d6acd7
remove rug completely
2023-07-24 10:12:22 +05:30
Mark
9a7862c322
correct max_depth option ( #1876 )
2023-07-22 11:11:23 -06:00
Nicolas Luck
9e85be11fe
Fix result parsing for complex string results
2023-07-21 14:35:44 +02:00
Fayeed Pawaskar
b4e7000eb2
Fixed missing functionality in dashu with their methods still has some issue with move
2023-07-21 14:21:32 +05:30
Fayeed Pawaskar
cf345d8174
wip dashu move
2023-07-17 20:40:41 +05:30
Nicolas Luck
c0dd94c8a3
Add test for programatic queries
2023-07-12 11:57:53 +02:00
Adrián Arroyo Calle
330e9ba4ef
Multiple fixes for http libraries
...
* use reqwest for http_open (still uses Hyper underneath)
* use Hyper 1.0.0-rc3 for server
* Modify all internal handling of server
2023-06-29 23:43:37 +02:00
Adrián Arroyo Calle
5850125d97
Update select crate to 0.6.0 and remove warning
2023-06-23 14:11:31 -06:00
Mark
0e583d620a
implement new disjunction compilation
2023-06-23 14:11:31 -06:00
Mark Thom
a66d666bed
variable classification al a carte
2023-06-23 14:11:22 -06:00
infogulch
8792ee438c
Add cache step to test workflow
2023-04-02 02:09:41 -05:00
Adrián Arroyo Calle
7396630627
Merge branch 'master' into ffi
2023-02-28 22:10:40 +01:00
Mark Thom
04ba58067a
add, implement and use the Unifier trait
2023-02-26 12:21:22 -07:00
Adrián Arroyo Calle
9d52d2a653
MVP of Foreign Function Interface
2023-02-22 23:10:03 +01:00
Mark Thom
5667ec8699
update tokio version
2023-01-30 23:27:07 -07:00
Mark Thom
694c87cb61
bump version to 0.9.1
2022-11-10 06:59:03 +01:00
Mark Thom
c41aba6b90
remove num-rug-adapter
2022-11-10 06:56:57 +01:00
Skgland
9055370326
adjust rust-version declaration
2022-10-26 23:36:07 -06:00
