Leni Aniva
|
1f9c8717f8
|
Multithreaded example
|
2024-04-12 16:08:55 -07:00 |
Leni Aniva
|
7457bdf363
|
Bump Lean version to 4.7.0-rc2
|
2024-03-15 06:21:10 -07:00 |
Leni Aniva
|
6e1af2794d
|
Tidying up the code
|
2024-03-09 15:59:00 -08:00 |
Leni Aniva
|
e0e293efc9
|
Code cleanup
|
2024-03-06 14:37:56 -08:00 |
Leni Aniva
|
a7aa5ba22e
|
Fix linker error on linux
|
2024-03-06 14:09:31 -08:00 |
Leni Aniva
|
4acebb508f
|
Add bindgen hook; code cleanup
|
2024-03-06 13:07:54 -08:00 |
Leni Aniva
|
c0f00af744
|
Use stable rust. Fix `build.rs` bugs
|
2024-03-05 16:39:33 -08:00 |
Leni Aniva
|
a4a96bce61
|
Add full calling example
|
2024-03-05 15:57:48 -08:00 |
Leni Aniva
|
5d1f76c332
|
Add rust (caller) side entry point
|
2024-03-05 14:00:04 -08:00 |