issues
search
coq-community
/
chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
MIT License
32
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
compatibility with 8.19 and beyond
#31
palmskog
closed
11 months ago
0
Purge old boilerplate
#30
palmskog
closed
1 year ago
0
Dune fixes and 8.18 in CI
#29
palmskog
closed
1 year ago
0
Fix deprecations, update boilerplate
#28
palmskog
closed
1 year ago
0
Fix 8.16 deprecations
#27
palmskog
closed
1 year ago
0
Coq 8.15 in CI, hint locality everywhere, consistent Require Import
#26
palmskog
closed
2 years ago
0
Refresh nix ci configuration
#25
palmskog
closed
3 years ago
0
Update nix-action to latest version of the new template.
#24
Zimmi48
closed
3 years ago
2
switch to updated Nix CI configuration
#23
palmskog
closed
3 years ago
0
Remove or localize most hints
#22
palmskog
closed
3 years ago
0
Unix.Unix_error while running ./batchrundetach
#21
SuperLeilia
opened
3 years ago
4
fix 8.13 deprecations, 8.13 ci, nix ci
#20
palmskog
closed
3 years ago
0
check dependent packages in CI
#19
palmskog
closed
4 years ago
1
switch to GitHub Actions CI
#18
palmskog
closed
4 years ago
0
Remove UTF-8 use and local functional extensionality axiom
#17
palmskog
closed
4 years ago
0
Full Dune-based builds
#16
palmskog
closed
4 years ago
0
update CI for 8.12 and drop support for 8.9
#15
palmskog
closed
4 years ago
0
Regenerate files from latest templates.
#14
Zimmi48
closed
4 years ago
0
switch to dune in OPAM file, refresh from templates
#13
palmskog
closed
4 years ago
0
Proof using
#12
palmskog
closed
4 years ago
0
Compatibility with 8.11
#11
palmskog
closed
4 years ago
0
remove old library
#10
palmskog
closed
5 years ago
0
templating with extracted builds
#9
palmskog
closed
5 years ago
0
Fix OCaml compilation
#8
palmskog
closed
5 years ago
0
OCaml compilation of extracted code is broken
#7
palmskog
closed
5 years ago
0
update documentation and files from templates
#6
palmskog
closed
5 years ago
0
Port to Coq 8.9 and master, add metadata
#5
palmskog
closed
5 years ago
0
Packet drop prevents clients from reading updates
#4
pfons
opened
8 years ago
1
Message duplication and reordering causes violation of causal consistency
#3
pfons
opened
8 years ago
1
Large requests cause data corruption because of UDP message size limit
#2
pfons
opened
8 years ago
1
Incorrect assertion in client prog_photo_upload
#1
pfons
closed
8 years ago
0