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

Sqlite3 bindings for lean4 (mirror)

Commits at master

  1. 03c55c97 Update Lean to v4.28.0, SQLite to 3.51.2 Anthony Wang authored at Anthony Wang comitted at
  2. 4a6ba5d2 Update Lean to v4.27.0 Anthony Wang authored at Anthony Wang comitted at
  3. 2fa00e94 Merge pull request #6 from usernamenotavailablepleasechooseanother/master Update Lean and SQLite Brenno Rodrigues authored at GitHub comitted at
  4. 871d6521 Merge pull request #5 from ValorZard/update-readme Update README.md with build details Brenno Rodrigues authored at GitHub comitted at
  5. c55b94ad Merge pull request #3 from usernamenotavailablepleasechooseanother/master Fix linker error on Windows, improve tests Brenno Rodrigues authored at GitHub comitted at
  6. 8a238d8d Merge pull request #2 from BRonen/remove-nix-from-tests-action remove nix from github actions Brenno Rodrigues authored at GitHub comitted at
  7. 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
  8. 75d0dab2 docs: create LICENSE Brenno Rodrigues authored at GitHub comitted at
  9. df7f9d4f refactor: remove unnecessary assert method from tests BRonen authored at BRonen comitted at
  10. 4ce0c13a test: initial project test cases BRonen authored at BRonen comitted at
  11. 7c8aecee test: add wrong test to validate ci action BRonen authored at BRonen comitted at
  12. df80bd9e ci(lspec): fix the nix installed bin path access BRonen authored at BRonen comitted at
  13. 4ce246ce ci(lspec): usingnix as package manager to handle lean4 and lake versions BRonen authored at BRonen comitted at
  14. 1085c79e test: add lspec testing framework brenno.rodrigues authored at brenno.rodrigues comitted at
  15. 5641de3c feat add cursor explain interface brenno.rodrigues authored at brenno.rodrigues comitted at
  16. 78293eff feat: add sqlite cursor bind parameter name brenno.rodrigues authored at brenno.rodrigues comitted at
  17. 942a32a8 feat: add sqlite threadsafe interface brenno.rodrigues authored at brenno.rodrigues comitted at
  18. e82fa374 feat: add sqlite config interface and constants brenno.rodrigues authored at brenno.rodrigues comitted at
  19. b233a805 feat: add flags interface to sqlite open brenno.rodrigues authored at brenno.rodrigues comitted at
  20. 5f5d9d25 refactor: drop cursor struct brenno.rodrigues authored at brenno.rodrigues comitted at
  21. d6138abb refactor: rename sqlite connection external class brenno.rodrigues authored at brenno.rodrigues comitted at
  22. e30d704c feat: added parameters binding to prepared query cursor BRonen authored at BRonen comitted at
  23. 7794c14a refactor: use sqlite3 open v2 BRonen authored at BRonen comitted at
  24. 04491321 chore: update leanprover toolchain BRonen authored at BRonen comitted at
  25. 5eddf360 fix: prepare cursor without executing and represent result as Except BRonen authored at BRonen comitted at
  26. a84c3828 refactor: changing FFI namespace interface BRonen authored at BRonen comitted at
  27. 7bf39f92 refactor: cleaning project BRonen authored at BRonen comitted at
  28. 58f3a7b2 feat(ffi): sqlite text and int columns parsing BRonen authored at BRonen comitted at
  29. d55de21d feat(ffi): add cursor reset method interface BRonen authored at BRonen comitted at
  30. 17d4f05f feat(ffi): add cursor step interface BRonen authored at BRonen comitted at