Joosep Jääger

I have a suspicion that some apps might be able to detect fake GPS providers by comparing two previous locations. By moving the location around by a small random amount...

Panic when using check_for_event

11

I tried to use the `check_for_event` function, but got this error: ``` 32bits font... checking for alpha layer... not present key color : 0 0 0 thread 'main' panicked at...

The Arch User Repository does not permit packages that do not have a license that permits distribution of the program. Currently this project does not have a license, meaning it...

# Description # Checklist - [ ] Commit sequence broadly makes sense and commits have useful messages - [ ] Code is formatted according to [CONTRIBUTING.md](https://github.com/input-output-hk/formal-ledger-specifications/blob/master/CONTRIBUTING.md) - [ ] Self-reviewed...

Added a helper script for bumping the executable spec repo

1

# Description This PR adds a script that builds the executable script Haskell library and copies all the files to the `cardano-ledger-executable-spec` repo. This will partially automate the bumping the...

The `minUTxOValue` field was removed from `PParams` some eras ago, so it shouldn't be in Conway PParams.

- [ ] Rename `VDeleg` to `DRep` - [ ] Rename `credVoter` to `drepCredential` - [ ] Rename `abstainRep` to `drepAlwaysAbstain` - [ ] Rename `noConfidenceRep` to `drepAlwaysNoConfidence` - [...

- [ ] Add support for inline datums - [x] Add withdrawals - [x] Add more rules to MAlonzo - [x] Add error messages when a computational rule fails

- [ ] NewEpoch - [x] #4381

Improve constrained generators of votes

1

The constrained generator for votes in the `GovActionState` in the `RATIFY` rule generates mostly invalid votes. The generators need to be biased more strongly towards generating valid votes. The problem...