Commits

History for

Commits on Mar 5, 2024

Copy split index when cloning split (boogie-org#854 )
keyboardDrummer
authoredMar 5, 2024

Commits on Mar 1, 2024

Add a FromSeed method to IVerificationTask (boogie-org#852 )
keyboardDrummer
authoredMar 1, 2024

Commits on Feb 14, 2024

Allow /prune:0 to disable pruning (boogie-org#848 )
atomb
authoredFeb 14, 2024

Commits on Feb 2, 2024

Verification task per split (boogie-org#841 )

keyboardDrummer
and
atomb
authoredFeb 2, 2024

Commits on Jan 22, 2024

Update Version to 3.0.10 (boogie-org#837 )
Dargones
authoredJan 22, 2024

Commits on Dec 6, 2023

Fix hanging when solver exits with a non-zero exit code (boogie-org#821 )

atomb
and
keyboardDrummer
authoredDec 6, 2023

Commits on Nov 29, 2023

Fix crashes with verification coverage + counterexamples (boogie-org#817 )
atomb
authoredNov 29, 2023

Commits on Nov 20, 2023

Update version, and remove race condition (boogie-org#811 )
keyboardDrummer
authoredNov 20, 2023

Commits on Nov 16, 2023

Add smt_option attribute (boogie-org#808 )
atomb
authoredNov 16, 2023

Commits on Sep 25, 2023

Allow setting options.OutputWriter (boogie-org#788 )
keyboardDrummer
authoredSep 25, 2023

Commits on Sep 14, 2023

Update version to 3.0.4 (boogie-org#783 )
atomb
authoredSep 14, 2023

Commits on Sep 6, 2023

Fix silly concurrency bug (boogie-org#778 )
atomb
authoredSep 6, 2023

Commits on Sep 5, 2023

Structured representation for program elements (boogie-org#776 )
atomb
authoredSep 5, 2023

Commits on Aug 16, 2023

Bump version number to 3.0.1 (boogie-org#774 )
atomb
authoredAug 16, 2023

Commits on Jul 4, 2023

Update version to 3.0.0 (boogie-org#759 )
shazqadeer
authoredJul 4, 2023

Commits on Jun 8, 2023

Remove obsolete methods from LinqExtender and do further cleanup (boogie-org#748 )
keyboardDrummer
authoredJun 8, 2023

Commits on May 31, 2023

Make task scheduler code easier to understand (boogie-org#739 )
keyboardDrummer
authoredMay 31, 2023

Commits on May 19, 2023

Clean up threads from custom thread pool when disposing ExecutionEngine (boogie-org#731 )
keyboardDrummer
authoredMay 19, 2023

Commits on Apr 26, 2023

Prevent Boogie from hanging (boogie-org#719 )
keyboardDrummer
authoredApr 26, 2023

Commits on Apr 10, 2023

Bump the version number to 2.16.5 (boogie-org#714 )
keyboardDrummer
authoredApr 10, 2023

Commits on Mar 31, 2023

Use large threads for processing Boogie programs (boogie-org#710 )
keyboardDrummer
authoredMar 31, 2023

Commits on Mar 9, 2023

Bring back ReportEndVerifyImplementation (boogie-org#705 )
keyboardDrummer
authoredMar 9, 2023

Commits on Feb 23, 2023

Make verbosity settable (boogie-org#699 )
atomb
authoredFeb 23, 2023

Commits on Feb 20, 2023

Bump version to 2.16.1 (boogie-org#697 )
atomb
authoredFeb 20, 2023

Commits on Nov 28, 2022

Release version 2.16.0 (boogie-org#657 )
MikaelMayer
authoredNov 28, 2022

Commits on Oct 25, 2022

Bump version to 2.15.9 (boogie-org#642 )
atomb
authoredOct 25, 2022

Commits on Sep 30, 2022

Release version 2.15.8 (boogie-org#623 )
shazqadeer
authoredSep 30, 2022

Commits on Jul 21, 2022

Make TryRun thread safe (boogie-org#605 )
keyboardDrummer
authoredJul 21, 2022

Commits on Jun 15, 2022

Add TryRun API (boogie-org#592 )
keyboardDrummer
authoredJun 15, 2022

Commits on Jun 14, 2022

Add IsRunning property (boogie-org#591 )
keyboardDrummer
authoredJun 14, 2022

Commits on Jun 10, 2022

Replace SMTLibSolver.GetProverResponse (boogie-org#588 )
keyboardDrummer
authoredJun 10, 2022

Commits on Jun 9, 2022

Enable rerunning a cancelled ImplementationTask (boogie-org#585 )
keyboardDrummer
authoredJun 9, 2022

Commits on May 12, 2022

Add Cancel to IImplementationTask (boogie-org#573 )
keyboardDrummer
authoredMay 12, 2022

Commits on May 5, 2022

Add a verification status API (boogie-org#571 )
keyboardDrummer
authoredMay 5, 2022

Commits on May 2, 2022

Bump version to 2.15.0 and revert https://github.com/boogie-org/boogie/pull/561/files (boogie-org#570 )

keyboardDrummer
and
atomb
authoredMay 2, 2022