1. Top
  2. sqlite-lean
  3. Commits
sqlite-lean

Sqlite3 bindings for lean4 (mirror)

Commits at 8a238d8dab134f893d3923988953b42b299c2458

  1. 8a238d8d Merge pull request #2 from BRonen/remove-nix-from-tests-action remove nix from github actions Brenno Rodrigues authored at GitHub comitted at
  2. 5a9c9982 Merge pull request #1 from ValorZard/master Vendor SQLite so no longer need nix or package manager to install SQLite Brenno Rodrigues authored at GitHub comitted at
  3. 75d0dab2 docs: create LICENSE Brenno Rodrigues authored at GitHub comitted at
  4. df7f9d4f refactor: remove unnecessary assert method from tests BRonen authored at BRonen comitted at
  5. 4ce0c13a test: initial project test cases BRonen authored at BRonen comitted at
  6. 7c8aecee test: add wrong test to validate ci action BRonen authored at BRonen comitted at
  7. df80bd9e ci(lspec): fix the nix installed bin path access BRonen authored at BRonen comitted at
  8. 4ce246ce ci(lspec): usingnix as package manager to handle lean4 and lake versions BRonen authored at BRonen comitted at
  9. 1085c79e test: add lspec testing framework brenno.rodrigues authored at brenno.rodrigues comitted at
  10. 5641de3c feat add cursor explain interface brenno.rodrigues authored at brenno.rodrigues comitted at
  11. 78293eff feat: add sqlite cursor bind parameter name brenno.rodrigues authored at brenno.rodrigues comitted at
  12. 942a32a8 feat: add sqlite threadsafe interface brenno.rodrigues authored at brenno.rodrigues comitted at
  13. e82fa374 feat: add sqlite config interface and constants brenno.rodrigues authored at brenno.rodrigues comitted at
  14. b233a805 feat: add flags interface to sqlite open brenno.rodrigues authored at brenno.rodrigues comitted at
  15. 5f5d9d25 refactor: drop cursor struct brenno.rodrigues authored at brenno.rodrigues comitted at
  16. d6138abb refactor: rename sqlite connection external class brenno.rodrigues authored at brenno.rodrigues comitted at
  17. e30d704c feat: added parameters binding to prepared query cursor BRonen authored at BRonen comitted at
  18. 7794c14a refactor: use sqlite3 open v2 BRonen authored at BRonen comitted at
  19. 04491321 chore: update leanprover toolchain BRonen authored at BRonen comitted at
  20. 5eddf360 fix: prepare cursor without executing and represent result as Except BRonen authored at BRonen comitted at
  21. a84c3828 refactor: changing FFI namespace interface BRonen authored at BRonen comitted at
  22. 7bf39f92 refactor: cleaning project BRonen authored at BRonen comitted at
  23. 58f3a7b2 feat(ffi): sqlite text and int columns parsing BRonen authored at BRonen comitted at
  24. d55de21d feat(ffi): add cursor reset method interface BRonen authored at BRonen comitted at
  25. 17d4f05f feat(ffi): add cursor step interface BRonen authored at BRonen comitted at
  26. adad17cc fix(ffi): exec rows return using the result inductive BRonen authored at BRonen comitted at
  27. 646d35ec feat(ffi): add sqlite prepare interface BRonen authored at BRonen comitted at
  28. f118a9aa feat(ffi): add sqlite open method interface BRonen authored at BRonen comitted at
  29. fc9f7a16 feat(ffi): add sqlite dependency BRonen authored at BRonen comitted at
  30. 13b241e4 feat: initial ffi setup BRonen authored at BRonen comitted at