Bennet Bleßmann
|
ab675e071a
|
adjust error kind
|
2025-08-01 20:47:41 +02:00 |
|
Bennet Bleßmann
|
dc08a4ab11
|
get process_create working and add tests
|
2025-08-01 20:47:22 +02:00 |
|
Bennet Bleßmann
|
1120bcde29
|
add documentation
|
2025-08-01 20:47:11 +02:00 |
|
Bennet Bleßmann
|
dc495f10f8
|
change behaviour in supposedly unreachable cases
|
2025-08-01 20:46:31 +02:00 |
|
Bennet Bleßmann
|
d2ffd4f4bf
|
adjust error for duplicate options
|
2025-08-01 20:35:12 +02:00 |
|
Bennet Bleßmann
|
87dbad2294
|
fix rename pid to process
|
2025-08-01 20:35:01 +02:00 |
|
Bennet Bleßmann
|
ca52c65902
|
don't remove the child on wait/kill
- important for wait with timout(0) as we may want to try again until the process has realy exited.
- make process_release release the process instead
|
2025-08-01 20:33:15 +02:00 |
|
Bennet Bleßmann
|
7f233da10c
|
fix timeout default value in process_wait/3
|
2025-08-01 20:28:17 +02:00 |
|
Bennet Bleßmann
|
ff546a0f9a
|
incorporate suggestion by triska
|
2025-08-01 20:28:07 +02:00 |
|
Bennet Bleßmann
|
746d4fd106
|
make atom!() with a new value less annoying
|
2025-08-01 20:27:53 +02:00 |
|
Bennet Bleßmann
|
97e2e5d7f0
|
implement process_release/1, process_wait/2, process_wait/3, and process_kill/1
|
2025-08-01 20:27:27 +02:00 |
|
Bennet Bleßmann
|
1ee4f7a55f
|
store child process in machine state
|
2025-08-01 20:21:36 +02:00 |
|
Bennet Bleßmann
|
43dd1587fb
|
handle some error cases and replace unwrap with expect
|
2025-08-01 20:21:23 +02:00 |
|
Bennet Bleßmann
|
8971809c83
|
adjust errors
|
2025-08-01 20:21:13 +02:00 |
|
Bennet Bleßmann
|
e321f29b9c
|
rename pid to process
|
2025-08-01 20:21:02 +02:00 |
|
Bennet Bleßmann
|
129c80bf16
|
undo changes to error.pl
|
2025-08-01 20:20:52 +02:00 |
|
Bennet Bleßmann
|
183761eba4
|
adjust default cwd
|
2025-08-01 20:20:41 +02:00 |
|
Bennet Bleßmann
|
6c7833b9c7
|
restructure option parsing
|
2025-08-01 20:20:31 +02:00 |
|
Bennet Bleßmann
|
82e989f631
|
add comments and try to fix binding the child process pid
|
2025-08-01 20:20:20 +02:00 |
|
Bennet Bleßmann
|
2b052bf8dd
|
fix more things
|
2025-08-01 20:20:09 +02:00 |
|
Bennet Bleßmann
|
003e9d4610
|
get it working
|
2025-08-01 20:19:54 +02:00 |
|
Bennet Bleßmann
|
d79ece2497
|
fix indices
|
2025-08-01 20:18:44 +02:00 |
|
Bennet Bleßmann
|
ae0baf4893
|
[WIP] add support to spawn new processes
|
2025-08-01 20:18:13 +02:00 |
|
Bennet Bleßmann
|
1114700ce6
|
ignore test making network requests
|
2025-08-01 20:06:07 +02:00 |
|
Bennet Bleßmann
|
dea43a0244
|
update docs
|
2025-08-01 19:42:02 +02:00 |
|
Bennet Bleßmann
|
0c2c6124eb
|
support cstr as an ffi return type and do some more restructuring
|
2025-08-01 19:41:56 +02:00 |
|
Bennet Bleßmann
|
9cccd509e3
|
no longer skip f32 and f64 now that they work consistently
|
2025-08-01 19:11:02 +02:00 |
|
Bennet Bleßmann
|
36bdab84ba
|
further cleanup
- replace macros with functions
- stop abusing allocation error
|
2025-08-01 19:10:49 +02:00 |
|
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 |
|