Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/lean-llvm issues and pull requests

#29 - feat: make opcode tags less brittle, work with more LLVM versions

Pull Request - State: open - Opened by pnwamk over 3 years ago

#28 - chore: tweaks for lean 4 bump to leanprover/lean4:nightly-2021-08-18

Pull Request - State: closed - Opened by pnwamk over 3 years ago

#27 - chore: tweaks for bump to leanprover/lean4:nightly-2021-04-22

Pull Request - State: closed - Opened by pnwamk almost 4 years ago

#26 - chore: update code to be compatible with Lean4 new frontend (0731d3f0…

Pull Request - State: closed - Opened by pnwamk over 4 years ago

#25 - bug fix: fix order of addr and val for store

Pull Request - State: closed - Opened by pnwamk over 4 years ago

#24 - chore: tweaks for Lean4 bump to a04fc631e07b3a8e1d68b08c21d91b143beebae4

Pull Request - State: closed - Opened by pnwamk over 4 years ago

#23 - Can I try this out

Issue - State: open - Opened by jyizheng over 4 years ago

#22 - features/improvements needed for reopt-vcg

Pull Request - State: closed - Opened by pnwamk over 4 years ago

#21 - parseAssembly should take a data layout param

Issue - State: open - Opened by pnwamk over 4 years ago

#20 - `parseBitcodeFile` error reporting is broken

Issue - State: open - Opened by pnwamk over 4 years ago

#19 - minor typo fix in CodingConventions.md

Pull Request - State: closed - Opened by pnwamk over 4 years ago

#18 - Cleanup names

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#17 - Test that change to `src/llvm_exports.cpp` is sound

Issue - State: open - Opened by pnwamk almost 5 years ago

#16 - lean4 submodule bump tweaks (for Lean4 commit ec9f4b579dc6b4a20407d27…

Pull Request - State: closed - Opened by pnwamk almost 5 years ago - 1 comment

#15 - minor tweak to Makefile path generation

Pull Request - State: closed - Opened by pnwamk almost 5 years ago

#14 - Rwd/output

Pull Request - State: closed - Opened by robdockins over 5 years ago

#13 - Simulator updates

Pull Request - State: closed - Opened by robdockins over 5 years ago

#12 - LLVM JIT experiments

Pull Request - State: closed - Opened by joehendrix over 5 years ago

#11 - Add just-in-time compilation to Lean.

Pull Request - State: closed - Opened by joehendrix over 5 years ago

#10 - simulate cleanup

Pull Request - State: closed - Opened by joehendrix over 5 years ago - 1 comment

#9 - Update for lean 4 commit #8fa888

Pull Request - State: closed - Opened by joehendrix over 5 years ago

#8 - Lean4

Pull Request - State: closed - Opened by robdockins over 5 years ago

#7 - Jhx/lean4

Pull Request - State: closed - Opened by joehendrix almost 6 years ago

#6 - Additional work on pretty printer

Pull Request - State: closed - Opened by robdockins almost 6 years ago

#5 - Update gitignore

Pull Request - State: closed - Opened by joehendrix almost 6 years ago

#4 - Rwd/pp

Pull Request - State: closed - Opened by robdockins almost 6 years ago

#3 - Jhx/foreign fix

Pull Request - State: closed - Opened by joehendrix about 6 years ago

#2 - Add leanpkg.toml

Pull Request - State: closed - Opened by joehendrix about 6 years ago

#1 - LLVM FFI

Pull Request - State: closed - Opened by joehendrix about 6 years ago