Contribute to esbmc/esbmc

Make your first contribution to 8000 this repository by tackling one of the issues listed below.

Each issue displayed here is a "good first issue," selected for its relative approachability for first-time contributors.

Good first issues

test good first issue

#2282 opened Feb 5, 2025 by intrigus-lgtm

good first issue

#2172 opened Dec 1, 2024 by intrigus-lgtm

good first issue

#2167 opened Nov 29, 2024 by intrigus-lgtm

good first issue

#1339 opened Sep 13, 2023 by tihanyin

good first issue

#1320 opened Sep 6, 2023 by rafaelsamenezes

good first issue

#1018 opened May 16, 2023 by rafaelsamenezes

good first issue feature

#1016 opened May 14, 2023 by lucasccordeiro

good first issue ucode

#800 opened Jul 8, 2022 by rafaelsamenezes

good first issue

#782 opened Jun 30, 2022 by fbrausse

good first issue

#746 opened Jun 14, 2022 by fbrausse

enhancement good first issue ucode

#706 opened May 16, 2022 by rafaelsamenezes

good first issue

#700 opened May 10, 2022 by rafaelsamenezes

good first issue

#641 opened Mar 8, 2022 by rafaelsamenezes

good first issue

#626 opened Feb 8, 2022 by mikhailramalho

good first issue

#580 opened Jan 5, 2022 by lucasccordeiro

good first issue

#561 opened Nov 17, 2021 by rafaelsamenezes

good first issue CI

#529 opened Oct 25, 2021 by rafaelsamenezes

cmake good first issue

#516 opened Oct 14, 2021 by rafaelsamenezes

good first issue hacktoberfest

#515 opened Oct 14, 2021 by rafaelsamenezes

good first issue

#510 opened Oct 4, 2021 by rafaelsamenezes

cmake good first issue

#494 opened Sep 14, 2021 by rafaelsamenezes

good first issue

#472 opened Jul 26, 2021 by rafaelsamenezes

good first issue CI

#462 opened Jul 6, 2021 by lucasccordeiro

good first issue CI

#461 opened Jul 2, 2021 by rafaelsamenezes

cmake good first issue

#454 opened Jun 17, 2021 by rafaelsamenezes

good first issue

#418 opened Mar 15, 2021 by rafaelsamenezes

bug good first issue windows

#380 opened Feb 15, 2021 by rafaelsamenezes

enhancement good first issue

#370 opened Feb 11, 2021 by rafaelsamenezes