Skip to content
GitLab
Explore
Sign in
Register
Robert Mourey Jr
cardano-ledger-specs
Repository
Branches
Overview
Active
Stale
All
delegation-review-aikaterina
eccb2fad
·
slight change in monetary expansion calculation; added code to determine rho
·
Apr 10, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
non-integral/reference/standardize
ff0df7fa
·
Add `uint64_t` conversion and threshold comparison function
·
May 10, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
shelley/converge_formal_exec_spec
08157c58
·
[skip ci] Update `org-mode` file
·
May 27, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dcoutts/native-multisig
3e2a7ffd
·
Add a sample native multisig term language
·
Jun 17, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
shelley/demo/multi-sig
08158f62
·
Adapt imports to new structure
·
Jul 25, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
shelley/non_integral/reference/PoC_linear_approx
0815278a
·
Add linear upper bound approximation for Praos leader election
·
Sep 10, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
spec/consensus-integration-kh
0a0a61d2
·
updated authors
·
Oct 30, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
spec/consensus-integration
0527f428
·
update email addresses
·
Oct 31, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mhuesch/example_bad_shrink_heap_exhaustion
c969fa5a
·
Example of bad shrink with heap exhaustion.
·
Oct 31, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mhuesch/RetirePool_example_slow_shrink
02482285
·
WIP: example of failing property with poor shrink
·
Nov 08, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
spec/properties
6cf2ac4e
·
minor
·
Nov 13, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mhuesch/hedgehog_bug_property
06c027e1
·
evalGen property: use forked remote for reproducible builds
·
Nov 18, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
spec/incentives-cleanup-kh
b9becb15
·
small edits
·
Nov 26, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
edsko/improve-error
e91663d8
·
WIP: Improve the PBFT error message
·
Jan 21, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
shelley/fix/compile_with_profiling
adacdc0a
·
Split PParams `fromCBOR` into 1st and 2nd part
·
Jan 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
edsko/debug/gentx
d4dac07b
·
Debug tx generation
·
Jan 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
nfrisby/minor-edits
96764770
·
DO NOT MERGE inline question about non-MSig scripts
·
Mar 13, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
angerman/no-goblins
f7f741c6
·
Goblins, make them optional
·
May 15, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ts-reapply
ffb9f597
·
Commented code, added reapplySTS.
·
May 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jordan/make-failures-clearer
e1629b8a
·
Add comments to VRF Predicatefailures
·
May 21, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
…
8
Next