Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • op_codes_implementation
  • wip
3 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.08Apr21Apr20135424Mar23222120171662127Feb242322171615141387632131Jan2725README: update instructionsmainmainDocker supportTo ease pandas interaction add function '<' to Satisfiability enumFix typo: Satifiability to SatisfiabilityAdapt tests to previous commitAdd utils to compute number of paths in a programBTC Symbolic interpreterBTC Symbolic EXecution: Minor changesAdd versbose to BTC symbolic interpreterBTC Machine:Revert "Remove the constraint on the hash values."Remove the constraint on the hash values.BTC ParserFixBlack formattingModification of OP_CHECKMULTISIG to remove some FPs and FNsSymbolic interpreterMore tests for the symbolic executionFixesTests:BTC ParserWIP Branch - To move work in progress between 2 computerswipwipBTC Language: FixesBtc MachineBTC LanguageBTC LanguageArithmetic Operator:BTC Language[BTC Language] Raise an error when an invalid opcode is encountered.[BTC Language] OP_CHECKSIG implementation.[BTC Language] OP_CHECKSEQUENCEVERIFY implementation[BTC Language] Hash operators implementation bis[BTC Language] Bug fix[Symbolic Memory] Bug fixes[BTC Language] Add test for OP_FALSE[BTC Language] Fix string interpretationBlack formatting[BTC Language] Hash functions implemented.[BTC Language] Fix typo, bool are encoded onver 1 byte, not 8.[BTC Language] OP_CHECKLOCKTIME implementation