Nadja Reitzenstein
|
53cdfeda5d
|
Fix warnings
|
2022-02-26 14:00:00 +01:00 |
|
Nadja Reitzenstein
|
a09c3d3880
|
Fix #29
|
2021-12-07 23:02:26 +01:00 |
|
Nadja Reitzenstein
|
47781b445e
|
Make machine correctly load state and set previous/current use in API
|
2021-12-01 15:46:52 +01:00 |
|
Nadja Reitzenstein
|
200179f621
|
Returns current user
|
2021-11-26 02:21:35 +00:00 |
|
Nadja Reitzenstein
|
bd635d97ac
|
Make work
|
2021-09-21 07:54:18 +02:00 |
|
Nadja Reitzenstein
|
660fe5ed9e
|
Most of Machine implemented
|
2021-09-19 15:58:37 +02:00 |
|
Nadja Reitzenstein
|
e5903961d1
|
More API implementation
|
2021-09-19 15:58:37 +02:00 |
|
Gregor Reitzenstein
|
d0b73c9b49
|
make compile
|
2021-09-19 15:58:37 +02:00 |
|
Gregor Reitzenstein
|
8ce5c2f6ff
|
Minimal draft implementation of getGiveBack
It's untested but it should(TM) work.
|
2021-03-23 15:24:58 +01:00 |
|
Gregor Reitzenstein
|
1a241f1f7d
|
Adds working GiveBack
|
2021-02-22 17:26:18 +01:00 |
|
Gregor Reitzenstein
|
131546e150
|
Start adding a Future ReturnToken
|
2021-02-22 17:26:18 +01:00 |
|
Gregor Reitzenstein
|
55dcf6dd80
|
Updates to allow use()ing stuff
|
2021-02-09 17:41:05 +00:00 |
|
Gregor Reitzenstein
|
d5b635025d
|
Actually set the API user as well
|
2021-02-09 17:20:10 +00:00 |
|
Gregor Reitzenstein
|
38eb26b684
|
format an error
|
2021-02-09 08:52:07 +00:00 |
|
Gregor Reitzenstein
|
14eb9b048a
|
Polling futures turns out to be a smart thing to do. Fixes #12
|
2021-02-08 18:28:27 +00:00 |
|
Gregor Reitzenstein
|
4aaa281303
|
Marks unused variables to cut down on warnings
|
2021-01-26 14:47:58 +00:00 |
|
Gregor Reitzenstein
|
f387f55c06
|
Machine state change with access control
|
2021-01-22 15:25:26 +00:00 |
|
Gregor Reitzenstein
|
cda947a0e9
|
No more priority pls
|
2021-01-20 11:55:15 +00:00 |
|
Gregor Reitzenstein
|
a279a2ed48
|
Actually implement fill_info in a way that compiles. ^^'
|
2020-12-16 12:49:56 +01:00 |
|
Gregor Reitzenstein
|
cfa71f8be2
|
Implements fill_info
|
2020-12-16 12:42:14 +01:00 |
|
Gregor Reitzenstein
|
cca5bddbb8
|
Implement parts of the Machine API
|
2020-12-16 11:32:31 +01:00 |
|
Gregor Reitzenstein
|
1041afd0ab
|
Network'd
|
2020-12-01 10:21:39 +01:00 |
|
Gregor Reitzenstein
|
cc40cde831
|
Refactor machines somewhat
|
2020-11-30 14:08:03 +01:00 |
|
Gregor Reitzenstein
|
cbb6242f89
|
Get an example to work — barely.
|
2020-11-20 15:44:02 +01:00 |
|
Gregor Reitzenstein
|
e7bbc7e001
|
Lots of changes for better API stuffs
|
2020-11-20 15:44:02 +01:00 |
|
Gregor Reitzenstein
|
220942b80a
|
Session / Connection / Bootstrap split
|
2020-11-20 15:44:02 +01:00 |
|
Gregor Reitzenstein
|
a057ffa4d8
|
API cleanup
|
2020-11-20 15:44:02 +01:00 |
|