Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Standards/explicit module exports #54

Open
wants to merge 112 commits into
base: main
Choose a base branch
from
Open

Standards/explicit module exports #54

wants to merge 112 commits into from

Conversation

HamdalahA
Copy link

  • Explicitly export module

anton-k and others added 30 commits April 28, 2021 11:06
@anton-k
Init mlab repo. Setup build tools
a666fe9
@anton-k
Lending create draft
829df49
@Benjmhart
Merge pull request #1 from mlabs-haskell/ak/init-endpoint
e7ed7b8 
Ak/init endpoint
@anton-k
Adds validator for create endpoint for Lending
61759ab
@anton-k
Mv to stack. Finish Lendex.create endpoint stub
7cc8065
@anton-k
Defines test case for create of pool
0720f49
@anton-k
remove redundant imports
0295145
@anton-k
Fix creation tests
497edb9
@anton-k
Adds comments. Minor refactoring
77c1cf6
@anton-k
Removes redundant imports
d3df66e
@anton-k
Init state transition sketch
92447db
@anton-k
Add Bch simulation
125cc88
@Benjmhart
Merge pull request #2 from mlabs-haskell/ak/init-endpoint
6149a2e 
Ak/init endpoint
@anton-k
Implements deposit and borrow actions
679c61b
@anton-k
Implements setUserAsCollateral
35faaf5
@anton-k
Refactoring
af51d7a
@anton-k
Implements repay and withdraw
030ae99
@anton-k
Emulator actions refactoring
a09f02d
@anton-k
Adds tests for prototype
098aa5a
@anton-k
Fix conflicts with master
1ee777c
@anton-k
Merge pull request #3 from mlabs-haskell/ak/aave-logic
093d436 
Ak/aave logic
@anton-k
Pltusify core types for aave
d8a0ecc
@anton-k
Makes validation script compile to PlutusCore
74c4e9a
@anton-k
Update tests, refactoring
1e06b7c
@anton-k
Merge pull request #4 from mlabs-haskell/ak/plutus-for-aave
b2ec300 
Converts basic types to plutus, makes template for state machine wich compiles to Plutus Core
@anton-k
Implements template for forging adn adds simple unit tests
cfb8aba
@anton-k
Struggle with single thread behavior of StateMachine. Need more refin…
7479dad 
…ed tests
@anton-k
implements monetary policy validation
2b9d3ce
@anton-k
Merge pull request #5 from mlabs-haskell/ak/forge-script
5f1baeb 
Implements monetary policy script
@anton-k
Rewrite two tests to plutus unit tests
216967f
Benjmhart and others added 30 commits June 21, 2021 17:13
@Benjmhart
Merge pull request #27 from mlabs-haskell/standards-document
72ca738 
[WIP] Standards document
@jozanek
Update intendation, support more shells.
e765abc
@Benjmhart
Merge pull request #28 from mlabs-haskell/support_more_shells
145bae6 
Update intendation, support more shells.
Fix typo
b234601
@jozanek @cstml
Update intendation, support more shells.
2667bd9
@cstml
update: added README TOC generation to makefile
5f60c00
@cstml
init: created README with initial structure
0bef02b
@cstml
update: added description to
95de4f8
@nrutledge
Update STANDARDS doc with latest changes from Koz
c59726a
@nrutledge
Merge pull request #43 from mlabs-haskell/standards-update
96227ca 
Update STANDARDS doc with latest changes from Koz
@stackBlock
install process work
817d7bb 
I have documented the install process up to the point that it works... there are some errors that need to be ironed out the we are having during the installation - There are some work arounds but I want to try to get it working the correct way.  
I implemented a new virtual machine and ran through the install process as I wrote this to make sure that everything up until running `make build` worked correctly. 
I just saw that @Benjmhart advised that we are keeping everything in this repo and I believe there is also a ticket in with IOHK to solve some of these issues. I will get with Ben and see how he wants me to proceed.
@jozanek
Run HLS from nix-shell.
6f833c3
@cstml
update: added TODO: tag + small changes
5a2b769 
- easily track incomplete information by looking for the TODO: tag.
@cstml
update: add links to specifications
75f029c
@cstml
update: remove typo
64ab8c0
@Benjmhart
Merge pull request #44 from mlabs-haskell/jozef/introduce_hls_inside_nix
bfbfa5a 
introduce hls inside nix
@cstml
Merge branch 'main' into documentation
cbe73e8
@cstml
update: added tests coverage
dfc82b5
@cstml
update: added descriptions + reformatted a few bash entries.
ee04101
@cstml
update: added lendex-demo repl command
83918d1
@cstml
update: wrote down the APIs, descriptions left to do
7fb27c9
@cstml
update: API description added
7369201
@cstml
update: clean-up
9e89fe3
@cstml
Merge branch 'main' into documentation.
113b79d
@cstml
Merge pull request #34 from mlabs-haskell/documentation
192445c 
Documentation
Add a simple deposit property-based test
9c0e56f 
Generalize `Logic` deposit script test
for `Lending` demo over deposit amounts
@Benjmhart
resolving conflicts
e756ee2
@Benjmhart
resolving conflicts
cfb51df
@Benjmhart
Merge pull request #56 from mlabs-haskell/prutz/qctests
7a42870 
Add QuickCheck-based tests for `Lending` demo
explictly export modules in files without current exports
c9ab207
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
7 participants
@HamdalahA @anton-k @Benjmhart @nrutledge @jozanek @cstml @stackBlock