Skip to content
This repository has been archived by the owner on May 15, 2023. It is now read-only.

Issues: insufficiently-caffeinated/caffeine

Implement missing LLVM intrinsics
#91 opened Jan 6, 2021 by Phantomical
Open
45 Open 106 Closed
45 Open 106 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Implement llvm.llrint.* intrinsic
#764 opened Mar 31, 2022 by Phantomical
Add command line option to turn off assertion printing
#644 opened Jan 12, 2022 by brookedolny
Don't build LLVM as part of caffeine
#642 opened Jan 11, 2022 by mishazharov
@Phantomical
Use the coverage to prioritize next context
#627 opened Jan 6, 2022 by Skrinikov Symposium Day
Clean up Operation
#581 opened Dec 23, 2021 by Phantomical
2 of 4 tasks
@Phantomical
Fuzz some existing open source projects
#575 opened Dec 16, 2021 by Phantomical
2 of 9 tasks
Symposium Day
Create program coverage reports during symbolic execution
#494 opened Aug 11, 2021 by mishazharov
@Skrinikov
Implement support for C++
#458 opened Jun 23, 2021 by Phantomical
4 tasks done
@mishazharov
Increase Test Coverage
#426 opened Jun 2, 2021 by Phantomical
4 of 13 tasks
Implement support for vector truncate instructions
#349 opened Apr 16, 2021 by Phantomical
@Phantomical
Optimizations tracking issue
#335 opened Apr 15, 2021 by Phantomical
Fix the build issues on macOS nice to have Features that are nice to have but aren't necessary for FYDP
#321 opened Apr 8, 2021 by brookedolny
@brookedolny
Improve documentation
#319 opened Apr 8, 2021 by Phantomical
1 of 2 tasks
@Phantomical
Symbolically execute Wuffs PNG library to find bugs
#317 opened Apr 8, 2021 by mishazharov
Symbolically execute sudo to find bugs
#315 opened Apr 8, 2021 by mishazharov
Use LLVM with debug + asserts in CI
#314 opened Apr 8, 2021 by Phantomical
Run multi-threaded tests with TSAN
#276 opened Mar 27, 2021 by mishazharov
Integrate with fuzzing Ethereum smart contracts
#269 opened Mar 25, 2021 by mishazharov
Debug why the test run-fail/fp/approx-sqrt.c is so slow.
#257 opened Mar 18, 2021 by Phantomical
Create test suite that covers most implemented LLVM instructions
#255 opened Mar 18, 2021 by Phantomical
Autogenerate x86 intrinsics from Intel XML spec fun Issues that are likely to be technically interesting
#231 opened Mar 10, 2021 by Phantomical
Create serialization for Contexts
#223 opened Mar 4, 2021 by mishazharov
1 task
Research best way to build a static dependency graph group
#195 opened Feb 15, 2021 by Skrinikov
Setup windows CI job
#193 opened Feb 11, 2021 by Phantomical
@Phantomical
Implement serialization for expressions and assertions
#192 opened Feb 11, 2021 by Phantomical
@Phantomical
ProTip! Add no:assignee to see everything that’s not assigned.