Commits

Commits on Apr 17, 2023

finished editing the main fuzzing loop, able to supply the mutated program to Boogie for verification and the result can be printed to output destination
Yi-Lai-32c64d0fa
committedApr 17, 2023
modified Dafny Driver to support fuzzing, added Fuzzer.cs to DafnyCore
Yi-Lai-32c64d0fa
committedApr 17, 2023

Commits on Apr 13, 2023

added fuzz flag in Dafny Options
Yi-Lai-32c64d0fa
committedApr 13, 2023

Commits on Apr 12, 2023

Added FuzzingVerifier.csproj as a sub-project inside Dafny solution and added FuzzCommand.cs as one of the commandline Options
Yi-Lai-32c64d0fa
committedApr 12, 2023

Commits on Apr 6, 2023

Added FuzzingVerifier as a project to Dafny Solution
Yi-Lai-32c64d0fa
committedApr 6, 2023

Commits on Apr 5, 2023

Fix: Docstring for functions with ensures (dafny-lang#3847 )
MikaelMayer
committedApr 5, 2023

Commits on Apr 4, 2023

chore: Run nightly tests at 14:30 UTC (dafny-lang#3350 )
fabiomadge
committedApr 4, 2023

Commits on Apr 3, 2023

Update to Boogie 2.16.4 (dafny-lang#3832 )
keyboardDrummer
committedApr 3, 2023

Commits on Mar 31, 2023

Include loop server (dafny-lang#3830 )
keyboardDrummer
committedMar 31, 2023
Chore: Disabled a failing CI test (dafny-lang#3829 )
MikaelMayer
committedMar 31, 2023
Remove unused description.txt file (dafny-lang#3827 )
keyboardDrummer
committedMar 31, 2023

Commits on Mar 30, 2023

Fix: Highlight "inconclusive" as errors in the gutter icons (dafny-lang#3826 )
MikaelMayer
committedMar 30, 2023
Update description of --solver-plugin (dafny-lang#3799 )
keyboardDrummer
committedMar 30, 2023

Commits on Mar 29, 2023

Chore: refactors enhancement (dafny-lang#3812 )
MikaelMayer
committedMar 29, 2023
Remove %verify usage to fix nightly (dafny-lang#3817 )
keyboardDrummer
committedMar 29, 2023

Commits on Mar 28, 2023

Commits on Mar 27, 2023

Fix: Formatter consistent between command-line and VSCode (dafny-lang#3802 )
MikaelMayer
committedMar 27, 2023
Exposing --output and --spill-translation in dafny test, per Issue 3612 (dafny-lang#3769 )

committedMar 27, 2023
Hide --solver-log option (dafny-lang#3798 )
keyboardDrummer
committedMar 27, 2023

Commits on Mar 23, 2023

Restoring the build of DafnyRef.pdf (dafny-lang#3788 )

davidcok
and
davidcok
committedMar 23, 2023
fix: (Test Generation) Better Error Messages and Variable Names (dafny-lang#3711 )

Dargones
and
atomb
committedMar 23, 2023

Commits on Mar 22, 2023

Commits on Mar 21, 2023

fix brew install pandoc github action (dafny-lang#3764 )
stefan-aws
committedMar 21, 2023
Small miscellaneous edits + edits for 3614, 3481, 3298 (dafny-lang#3761 )

committedMar 21, 2023

Commits on Mar 20, 2023

fix for failing integration tests (dafny-lang#3762 )

stefan-aws
and
fabiomadge
committedMar 20, 2023

Commits on Mar 17, 2023

Commits on Mar 16, 2023