Skip to content

Navigation Menu

Explore
For
- Enterprise
- Teams
- Startups
- Education
By Solution
Resources
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

ultimate-pa / ultimate Public

Notifications You must be signed in to change notification settings
Fork 40
Star 184

Code
Issues 209
Pull requests 7
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

Labels Milestones

No labels!

There aren’t any labels for this repository quite yet.

50 labels

Sort

Sort

Reverse alphabetically

abstract interpretation

abstract interpretation

automata library

automata library

Automizer

BüchiAutomizer

BüchiAutomizer

backtranslation

backtranslation

Boogie

Boogie

BoogiePreprocessor

BoogiePreprocessor

BoogieProcedureInliner

BoogieProcedureInliner

bug

bug

build system / releases

build system / releases

C translation

core

core

dependencies

Pull requests that update a dependency file

docs

docs

DTS

DTS

Issues relevant to the DTS project

duplicate

enhancement

external processes

external processes

Issues that are connected to calling some external tool, e.g., z3, cvc4, ltl2ba, etc.

feature

float

float

Things that originate from the treatment of IEEE 754 floats

heap separator

help wanted

horn clauses

ICFG-related

investigation needed

investigation needed

javascript

Pull requests that update Javascript code

Kojak

Kojak

LassoRanker

loop acceleration

loop acceleration

LTLAutomizer

Previous 1 2 Next

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.