Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
tchajed/audiobook-splitting 11
Splitting audiobooks by chapter
Lab assignments for 6.826
DaisyNFS is an NFS server verified using Dafny and Perennial.
Reasoning about finite type cardinality in Coq
Repository containing files for use in the ECE PULSE 2013 Software Competition
Analysis of the 100 game
6.073 Project 2
jtassarotti/iris-inv-hierarchy 0
Iris concurrency framework with a stratified hierarchy of invariants
push eventmit-pdos/perennial
commit sha a6aa202b103401c4dc6107f6e889188e6c07b3f4
update Iris and std++
push time in 9 hours
push eventmit-pdos/perennial
commit sha 89d55f59a6609324760119df87cbdff09116dad7
prove waking up all doomed calls
commit sha 8d8e50d7c2cdf587bded3a3dbca9af26333dcf5f
avoid unnecessarily timing out when replyThread abort races with call
push time in 18 hours
startedlemmy/ewd998
started time in 18 hours
push eventmit-pdos/perennial
commit sha 18387c1e53bbac1156ae4dcf265ae18a68400538
Checkpoint improvements to pri inv and later res
commit sha 7bd90535788e2de03863360be025c191edf21a3a
Init rule for new staged invariants model
push time in a day
push eventGLaDOS-Michigan/summer-school-2020
commit sha 8c6846cac0dbe4a3e4d88a31f106dcc18901afb6
Cleaned up version of leader election
push time in a day
push eventGLaDOS-Michigan/summer-school-2020
commit sha dc07b73094e2a98936d6b07e4fcf33cd9ec7a70e
Unclean versionof leader election before cleanup
push time in a day
push eventmit-pdos/perennial
commit sha 8d8e50d7c2cdf587bded3a3dbca9af26333dcf5f
avoid unnecessarily timing out when replyThread abort races with call
push time in a day
push eventmit-pdos/gokv
commit sha ae0487d29738be2c0799a394655ee93b929d5ce8
make sure callbacks know when they got aborted
commit sha 80aafe81e4b6509bfeab1aabc6f837ec3b14af4e
fix old comment
commit sha 3857fd7a89ce3c9b7713e14cf29bf6d564826783
Merge branch 'main' of github.com:mit-pdos/gokv
push time in a day
push eventGLaDOS-Michigan/summer-school-2020
commit sha d13a76e4c8d694b42d80f4b44f1da7621d141f44
progress on leader election before angry deletion
commit sha 0356bfbaecd9a14ea141e4f5088c68a353e9799a
we're still stuck
push time in a day
push eventmit-pdos/gokv
commit sha de5afc93e067e28fa68d3f432d90069c291acb66
Fixed bug in utproxy.Put
push time in 2 days
push eventmit-pdos/perennial
commit sha 89d55f59a6609324760119df87cbdff09116dad7
prove waking up all doomed calls
push time in 2 days
push eventmit-pdos/gokv
commit sha c73a3e5e203fe7e944e1a2a2621445305d33f2c5
wake up pending requests when RPC client goes down
commit sha 3685a8a06826c9ec8e8bb41d0763018cad968217
some comments
commit sha b588ce0e0683aa00aac4faef1ef67a3461c7c340
Merge branch 'main' of github.com:mit-pdos/gokv
push time in 2 days
fork sorawee/dafny
Dafny is a verification-aware programming language
https://dafny-lang.github.io/dafny/
fork in 2 days
push eventmit-pdos/perennial
commit sha 2eb1990d4c551ad863550326e92aafda576d4577
fix build on coq.dev (hopefully)
push time in 2 days
push eventmit-pdos/secfs-skeleton
commit sha 4af4cf3f0c9dda21d9ce57fc33a77a65046ba6e8
fix bug: methods without annotation are not static indeed
commit sha 835ae6afc0ebd3708b5c08d081d5b4bc7f4165a1
Merge pull request #2 from fzyzcjy/patch-1 (If willing I will make more PR, this PR is merely a probe to see whether this repo is still active) fix bug: methods without annotation are not static indeed
push time in 2 days
pull request commentmit-pdos/secfs-skeleton
Looks reasonable enough; thanks!
Just curious: did something break for you without the @staticmethod annotation? Is this an issue in some recent version of Python 3?
comment created time in 2 days
issue closedmit-pdos/secfs-skeleton
Fix bug: the VM takes >5 seconds for each `sudo` command
This can be solved by adding the following lines to the /etc/hosts file:
127.0.0.1 localhost localhost.localdomain localhost4 localhost4.localdomain4 6858-v20
::1 localhost localhost.localdomain localhost6 localhost6.localdomain6 6858-v20
The critical part is to let 6858-v20 to be pointed to localhost. The actual cause is that, the hostname of this VM is modified to 6858-v20, but the /etc/hosts has not been modified.
closed time in 2 days
fzyzcjy
issue commentmit-pdos/secfs-skeleton
Fix bug: the VM takes >5 seconds for each `sudo` command
Thank you! I've updated the VM build script so this should be fixed when we re-generate the VM image for the next semester we're teaching 6.858.
comment created time in 2 days
push eventmit-pdos/perennial
commit sha 5a2f363fd4533e07db90dc83d4d5bd08e8bd882e
add a useful lemma about word.wrap
commit sha 5ec2933b4280cd01f875c7e03f6ab72538e03a34
fix SumAssumeNoOverflow and use it everywhere in memkv
push time in 2 days
push eventmit-pdos/gokv
commit sha d0efcf6dd5070dc5f994e916030554854d2fff6e
use SumAssumeNoOverflow in urpc
push time in 2 days
push eventmit-pdos/gokv
commit sha 0f621d965bac47b348ffbca7fccd30a452347291
use SumAssumeNoOverflow everywhere in memkv
push time in 2 days
push eventgoose-lang/std
commit sha 4b989c2be26329ff40ec0c537eaf8f9c217f899c
fix SumAssumeNoOverflow
push time in 2 days
push eventmit-pdos/gokv
commit sha 730d63c86e649c6bf6441ed760431956352f8577
start using SumAssumeNoOverflow
commit sha 1289fda1d86df5d7b835c0ba3f3bbc2dcaf7ac50
bump goose_std
push time in 2 days
push eventgoose-lang/std
commit sha 8980ecb5cb34485da8bb0fa19f7b2a5d96ffa7cc
rename package to 'std'
push time in 2 days
Lenses in Coq
fork in 2 days
startedbedrocksystems/coq-lens
started time in 2 days
push eventmit-pdos/perennial
commit sha f0d0fa45844990038099c0a5cb601cbe471d9986
prove SumAssumeNoOverflow and start using it in memkv clerk
push time in 3 days