- Notifications
You must be signed in to change notification settings - Fork 399
Simplicity #1219
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
Merged
Merged
Simplicity #1219
Changes from all commits
Commits
Show all changes
14 commits Select commit Hold shift + click to select a range
52b92b8 Cherry-pick <https://github.com/bitcoin/bitcoin/pull/27122>
roconnor-blockstream 5224c1a Exclude simplicity directory
roconnor-blockstream f502c24 Squashed 'src/simplicity/' content from commit 86ac0f92c4
roconnor-blockstream 8760cdd Merge commit 'f502c24196d23b74c2c402911ecc3a6839101557' as 'src/simpl…
roconnor-blockstream d5ad21b Lint simplicity subtree
roconnor-blockstream 28553fd Add Simplicity to the build system.
roconnor-blockstream 6c69253 Add MSVC build configuration for libelementssimplicity
roconnor-blockstream 50916cf simplicity: enable coverage in configure.ac
delta1 96fb8f5 Store hash_genesis_block in PrecomputedTransactionData.
roconnor-blockstream 1698454 Add Simplicity verification
roconnor-blockstream bcd508f Add Simplicity Deployment structure
roconnor-blockstream afee926 Simplicity Functional Tests.
roconnor-blockstream 4ca2411 Asset tests: Parse Elements script errors
roconnor-blockstream 5088360 Asset tests: Check script error
uncomputable File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
38 changes: 38 additions & 0 deletions 38 build_msvc/libelementssimplicity/libelementssimplicity.vcxproj
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,38 @@ | ||
| <?xml version="1.0" encoding="utf-8"?> | ||
| <Project DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003"> | ||
| <Import Project="..\common.init.vcxproj" /> | ||
| <PropertyGroup Label="Globals"> | ||
| <ProjectGuid>{ABAE25F0-D700-46E1-9EF6-5D6DDFCF8B26}</ProjectGuid> | ||
| </PropertyGroup> | ||
| <PropertyGroup Label="Configuration"> | ||
| <ConfigurationType>StaticLibrary</ConfigurationType> | ||
| </PropertyGroup> | ||
| <ItemGroup> | ||
| <ClCompile Include="..\..\src\simplicity\bitstream.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\cmr.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\dag.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\deserialize.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\eval.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\frame.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\jets-secp256k1.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\jets.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\rsort.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\sha256.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\type.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\typeInference.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\primitive\elements\env.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\primitive\elements\exec.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\primitive\elements\elementsJets.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\primitive\elements\ops.c" /> | ||
| <ClCompile Include="..\..\src\simplicity\primitive\elements\primitive.c" /> | ||
| </ItemGroup> | ||
| <ItemDefinitionGroup> | ||
| <ClCompile> | ||
| <LanguageStandard_C>stdc11</LanguageStandard_C> | ||
| <DisableSpecificWarnings>4090;4146;4244;4715</DisableSpecificWarnings> | ||
| </ClCompile> | ||
| </ItemDefinitionGroup> | ||
| <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" /> | ||
| <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" /> | ||
| <Import Project="..\common.vcxproj" /> | ||
| </Project> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
| include simplicity/elements-sources.mk | ||
| | ||
| LIBELEMENTSSIMPLICITY = libelementssimplicity.la | ||
| noinst_LTLIBRARIES += $(LIBELEMENTSSIMPLICITY) | ||
| libelementssimplicity_la_SOURCES = $(ELEMENTS_SIMPLICITY_LIB_SOURCES_INT) $(ELEMENTS_SIMPLICITY_DIST_HEADERS_INT) $(ELEMENTS_SIMPLICITY_LIB_HEADERS_INT) | ||
| libelementssimplicity_la_CPPFLAGS = $(AM_CPPFLAGS) $(SHANI_CXXFLAGS) -I$(srcdir)/$(ELEMENTS_SIMPLICITY_INCLUDE_DIR_INT) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit. This suggestion is invalid because no changes were made to the code. Suggestions cannot be applied while the pull request is closed. Suggestions cannot be applied while viewing a subset of changes. Only one suggestion per line can be applied in a batch. Add this suggestion to a batch that can be applied as a single commit. Applying suggestions on deleted lines is not supported. You must change the existing code in this line in order to create a valid suggestion. Outdated suggestions cannot be applied. This suggestion has been applied or marked resolved. Suggestions cannot be applied from pending reviews. Suggestions cannot be applied on multi-line comments. Suggestions cannot be applied while the pull request is queued to merge. Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
In 50916cf:
Probably we didn't want to filter this. (I'm kinda surprised that the upstream libsecp is filtered. But I guess they have their own coverage analysis.)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
While we're at it, we should stick /nix/store into this list and src/include/boost. I'm not sure why we need to do this and Bitcoin doesn't (well, the answer is "NixOS") but it's harmless and helpful for Russell and me.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm a little hesitant to add nix-specific fixes here, and rather just patch the file in https://github.com/roconnor-blockstream/elements-nix/
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I've removed
src/simplicity/secp256k1from the filter as part of #1390.