Skip to content

Commit f842edb

Browse files
MaximilianAlgehedMaximilianAlgehed
committed
Migrate constrained-generators to its own repo
1 parent 2f7b3dd commit f842edb

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

50 files changed

+5
-17557
lines changed

‎cabal.project‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,11 @@ source-repository-package
1818
-- MAKE SURE THIS POINTS TO A COMMIT IN `*-artifacts` BEFORE MERGE!
1919
tag: 28d3fd4876bbfa347f5eb89a6b70ee15dc9b327f
2020

21+
source-repository-package
22+
type: git
23+
location: https://github.com/input-output-hk/constrained-generators.git
24+
tag: 35b625eaeaa0953710c0a07add0673fdde5fa052
25+
2126
-- NOTE: If you would like to update the above,
2227
-- see CONTRIBUTING.md#to-update-the-referenced-agda-ledger-spec
2328
index-state:

‎libs/constrained-generators/CHANGELOG.md‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎libs/constrained-generators/bench/Constrained/Bench.hs‎

Lines changed: 0 additions & 55 deletions
This file was deleted.

‎libs/constrained-generators/bench/Main.hs‎

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎libs/constrained-generators/constrained-generators.cabal‎

Lines changed: 0 additions & 168 deletions
This file was deleted.

‎libs/constrained-generators/examples/Constrained/Examples.hs‎

Lines changed: 0 additions & 8 deletions
This file was deleted.

0 commit comments

Comments
 (0)