Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Inactive

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 5 hours ago.
Jun 12, 2024 — Jun 12, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #162 from sharwell/format-codetools
Sergey Teplyakov
More... almost 10 years ago
Update MSBuild references
Sam Harwell
More... almost 10 years ago
Use the correct interfaces when requesting services
Sam Harwell
More... almost 10 years ago
Interact with the SVsErrorList service instead of SVsTaskList
Sam Harwell
More... almost 10 years ago
Reformat code in CodeTools10.sln
Francesco Logozzo
More... almost 10 years ago
Minor refactoring: enhanced argument name.
Sergey Teplyakov
More... almost 10 years ago
Minor refactoring: enhanced argument name.
Sergey Teplyakov
More... almost 10 years ago
Add additional test cases to check async postconditions.
Sergey Teplyakov
More... almost 10 years ago
Add additional test cases to check async postconditions.
Sergey Teplyakov
More... almost 10 years ago
Reimplemented AsyncClosure to use Unwrap method.
Sergey Teplyakov
More... almost 10 years ago
Reimplemented AsyncClosure to use Unwrap method.
Sergey Teplyakov
More... almost 10 years ago
Reformat code in Abstract Domains
Francesco Logozzo
More... almost 10 years ago
Reformat linked code in ClousotTests
Francesco Logozzo
More... almost 10 years ago
Reformat code in ClousotCacheTests
Francesco Logozzo
More... almost 10 years ago
Reformat code in ClousotTestHarness
Francesco Logozzo
More... almost 10 years ago
Reformat code in ClousotTests
Francesco Logozzo
More... almost 10 years ago
Add all test sources
Sam Harwell
More... almost 10 years ago
Use Tests.cs instead of v.cs
Sam Harwell
More... almost 10 years ago
Some code depends on the current culture, therefore set the main thread to InvariantCulture, so everything behaves the same as in the US.
tom-englert
More... almost 10 years ago
Fix regression tests (Analyze1FromSourcesV40)
tom-englert
More... almost 10 years ago
Merge pull request #145 from sharwell/appveyor
Sergey Teplyakov
More... almost 10 years ago
Merge pull request #146 from sharwell/fix-readme
Sergey Teplyakov
More... almost 10 years ago
Additional formatting tweaks
Sam Harwell
More... almost 10 years ago
Remove the Jabbr chat room link (now using Gitter)
Sam Harwell
More... almost 10 years ago
Fix formatting of the "How to Build the Tools" section of the readme
Sam Harwell
More... almost 10 years ago
Add initial AppVeyor configuration
Sam Harwell
More... almost 10 years ago
Merge pull request #144 from SergeyTeplyakov/bugs/AsyncPostInInterf
Sergey Teplyakov
More... almost 10 years ago
Changed the comment based on PR suggestion.
Sergey Teplyakov
as Sergey Tepliakov
More... almost 10 years ago
Fix for #142. Extractor should not miss inherited preconditions
Sergey Teplyakov
as Sergey Tepliakov
More... almost 10 years ago
Switched to spaces.
Sergey Teplyakov
More... almost 10 years ago