dapphub/k-dss issues and pull requests

#50 - `make` fails with a type error in internal/fs/utils.js

Issue - State: closed - Opened by pirapira about 5 years ago - 3 comments

#49 - Update README.md

Pull Request - State: open - Opened by abbey-titcomb over 5 years ago

#48 - Performative confessional condolences

Pull Request - State: open - Opened by livnev over 5 years ago - 1 comment

#47 - wow let's formally verify the solc optimizer

Pull Request - State: open - Opened by livnev over 5 years ago - 2 comments

#46 - Installation issues

Issue - State: open - Opened by garbervetsky over 5 years ago

#45 - Update config for new combined dapp build output

Pull Request - State: closed - Opened by wolflo over 5 years ago - 1 comment

#44 - Formal professional services

Pull Request - State: closed - Opened by rainbreak over 5 years ago - 6 comments

#43 - lemmas; how I think they should be

Pull Request - State: closed - Opened by MrChico over 5 years ago - 1 comment

#42 - Dai.permit: new sleek symecrec format

Pull Request - State: closed - Opened by MrChico over 5 years ago

#41 - can i haz a solc version freeze plz :(

Issue - State: closed - Opened by mhhf over 5 years ago - 4 comments

#40 - Asm frob

Pull Request - State: closed - Opened by MrChico over 5 years ago

#39 - exciting new developments etc

Pull Request - State: closed - Opened by rainbreak over 5 years ago - 1 comment

#38 - How does storage work lets find out

Pull Request - State: closed - Opened by rainbreak over 5 years ago

#37 - lemmas: for mului

Pull Request - State: closed - Opened by MrChico almost 6 years ago - 1 comment

#36 - new dev work

Pull Request - State: closed - Opened by mhhf almost 6 years ago

#35 - Brave new specs

Pull Request - State: closed - Opened by livnev almost 6 years ago - 1 comment

#34 - Test against CONSTANTINOPLE semantics

Issue - State: closed - Opened by livnev about 6 years ago

#33 - latest development version (Lev)

Pull Request - State: closed - Opened by livnev about 6 years ago - 1 comment

#32 - Deal with implicitly distinct storage keys

Issue - State: closed - Opened by livnev over 6 years ago - 2 comments

#31 - delete unnecessary lemma (and more cosmetics)

Pull Request - State: closed - Opened by livnev over 6 years ago

#30 - latest WIP branch

Pull Request - State: closed - Opened by livnev over 6 years ago

#30 - latest WIP branch

Pull Request - State: closed - Opened by livnev over 6 years ago

#29 - More docs

Pull Request - State: closed - Opened by MrChico over 6 years ago - 2 comments

#28 - catch up to latest implementations

Pull Request - State: closed - Opened by livnev over 6 years ago

#27 - Import calls

Pull Request - State: closed - Opened by MrChico over 6 years ago

#26 - CallDepth, Makefile with persistent working dir, other make targets

Pull Request - State: closed - Opened by livnev over 6 years ago

#25 - Higher level goal: Striving to eliminate non-standard models of `dss`

Issue - State: open - Opened by MrChico over 6 years ago

#24 - Verification of set up process / authorization exhaustiveness

Issue - State: open - Opened by MrChico over 6 years ago - 8 comments

#23 - Solidity

Pull Request - State: closed - Opened by MrChico over 6 years ago - 1 comment

#22 - Call depth rebased

Pull Request - State: closed - Opened by livnev over 6 years ago - 4 comments

#21 - CI: doesn't always report success to Github

Issue - State: closed - Opened by livnev over 6 years ago
Labels: bug, CI

#20 - latest behaviours (most of Vow, Cat)

Pull Request - State: closed - Opened by livnev over 6 years ago

#19 - Prove invariants with `ensures`

Issue - State: open - Opened by MrChico over 6 years ago
Labels: enhancement

#18 - dss.md: Added CallDepth to iff clauses, minor fix in Join.exit functions

Pull Request - State: closed - Opened by MrChico over 6 years ago - 3 comments

#17 - many new passing behaviours

Pull Request - State: closed - Opened by livnev over 6 years ago

#16 - One last spec to show that behaviours are exhaustive

Issue - State: open - Opened by livnev over 6 years ago
Labels: enhancement

#15 - Makefile: add Vow, Pit, Cat, GemJoin, DaiJoin to make proofs prerequi…

Pull Request - State: closed - Opened by livnev over 6 years ago - 1 comment

#14 - branch targeting dss master (solidity implementations)

Pull Request - State: closed - Opened by livnev over 6 years ago - 1 comment

#13 - new klab specification format, streamlined builds, reorganise

Pull Request - State: closed - Opened by livnev over 6 years ago

#12 - Handling of necessary and sufficient gas conditions

Issue - State: closed - Opened by livnev over 6 years ago - 1 comment
Labels: enhancement

#11 - Lev pr

Pull Request - State: closed - Opened by MrChico over 6 years ago

#10 - catch up to latest implementation

Pull Request - State: closed - Opened by livnev over 6 years ago - 3 comments

#9 - abi2specs: `ABI_` prefixing can be overzealous

Issue - State: closed - Opened by livnev over 6 years ago - 2 comments

#8 - big update to catch up to latest dss

Pull Request - State: closed - Opened by livnev over 6 years ago - 2 comments

#7 - rebased PR#6

Pull Request - State: closed - Opened by livnev over 6 years ago - 3 comments

#6 - Pr

Pull Request - State: closed - Opened by MrChico over 6 years ago - 8 comments

GitHub / dapphub/k-dss issues and pull requests