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
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
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
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
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
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
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
Markus Triska
9c1de8e00b
ENHANCED: Eliminate the OpenSSL dependency of library(crypto).
...
This is achieved by using the newly available crrl crate by @pornin
to implement crypto_curve_scalar_mult/4 for secp256k1. Many thanks!
2022-10-26 23:36:07 -06:00
Adrián Arroyo Calle
181be5be3f
HTTP Server 2.0
2022-10-26 23:36:07 -06:00
Adrián Arroyo Calle
6feb1f8b82
Fix build on Windows 10
2022-05-22 13:18:11 +02:00
Mark Thom
68b4951bc9
replace SliceDeque with VecDeque
2022-04-25 22:55:28 -06:00
Mark Thom
b4ef7556da
update to crossterm 0.20.0 ( #1439 )
2022-04-21 18:41:07 -06:00
Mark Thom
9d5264c5a3
very minor optimizations
2022-04-17 20:10:13 -06:00
Adrián Arroyo Calle
3acbe2a418
http_open/3 with method option
2022-03-28 20:38:52 +02:00
Mark Thom
046a2175ab
use ryu to print floats with a modification for compatible syntax ( #1368 , #1372 )
2022-03-27 11:28:10 -06:00
Mark Thom
c2fc33afec
correct float version of sign/1 ( #1360 )
2022-03-19 15:55:23 -06:00
Mark Thom
d06b5f7ab5
prepare for publishing to crates.io ( #1335 )
2022-03-15 00:07:42 -06:00
Skgland
5848ff5735
add min rust version
...
was proposed in https://github.com/mthom/scryer-prolog/issues/1335#issuecomment-1062039516 and got positive feedback
(cherry picked from commit fcfa3beaa3
2022-03-12 19:23:33 +01:00
Mark Thom
75fc922898
Revert "Set minimum rust version in Cargo.toml"
2022-03-12 11:10:17 -07:00
Skgland
fcfa3beaa3
add min rust version
...
was proposed in https://github.com/mthom/scryer-prolog/issues/1335#issuecomment-1062039516 and got positive feedback
2022-03-12 18:57:33 +01:00
Mark Thom
eace0d9b37
print rationals that are integers as integers ( #663 )
2022-03-09 21:24:16 -07:00
Mark Thom
955e1799c8
flatten the instruction dispatch loop
2022-01-06 22:09:36 -07:00
Mark Thom
3db86f1e25
relocate most instruction routines from MachineState to Machine
2022-01-06 21:46:23 -07:00
Mark Thom
bcd33dc8e3
get test suite working
2022-01-06 21:44:41 -07:00
Mark Thom
1a86ad5cec
upgrade rustyline
2022-01-06 21:44:41 -07:00
Mark Thom
0404c3bd94
use new heap term representation
2022-01-06 21:44:38 -07:00
Adrián Arroyo Calle
dd51908439
Rust 2021
2021-11-01 23:03:51 +01:00
