Commits at 7794c14ad0b9fe32e7ebbde14264ebd67406be7f

1. 7794c14a refactor: use sqlite3 open v2 BRonen authored at 2025-02-19 14:02:31 -0300 BRonen comitted at 2025-02-19 14:02:31 -0300
2. 04491321 chore: update leanprover toolchain BRonen authored at 2025-02-19 14:02:31 -0300 BRonen comitted at 2025-02-19 14:02:31 -0300
3. 5eddf360 fix: prepare cursor without executing and represent result as Except BRonen authored at 2025-02-19 14:02:31 -0300 BRonen comitted at 2025-02-19 14:02:31 -0300
4. a84c3828 refactor: changing FFI namespace interface BRonen authored at 2025-02-19 14:02:31 -0300 BRonen comitted at 2025-02-19 14:02:31 -0300
5. 7bf39f92 refactor: cleaning project BRonen authored at 2025-02-19 14:02:31 -0300 BRonen comitted at 2025-02-19 14:02:31 -0300
6. 58f3a7b2 feat(ffi): sqlite text and int columns parsing BRonen authored at 2025-02-19 14:02:31 -0300 BRonen comitted at 2025-02-19 14:02:31 -0300
7. d55de21d feat(ffi): add cursor reset method interface BRonen authored at 2025-02-17 08:39:09 -0300 BRonen comitted at 2025-02-17 08:39:09 -0300
8. 17d4f05f feat(ffi): add cursor step interface BRonen authored at 2025-02-17 08:39:09 -0300 BRonen comitted at 2025-02-17 08:39:09 -0300
9. adad17cc fix(ffi): exec rows return using the result inductive BRonen authored at 2025-02-17 08:39:09 -0300 BRonen comitted at 2025-02-17 08:39:09 -0300
10. 646d35ec feat(ffi): add sqlite prepare interface BRonen authored at 2025-02-17 08:39:09 -0300 BRonen comitted at 2025-02-17 08:39:09 -0300
11. f118a9aa feat(ffi): add sqlite open method interface BRonen authored at 2025-02-17 08:39:09 -0300 BRonen comitted at 2025-02-17 08:39:09 -0300
12. fc9f7a16 feat(ffi): add sqlite dependency BRonen authored at 2025-02-17 08:39:09 -0300 BRonen comitted at 2025-02-17 08:39:09 -0300
13. 13b241e4 feat: initial ffi setup BRonen authored at 2025-02-17 08:39:09 -0300 BRonen comitted at 2025-02-17 08:39:09 -0300