Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support all option types in the project file #4506

Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
0beaffb
Support all option types in the project file
keyboardDrummer Sep 1, 2023
4946ac6
Merge branch 'master' into supportAllOptionTypesInProjectFile
keyboardDrummer Sep 7, 2023
7a6914d
Add release note and fix path resolution in Dafny project file
keyboardDrummer Sep 7, 2023
81c7863
Merge branch 'supportAllOptionTypesInProjectFile' of github.com:keybo…
keyboardDrummer Sep 7, 2023
8b3b1ee
Merge branch 'master' into supportAllOptionTypesInProjectFile
keyboardDrummer Sep 7, 2023
32c61ba
Merge branch 'master' into supportAllOptionTypesInProjectFile
keyboardDrummer Sep 7, 2023
e913591
Fixes for using library in options
keyboardDrummer Sep 8, 2023
c89fd32
Update release notes
keyboardDrummer Sep 8, 2023
327817f
Merge branch 'master' into supportAllOptionTypesInProjectFile
keyboardDrummer Sep 8, 2023
8df76c8
Run formatter
keyboardDrummer Sep 8, 2023
9e29a2a
Merge branch 'supportAllOptionTypesInProjectFile' of github.com:keybo…
keyboardDrummer Sep 8, 2023
7dde794
More fixes
keyboardDrummer Sep 8, 2023
19ca042
Merge branch 'master' into supportAllOptionTypesInProjectFile
keyboardDrummer Sep 8, 2023
177f6cb
Trigger CI
keyboardDrummer Sep 10, 2023
3146dc2
Merge branch 'supportAllOptionTypesInProjectFile' of github.com:keybo…
keyboardDrummer Sep 10, 2023
e6a4a50
usesLibrary test now passes
keyboardDrummer Sep 11, 2023
d52dd2c
Merge branch 'master' into supportAllOptionTypesInProjectFile
keyboardDrummer Sep 11, 2023
e7c0a23
Merge branch 'master' into supportAllOptionTypesInProjectFile
keyboardDrummer Sep 11, 2023
282a0ec
Merge branch 'master' into supportAllOptionTypesInProjectFile
keyboardDrummer Sep 11, 2023
5e499c2
Make test more stable
keyboardDrummer Sep 12, 2023
bbab8ae
Merge branch 'master' into supportAllOptionTypesInProjectFile
keyboardDrummer Sep 12, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add release note and fix path resolution in Dafny project file
  • Loading branch information
keyboardDrummer committed Sep 7, 2023
commit 7a6914d09d0ccc4eba014eb73a22e58f04a1f09d
3 changes: 3 additions & 0 deletions Source/DafnyCore/Options/DafnyProject.cs
Original file line number Diff line number Diff line change
Expand Up @@ -139,7 +139,10 @@ public class DafnyProject : IEquatable<DafnyProject> {
return false;
}

var previousWorkingDirectory = Directory.GetCurrentDirectory();
Directory.SetCurrentDirectory(Path.GetDirectoryName(Uri.LocalPath));
var parseResult = option.Parse(new[] { option.Aliases.First(), tomlValue });
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This will parse the project file options in the same way as the CLI parses them, so there won't be any discrepancy any more.

Directory.SetCurrentDirectory(previousWorkingDirectory);
if (parseResult.Errors.Any()) {
value = null;
return false;
Expand Down
1 change: 1 addition & 0 deletions docs/dev/news/4506.fix
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Support all types of options in the Dafny project file (dfyconfig.toml)