Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / logsem/clutch issues and pull requests

#46 - Coneris examples

Pull Request - State: open - Opened by hei411 about 2 months ago

#45 - Coneris flip

Pull Request - State: closed - Opened by hei411 2 months ago

#44 - Coneris impl3

Pull Request - State: closed - Opened by hei411 2 months ago

#43 - Coneris hocap

Pull Request - State: closed - Opened by hei411 2 months ago

#42 - Coneris wp

Pull Request - State: closed - Opened by hei411 3 months ago

#41 - Concurrent hash

Pull Request - State: closed - Opened by hei411 4 months ago

#40 - Parallel add

Pull Request - State: closed - Opened by hei411 4 months ago

#39 - Concurrency

Pull Request - State: closed - Opened by hei411 4 months ago

#38 - Error credits as reals rather than nonnegreal

Pull Request - State: closed - Opened by simongregersen 6 months ago

#37 - Lift the no-value restriction for Paris

Pull Request - State: closed - Opened by simongregersen 6 months ago

#36 - Errorful logical relation with adequacy

Pull Request - State: closed - Opened by alejandroag 6 months ago

#35 - Eris safety

Pull Request - State: closed - Opened by hei411 6 months ago

#34 - use mathcomp docker image for CI

Pull Request - State: closed - Opened by simongregersen 6 months ago

#33 - update dependencies

Pull Request - State: closed - Opened by simongregersen 6 months ago

#32 - Lift "no-value" restriction for RHS Clutch rules

Pull Request - State: closed - Opened by simongregersen 6 months ago

#31 - B tree

Pull Request - State: closed - Opened by hei411 6 months ago

#30 - Adding lemmas about injectivity

Pull Request - State: closed - Opened by hei411 7 months ago

#29 - Big state step

Pull Request - State: closed - Opened by hei411 7 months ago

#28 - Proposal: Remove ctx for app rel logic

Pull Request - State: closed - Opened by hei411 8 months ago

#27 - Tetris

Pull Request - State: closed - Opened by hei411 8 months ago

#26 - Cleanup Eris

Pull Request - State: closed - Opened by hei411 9 months ago - 1 comment

#25 - Reducible

Pull Request - State: closed - Opened by hei411 9 months ago

#24 - change to stutter step

Pull Request - State: closed - Opened by markusdemedeiros 9 months ago

#23 - Upgrade to Coq 8.18

Pull Request - State: closed - Opened by haselwarter 10 months ago

#22 - Single stutter merge

Pull Request - State: closed - Opened by markusdemedeiros 10 months ago

#21 - Improve case study of merkle_tree example

Pull Request - State: closed - Opened by hei411 10 months ago

#20 - Spec for writing a tree into unreliable memory

Pull Request - State: closed - Opened by hei411 10 months ago

#19 - Exec modality stutter step

Pull Request - State: closed - Opened by markusdemedeiros 10 months ago

#18 - Amortized hash non resizing

Pull Request - State: closed - Opened by hei411 10 months ago

#17 - Map list

Pull Request - State: closed - Opened by hei411 10 months ago

#16 - Twp

Pull Request - State: closed - Opened by hei411 10 months ago

#15 - Series c inj

Pull Request - State: closed - Opened by hei411 10 months ago

#14 - Sampler examples refactor

Pull Request - State: closed - Opened by markusdemedeiros 10 months ago

#13 - Twp strengthening adequacy

Pull Request - State: closed - Opened by hei411 10 months ago

#12 - Twp

Pull Request - State: closed - Opened by hei411 10 months ago

#12 - Twp

Pull Request - State: closed - Opened by hei411 10 months ago

#11 - Twp

Pull Request - State: closed - Opened by hei411 10 months ago

#10 - Twp

Pull Request - State: closed - Opened by hei411 10 months ago

#9 - Approximate rejection sampler examples

Pull Request - State: closed - Opened by markusdemedeiros 11 months ago

#8 - Rand adv

Pull Request - State: closed - Opened by hei411 11 months ago

#8 - Rand adv

Pull Request - State: closed - Opened by hei411 11 months ago

#7 - UB Tapes + Planner Rule (reducibility in WP)

Pull Request - State: closed - Opened by markusdemedeiros 11 months ago

#6 - Support for presampling tapes in the UB logic

Pull Request - State: closed - Opened by markusdemedeiros 11 months ago

#5 - Continuity property of ub_lift

Pull Request - State: closed - Opened by hei411 12 months ago - 2 comments

#4 - Planner Rule

Pull Request - State: closed - Opened by markusdemedeiros 12 months ago - 2 comments

#3 - Coupon collector

Pull Request - State: closed - Opened by hei411 12 months ago

#2 - Proving converse of the equivalence of contextual refinement definitions

Pull Request - State: closed - Opened by hei411 about 1 year ago - 1 comment

#1 - Example: approximate rejection samplers

Pull Request - State: closed - Opened by markusdemedeiros about 1 year ago - 1 comment