Bennet Bleßmann
|
cf51338a77
|
further ffi cleanup
|
2025-08-01 19:10:38 +02:00 |
|
Bennet Bleßmann
|
f738b42e49
|
don't panic on unexpected/invalid value
|
2025-08-01 19:10:27 +02:00 |
|
Bennet Bleßmann
|
f45426e8ab
|
also accept rust type name
|
2025-08-01 19:10:15 +02:00 |
|
Bennet Bleßmann
|
3d2439c92b
|
use libffi::middle instead of libffi::low were possible
|
2025-08-01 19:09:56 +02:00 |
|
Bennet Bleßmann
|
6205f2f1f1
|
add a simple ffi test using structs
|
2025-08-01 19:08:32 +02:00 |
|
Bennet Bleßmann
|
760e1d2aac
|
fix UB in ffi tests
|
2025-08-01 19:08:24 +02:00 |
|
Bennet Bleßmann
|
e1246f0c83
|
add new test helper
|
2025-08-01 19:08:02 +02:00 |
|
Bennet Bleßmann
|
bd1f8bb37e
|
make ffi support full {i,u}64 range
|
2025-08-01 19:07:07 +02:00 |
|
Bennet Bleßmann
|
620459ea1e
|
fix {i,u}64 in ffi
|
2025-08-01 18:37:48 +02:00 |
|
Bennet Bleßmann
|
d2502b0520
|
fix all but {i,u}64
|
2025-08-01 18:37:35 +02:00 |
|
Bennet Bleßmann
|
34eab2e73a
|
fix crash when trying to load and ffi library with an invalid type specification
|
2025-08-01 18:22:15 +02:00 |
|
Bennet Bleßmann
|
db3f2717bc
|
add more ffi tests
|
2025-08-01 18:22:14 +02:00 |
|
Bennet Bleßmann
|
7227e1d97c
|
cleanup and fix miri & cross-compile
|
2025-08-01 18:22:13 +02:00 |
|
Bennet Bleßmann
|
9d8906da30
|
add ffi tests using f64
|
2025-08-01 18:22:01 +02:00 |
|
Mark Thom
|
f524062e5b
|
Merge pull request #2961 from rotu/patch-5
Document `when/2` Condition
|
2025-07-31 22:10:32 -07:00 |
|
Mark Thom
|
eb29390a79
|
Merge pull request #3017 from triska/adapt_link
adapt link to Scryer Prolog Meetup 2024
|
2025-07-31 22:09:54 -07:00 |
|
Mark Thom
|
f91aedcc2f
|
Merge pull request #3019 from Skgland/rebis-dev_fix-clippy
fix clippy
|
2025-07-31 22:09:41 -07:00 |
|
Bennet Bleßmann
|
4f04d2dfca
|
replace .skip(n).next() with .nth(n)
|
2025-07-31 21:47:12 +02:00 |
|
Bennet Bleßmann
|
de89a78cbb
|
remove unecessary cast
|
2025-07-31 21:47:11 +02:00 |
|
Bennet Bleßmann
|
e7600884fb
|
remove unecessary into_iter
|
2025-07-31 21:47:11 +02:00 |
|
Bennet Bleßmann
|
3365cffa96
|
prefere for loop
|
2025-07-31 21:47:10 +02:00 |
|
Bennet Bleßmann
|
df3f1236f7
|
replace always erroring of_else with map_err
|
2025-07-31 21:47:09 +02:00 |
|
Bennet Bleßmann
|
8766851919
|
replace single non-wildcard pattern match with if let
|
2025-07-31 21:47:09 +02:00 |
|
Bennet Bleßmann
|
014d1b0095
|
remove already implied must_use
|
2025-07-31 21:47:08 +02:00 |
|
Bennet Bleßmann
|
c885d1a7e7
|
collaps els-if / if-if
|
2025-07-31 21:47:08 +02:00 |
|
Bennet Bleßmann
|
7593f88d5a
|
ingore nerver looping loop, but add a todo
|
2025-07-31 21:47:07 +02:00 |
|
Bennet Bleßmann
|
6885074006
|
fix clippy::unit_arg
|
2025-07-31 21:47:07 +02:00 |
|
Bennet Bleßmann
|
73cc872b50
|
check not empty instead of len > 0
|
2025-07-31 21:47:06 +02:00 |
|
Bennet Bleßmann
|
fae5e13bd5
|
impl From rather than Into
|
2025-07-31 21:47:05 +02:00 |
|
Bennet Bleßmann
|
6d7c217227
|
fix unecessary mut
|
2025-07-31 21:47:05 +02:00 |
|
Bennet Bleßmann
|
166ec02973
|
ignore clippy::unbuffered_bytes in test helper functions
|
2025-07-31 21:47:04 +02:00 |
|
Bennet Bleßmann
|
1d26f98688
|
fix legacy int constants
|
2025-07-31 21:47:04 +02:00 |
|
Bennet Bleßmann
|
58b9a6ad69
|
ignore wrong self convention
|
2025-07-31 21:47:03 +02:00 |
|
Bennet Bleßmann
|
a639fec153
|
fix match/if-let can be simplified to ?
|
2025-07-31 21:47:03 +02:00 |
|
Bennet Bleßmann
|
495bcd73f2
|
fix unecessary return
|
2025-07-31 21:46:52 +02:00 |
|
Bennet Bleßmann
|
ae3019d923
|
fix unecessary reference/dereference
|
2025-07-31 21:46:51 +02:00 |
|
Bennet Bleßmann
|
72631b3e0b
|
fix clone on copy values
|
2025-07-31 21:28:39 +02:00 |
|
Bennet Bleßmann
|
8cc74b2af7
|
fix clippy::uninlined_format_args
|
2025-07-31 21:26:08 +02:00 |
|
Bennet Bleßmann
|
7199e9a2db
|
remove outdated comment
|
2025-07-31 20:07:57 +02:00 |
|
Bennet Bleßmann
|
edf21494d9
|
also run CI on rebis-dev
|
2025-07-31 20:07:07 +02:00 |
|
Markus Triska
|
b364c9073a
|
adapt link to Scryer Prolog Meetup 2024
An update of the site has caused a change in the address.
|
2025-07-28 18:55:59 +02:00 |
|
Mark Thom
|
9b293cf1b6
|
detect end_of_file before end_of_stream in get_char (#2990)
|
2025-07-22 20:39:52 -07:00 |
|
Mark Thom
|
65dda019a2
|
allow abolish_clause to abolish empty dynamic clauses (#3010)
|
2025-07-20 16:55:07 -07:00 |
|
Mark Thom
|
4aa2a45736
|
fix variadic_functor
|
2025-07-16 21:52:40 -07:00 |
|
Mark Thom
|
4efceda8c5
|
fix parsing partial number tokens in other radixes (#3000)
|
2025-07-14 23:05:10 -07:00 |
|
Mark Thom
|
5dc8983eec
|
Merge pull request #3003 from rotu/patch-8
CI: run clippy even if fmt fails
|
2025-07-13 21:22:24 -07:00 |
|
Dan Rose
|
49b30e9f81
|
Merge branch 'mthom:master' into patch-5
|
2025-07-08 18:03:16 -05:00 |
|
Mark Thom
|
b78ccf8f28
|
fmt improvements
|
2025-07-08 13:47:08 -07:00 |
|
Dan Rose
|
2dc66d33dd
|
CI: run clippy even if fmt fails
|
2025-07-08 11:51:13 -05:00 |
|
Mark Thom
|
e303e5a805
|
correct number_chars (#2976)
|
2025-07-07 22:44:05 -07:00 |
|