Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tydeu/lean4-alloy issues and pull requests
#8 - Link Library
Issue -
State: open - Opened by drcicero 8 months ago
- 7 comments
#7 - chore: bump for lean4#3159
Pull Request -
State: closed - Opened by mhuisi 11 months ago
- 1 comment
#6 - How to ensure that C_INCLUDE_PATH is respected by clangd started by Alloy?
Issue -
State: closed - Opened by badly-drawn-wizards 11 months ago
- 2 comments
Labels: question
#5 - Update README snippet to match example lakefile
Pull Request -
State: closed - Opened by badly-drawn-wizards 11 months ago
- 1 comment
#4 - lake build does not rebuild alloy
Issue -
State: closed - Opened by nomeata over 1 year ago
- 1 comment
Labels: bug
#3 - fix: update to work with newer Lean toolchain
Pull Request -
State: closed - Opened by iacore about 2 years ago
- 1 comment
Labels: chore
#2 - ci: add GitHub workflow
Pull Request -
State: closed - Opened by tydeu over 2 years ago
Labels: enhancement
#1 - feat: Add nix flake build
Pull Request -
State: closed - Opened by Anderssorby over 2 years ago
- 2 comments
Labels: enhancement