opencompl / opencompl/veir

sqlite parent issue

Open
#947 0 comments 0 reactions 1 assignee Claimed by @sishtiaq View on GitHub
sqlite
Dominant language
Lean
Stars
110
Forks
32
Avg merge
1d 1h
Merged PRs (30d)
155

Description

Goal: compile and run sqlite3.
All sqlite issues: https://github.com/opencompl/veir/issues?q=is%3Aissue%20state%3Aopen%20label%3Asqlite. Feel free to pick them up!

sqlite3 is defined to be the 1-file sqlite amalgamation.
`curl -O https://sqlite.org/2026/sqlite-amalgamation-3530300.zip` to get it.

The entire "compile and run" will likely be done in stages:
1. parse;
2. emit;
3. interpret;
4. lower to risc-v.

Parsing status: You can get the latest parsing error by running `Tools/vcc /path/to/sqlite3.c`.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.