Ecosyste.ms: Issues

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

GitHub / distributedcomponents/verdi-chord issues and pull requests

#34 - Unprovable list lemma split_of_app_right

Issue - State: open - Opened by palmskog over 6 years ago - 1 comment

#33 - Serialized Chord

Pull Request - State: closed - Opened by palmskog almost 7 years ago

#32 - Initial succ lists all principal

Pull Request - State: closed - Opened by dwoos almost 7 years ago

#31 - proofalytics permalinks to code broken by hyphens

Issue - State: open - Opened by hackedy about 7 years ago

#30 - Use docker to run Travis tests

Pull Request - State: closed - Opened by mernst about 7 years ago - 1 comment

#29 - Optimized Travis builds

Pull Request - State: closed - Opened by palmskog over 7 years ago

#28 - Change to correct_succs

Pull Request - State: closed - Opened by dwoos over 7 years ago - 1 comment

#27 - Coq 8.7 compatibility

Pull Request - State: closed - Opened by palmskog over 7 years ago

#26 - Nondeterministic crashes in extracted program

Issue - State: open - Opened by palmskog over 7 years ago - 1 comment

#25 - Extracted timeout_eq_dec is more than 37k lines

Issue - State: closed - Opened by palmskog over 7 years ago

#24 - Proper flushing of log output

Issue - State: closed - Opened by palmskog over 7 years ago

#23 - Reorg files

Pull Request - State: closed - Opened by palmskog over 7 years ago

#22 - Move things into Chord.v

Pull Request - State: closed - Opened by dwoos over 7 years ago - 1 comment

#21 - 8.6 compatibility

Pull Request - State: closed - Opened by dwoos over 7 years ago

#20 - use local OPAM files in Travis jobs

Pull Request - State: closed - Opened by palmskog over 7 years ago

#19 - adjust to OPAM-based Verdi and Verdi Runtime

Pull Request - State: closed - Opened by palmskog about 8 years ago

#18 - Shim requires IP addresses and won't do DNS lookup

Issue - State: closed - Opened by hackedy about 8 years ago - 1 comment

#17 - fix chord makefile after OCaml fileset separation

Pull Request - State: closed - Opened by palmskog about 8 years ago

#16 - Turn sections into modules or just get rid of them

Pull Request - State: closed - Opened by hackedy about 8 years ago

#15 - extracted files PHONY in main Makefile

Pull Request - State: closed - Opened by palmskog about 8 years ago

#14 - Unit tests

Issue - State: open - Opened by palmskog about 8 years ago

#13 - fix parallel make compilation for extracted files

Pull Request - State: closed - Opened by palmskog about 8 years ago

#12 - Add OCaml files to Makefile.coq

Pull Request - State: closed - Opened by palmskog about 8 years ago

#11 - Use verdi Util for more things in extraction

Pull Request - State: closed - Opened by hackedy about 8 years ago

#10 - migrate to usual OPAM Travis build of Coq and friends

Pull Request - State: closed - Opened by palmskog about 8 years ago

#9 - remove extraction-related files that live in Verdi

Pull Request - State: closed - Opened by palmskog about 8 years ago

#9 - remove extraction-related files that live in Verdi

Pull Request - State: closed - Opened by palmskog about 8 years ago

#8 - notations + section variables are janky

Issue - State: closed - Opened by hackedy about 8 years ago - 1 comment

#7 - Pull out reusable Ocaml and put it in uwplse/verdi

Issue - State: closed - Opened by hackedy about 8 years ago

#6 - Don't duplicate extraction files from verdi repo

Issue - State: closed - Opened by hackedy about 8 years ago - 1 comment

#5 - Put core/ into Verdi namespace

Issue - State: closed - Opened by hackedy about 8 years ago

#4 - Prove valid pointer invariant in semantics w/ clients

Issue - State: open - Opened by hackedy about 8 years ago

#3 - Write a client for the lookup protocol

Issue - State: closed - Opened by hackedy about 8 years ago - 1 comment

#3 - Write a client for the lookup protocol

Issue - State: closed - Opened by hackedy about 8 years ago - 1 comment

#2 - Integration tests

Issue - State: open - Opened by hackedy about 8 years ago

#1 - Set up Travis & README.md

Pull Request - State: closed - Opened by hackedy about 8 years ago