Update src/Ledger/Conway/Specification/Gov/Actions.lagda.md
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Currently using ghc-9.14.0.20251007.
* Switch CI eval to `aarch64-darwin` * Disable TH tests for Windows and Android * Just test a small subset of the full CI * Disable hydraJobs.nix-tools * Trigger some IFDs * Trigger some IFDs * Trigger some IFDs * Trigger some IFDs * Trigger some IFDs * Turn all the CI back on * Disable test broken on current CI * Disable tests broken on current CI * Bump nixpkgs * Remove dependencies on old nixpkgs ghc versions * Fix for macOS * Fix for android tests * Possible fix for wasm issue * Update wasm to llvm 21 * Ignore test broken by upgrading warning to error * Expect error not warning for llvm test * Expect error not warning for llvm test * Bump nixpkgs * Use latest llvm * Use llvm <21 for now * Use nixpkgs 25.05 for older llvm versions * Use pkgsBuildBuild.nodejs (not buildPackages.nodejs) * Use llvm <20 for now * nix flake update nixpkgs-unstable * Disable broken tests * Use $out/build for GHC builds * Disable broken tests * Fix warning * Fix for wasm
- Added Account struct in account.rs with minicbor Decode trait - Implemented DRep enum for governance delegation (Key/Script/Abstain/NoConfidence) - Added DState parsing to extract 1.41M stake accounts from Conway snapshot - Parse UMap structure containing BTreeMap<StakeCredential, Account> - Extract rewards, SPO delegations, and DRep delegations from accounts - Convert ledger Account (StrictMaybe) to API AccountState (Option) - Successfully tested parsing 11.2M UTXOs, 3,095 pools, 1.41M accounts, 278 DReps - Performance: ~2.2M UTXOs/second, ~5.1 second total parse time The implementation uses the existing Account type from account.rs with proper CBOR structure matching Cardano's DState format. Zero rewards and zero UTXOs are expected for many stake accounts (registered but inactive, withdrawn rewards, or newly created accounts). Accounts with non-zero rewards and pool delegations confirm the parsing is working correctly.
From https://github.com/cardano-scaling/haskell-accumulator at bb606b4b17dafd90d6fae79a761c2b781d7b904c
• Add rust-accumulator as a flake input and wire into outputs • Expose librust_accumulator via overlay • Extend haskell-nix extraPkgconfigMappings to include librust_accumulator • Set extraPkgconfigMappings in nix/builder.nix to enable linking via pkg- config
Bumps [chromedriver](https://github.com/giggio/node-chromedriver) from 141.0.1 to 141.0.3. - [Commits](https://github.com/giggio/node-chromedriver/compare/141.0.1...141.0.3) --- updated-dependencies: - dependency-name: chromedriver dependency-version: 141.0.3 dependency-type: direct:development update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>