8000 Tags · esbmc/esbmc · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
8000

Tags: esbmc/esbmc

Tags

nightly-194fb3bc9e79908919e6b74455e79ffc3696850c

Toggle nightly-194fb3bc9e79908919e6b74455e79ffc3696850c's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Update README.md

nightly-39c4b6dacc22975fd4bcb480c3fec7be013f6477

Toggle nightly-39c4b6dacc22975fd4bcb480c3fec7be013f6477's commit message 
[c++] fixed typos in string

Signed-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>

nightly-27d39fce3460e53d07222702aaffc6d8df2e4f48

Toggle nightly-27d39fce3460e53d07222702aaffc6d8df2e4f48's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
[c++] fix STL operator overload resolution errors in ostream, sstream…

… and string headers (#2528)

nightly-39b012f9f7f7dad188708a9eaf4bbbc5faa3b4f7

Toggle nightly-39b012f9f7f7dad188708a9eaf4bbbc5faa3b4f7's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
[python] handles assertions involving function calls and refactor att…

…ribute handling (#2510)

nightly-702b6f4ad195e984cf2917165eb64df53f9f18f9

Toggle nightly-702b6f4ad195e984cf2917165eb64df53f9f18f9's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
[python] improved return type inference (#2494)

This PR enhances our Python frontend’s ability to infer function return
types in ESBMC by improving logic in
`python_annotation::get_function_return_type`. It adds support for
parsing and handling annotated and inferred return types from Python AST
nodes.

---------

Signed-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>
Co-authored-by: lucasccordeiro <3694109+lucasccordeiro@users.noreply.github.com>
Co-authored-by: Bruno Farias <brunocarvalhofarias@gmail.com>

nightly-97c1e1f45ee154cbd0a0cbc8abed3059c1d671e7

Toggle nightly-97c1e1f45ee154cbd0a0cbc8abed3059c1d671e7's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
[Solidity] Refactoring Mapping (#2468)

nightly-4e14ba5326017d98caf07dd16ebfa2c92396d932

Toggle nightly-4e14ba5326017d98caf07dd16ebfa2c92396d932's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
[concurrency] : add support for pthread_cleanup_push and pthread_clea…

…nup_pop (#2450)

nightly-53ff50c5408d5fea3c44c65cdd353fcdb69f90dd

Toggle nightly-53ff50c5408d5fea3c44c65cdd353fcdb69f90dd's commit message 
[python] fixed log_warning

Signed-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>

nightly-8a6c3ff59e7ed1d1e9c9f7965e02d6080280b905

Toggle nightly-8a6c3ff59e7ed1d1e9c9f7965e02d6080280b905's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
[python] Add support for hex() built-in function (#2419)

nightly-f7e5463490249caef7109171b2089611f86bb355

Toggle nightly-f7e5463490249caef7109171b2089611f86bb355's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
[goto-programs] refactored do_function_call_symbol (#2411)
0