Skip to content

Commit

Permalink
Update goose path
Browse files Browse the repository at this point in the history
  • Loading branch information
@tchajed
tchajed committed Jul 20, 2024
1 parent e851a93 commit a33d815
Show file tree
Hide file tree
Showing 36 changed files with 58 additions and 109 deletions.
2 changes: 1 addition & 1 deletion alloc/alloc.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package alloc
import (
"sync"

"github.com/tchajed/goose/machine"
"github.com/goose-lang/goose/machine"
)

type unit struct{}
Expand Down
2 changes: 1 addition & 1 deletion async_durable_alloc/alloc.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package async_alloc
import (
"sync"

"github.com/tchajed/goose/machine/async_disk"
"github.com/goose-lang/goose/machine/async_disk"
)

// Allocator uses a bit map to allocate and free numbers. Bit 0
Expand Down
2 changes: 1 addition & 1 deletion async_durable_alloc/alloc_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/async_disk"
"github.com/goose-lang/goose/machine/async_disk"
)

func TestPopCnt(t *testing.T) {
Expand Down
2 changes: 1 addition & 1 deletion async_durable_alloc_inode/inode.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package inode
import (
"sync"

"github.com/tchajed/goose/machine/async_disk"
"github.com/goose-lang/goose/machine/async_disk"
"github.com/tchajed/marshal"

"github.com/mit-pdos/perennial-examples/async_durable_alloc"
Expand Down
2 changes: 1 addition & 1 deletion async_durable_alloc_inode/inode_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/async_disk"
"github.com/goose-lang/goose/machine/async_disk"

"github.com/mit-pdos/perennial-examples/async_durable_alloc"
)
Expand Down
2 changes: 1 addition & 1 deletion async_inode/inode.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package async_inode
import (
"sync"

"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
"github.com/tchajed/marshal"

"github.com/mit-pdos/perennial-examples/alloc"
Expand Down
2 changes: 1 addition & 1 deletion async_inode/inode_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"

"github.com/mit-pdos/perennial-examples/alloc"
)
Expand Down
2 changes: 1 addition & 1 deletion async_mem_alloc_dir/dir.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package dir
import (
"github.com/mit-pdos/perennial-examples/alloc"
"github.com/mit-pdos/perennial-examples/async_mem_alloc_inode"
"github.com/tchajed/goose/machine/async_disk"
"github.com/goose-lang/goose/machine/async_disk"
)

const NumInodes uint64 = 5
Expand Down
2 changes: 1 addition & 1 deletion async_mem_alloc_dir/dir_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/async_disk"
"github.com/goose-lang/goose/machine/async_disk"
)

func makeBlock(x byte) async_disk.Block {
Expand Down
2 changes: 1 addition & 1 deletion async_mem_alloc_inode/inode.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package async_mem_alloc_inode
import (
"sync"

"github.com/tchajed/goose/machine/async_disk"
"github.com/goose-lang/goose/machine/async_disk"
"github.com/tchajed/marshal"

"github.com/mit-pdos/perennial-examples/alloc"
Expand Down
2 changes: 1 addition & 1 deletion async_mem_alloc_inode/inode_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/async_disk"
"github.com/goose-lang/goose/machine/async_disk"

"github.com/mit-pdos/perennial-examples/alloc"
)
Expand Down
2 changes: 1 addition & 1 deletion async_toy/block_transfer.go
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package toy

import "github.com/tchajed/goose/machine/async_disk"
import "github.com/goose-lang/goose/machine/async_disk"

// assumes a crash invariant with a guarantee that says a has an even block (the
// initial status doesn't matter); this should be sufficient to prove that this
Expand Down
2 changes: 1 addition & 1 deletion async_toy/block_transfer_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package toy
import (
"testing"

"github.com/tchajed/goose/machine/async_disk"
"github.com/goose-lang/goose/machine/async_disk"
)

func TestTransferBlock(t *testing.T) {
Expand Down
2 changes: 1 addition & 1 deletion dir/dir.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package dir
import (
"github.com/mit-pdos/perennial-examples/alloc"
"github.com/mit-pdos/perennial-examples/inode"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

const NumInodes uint64 = 5
Expand Down
2 changes: 1 addition & 1 deletion dir/dir_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

func makeBlock(x byte) disk.Block {
Expand Down
2 changes: 1 addition & 1 deletion dynamic_dir/dir.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import (

"github.com/mit-pdos/perennial-examples/alloc"
"github.com/mit-pdos/perennial-examples/inode"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
"github.com/tchajed/marshal"
)

Expand Down
2 changes: 1 addition & 1 deletion dynamic_dir/dir_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

func makeBlock(x byte) disk.Block {
Expand Down
17 changes: 12 additions & 5 deletions go.mod
View file
Original file line number Diff line number Diff line change
@@ -1,10 +1,17 @@
module github.com/mit-pdos/perennial-examples

go 1.14
go 1.22

require (
github.com/stretchr/testify v1.6.1
github.com/tchajed/goose v0.4.1
github.com/tchajed/marshal v0.2.0
golang.org/x/sys v0.0.0-20211205182925-97ca703d548d // indirect
github.com/goose-lang/goose v0.6.1
github.com/stretchr/testify v1.9.0
github.com/tchajed/marshal v0.6.1
)

require (
github.com/davecgh/go-spew v1.1.1 // indirect
github.com/goose-lang/std v0.3.2 // indirect
github.com/pmezard/go-difflib v1.0.0 // indirect
golang.org/x/sys v0.22.0 // indirect
gopkg.in/yaml.v3 v3.0.1 // indirect
)
82 changes: 12 additions & 70 deletions go.sum
View file
Original file line number Diff line number Diff line change
@@ -1,81 +1,23 @@
github.com/creack/pty v1.1.9/go.mod h1:oKZEueFk5CKHvIhNR5MUki03XCEU+Q6VDXinZuGJ33E=
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/davecgh/go-spew v1.1.1 h1:vj9j/u1bqnvCEfJOwUhtlOARqs3+rkHYY13jYWTU97c=
github.com/davecgh/go-spew v1.1.1/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/fatih/color v1.7.0/go.mod h1:Zm6kSWBoL9eyXnKyktHP6abPY2pDugNf5KwzbycvMj4=
github.com/fatih/color v1.9.0/go.mod h1:eQcE1qtQxscV5RaZvpXrrb8Drkc3/DdQ+uUYCNjL+zU=
github.com/kr/pretty v0.1.0/go.mod h1:dAy3ld7l9f0ibDNOQOHHMYYIIbhfbHSm3C4ZsoJORNo=
github.com/kr/pretty v0.2.0/go.mod h1:ipq/a2n7PKx3OHsz4KJII5eveXtPO4qwEXGdVfWzfnI=
github.com/kr/pty v1.1.1/go.mod h1:pFQYn66WHrOpPYNljwOMqo10TkYh1fy3cYio2l3bCsQ=
github.com/kr/text v0.1.0/go.mod h1:4Jbv+DJW3UT/LiOwJeYQe1efqtUx/iVham/4vfdArNI=
github.com/goose-lang/goose v0.6.1 h1:nji9qN45oi8PVELnJAxPUvqt9EufiM3J6+xyiXdYTjM=
github.com/goose-lang/goose v0.6.1/go.mod h1:d/fwDpBnwyXI97lXIlmMgABHObvZ66WnN9J9x6y5Ofk=
github.com/goose-lang/std v0.3.2 h1:dYnOsrrbfSG5Bx/rE/X2PylIX6ObTavUosXqzbIzRys=
github.com/goose-lang/std v0.3.2/go.mod h1:0IoDUCIC80Msc7h/SqpbZY1ytjhV39rgKnyHG/tjdis=
github.com/kr/text v0.2.0 h1:5Nx0Ya0ZqY2ygV366QzturHI13Jq95ApcVaJBhpS+AY=
github.com/kr/text v0.2.0/go.mod h1:eLer722TekiGuMkidMxC/pM04lWEeraHUUmBw8l2grE=
github.com/mattn/go-colorable v0.1.4/go.mod h1:U0ppj6V5qS13XJ6of8GYAs25YV2eR4EVcfRqFIhoBtE=
github.com/mattn/go-colorable v0.1.7/go.mod h1:u6P/XSegPjTcexA+o6vUJrdnUu04hMope9wVRipJSqc=
github.com/mattn/go-isatty v0.0.8/go.mod h1:Iq45c/XA43vh69/j3iqttzPXn0bhXyGjM0Hdxcsrc5s=
github.com/mattn/go-isatty v0.0.10/go.mod h1:qgIWMr58cqv1PHHyhnkY9lrL7etaEgOFcMEpPG5Rm84=
github.com/mattn/go-isatty v0.0.11/go.mod h1:PhnuNfih5lzO57/f3n+odYbM4JtupLOxQOAqxQCu2WE=
github.com/mattn/go-isatty v0.0.12/go.mod h1:cbi8OIDigv2wuxKPP5vlRcQ1OAZbq2CE4Kysco4FUpU=
github.com/niemeyer/pretty v0.0.0-20200227124842-a10e7caefd8e h1:fD57ERR4JtEqsWbfPhv4DMiApHyliiK5xCTNVSPiaAs=
github.com/niemeyer/pretty v0.0.0-20200227124842-a10e7caefd8e/go.mod h1:zD1mROLANZcx1PVRCS0qkT7pwLkGfwJo4zjcN/Tysno=
github.com/pkg/errors v0.8.1/go.mod h1:bwawxfHBFNV+L2hUp1rHADufV3IMtnDRdf1r5NINEl0=
github.com/pkg/errors v0.9.1/go.mod h1:bwawxfHBFNV+L2hUp1rHADufV3IMtnDRdf1r5NINEl0=
github.com/pmezard/go-difflib v1.0.0 h1:4DBwDE0NGyQoBHbLQYPwSUPoCMWR5BEzIk/f1lZbAQM=
github.com/pmezard/go-difflib v1.0.0/go.mod h1:iKH77koFhYxTK1pcRnkKkqfTogsbg7gZNVY4sRDYZ/4=
github.com/stretchr/objx v0.1.0/go.mod h1:HFkY916IF+rwdDfMAkV7OtwuqBVzrE8GR6GFx+wExME=
github.com/stretchr/testify v1.4.0/go.mod h1:j7eGeouHqKxXV5pUuKE4zz7dFj8WfuZ+81PSLYec5m4=
github.com/stretchr/testify v1.6.1 h1:hDPOHmpOpP40lSULcqw7IrRb/u7w6RpDC9399XyoNd0=
github.com/stretchr/testify v1.6.1/go.mod h1:6Fq8oRcR53rry900zMqJjRRixrwX3KX962/h/Wwjteg=
github.com/tchajed/goose v0.0.0-20191114201541-ebbf1d75c8ca/go.mod h1:2c33VcNcIHG8vQhprFmBlZxpC62+TfmnGjB+jVaKhXo=
github.com/tchajed/goose v0.0.0-20200128225509-92a5cfe01fc4/go.mod h1:rhep/Jc/mYPoMIYG8dPtnc71UHAPHNYRx1qvpB245Ss=
github.com/tchajed/goose v0.2.0/go.mod h1:Y2zBxxd3wa0lrYRDyebxZgbgV4LLsPUtsBiLe1wnS9c=
github.com/tchajed/goose v0.4.1 h1:T591yLsujFMVpIeXmgRzV8RoU3jQwU2sMgMLpUr4zkg=
github.com/tchajed/goose v0.4.1/go.mod h1:s6D4ibH0SaPtDcp0krx05XkZLlqipgRyRH8X6JP+hcc=
github.com/tchajed/mailboat v0.0.0-20191026015926-338a5b81ac1d/go.mod h1:dmgNTEH0kreeKMWd+ntzsrp7ie2LWHGMe7VxP6d1Aew=
github.com/tchajed/mailboat v0.2.0/go.mod h1:aKa/T1YCMVZFM2xbXnMNyp9r4k0pPni4+sJ8GoY51Hw=
github.com/tchajed/marshal v0.0.0-20200707011626-0d2aa09818a9/go.mod h1:TPo3bTYJkH87/4rXlxe0bpVWLnN+b5kjJnoXHLBfdaA=
github.com/tchajed/marshal v0.2.0 h1:6syf2SG3//AE891aHhj6BS+fv3OCMxFM322x05ot3QE=
github.com/tchajed/marshal v0.2.0/go.mod h1:jq2B5uP+QvY51sZB57Td/OsareaZEzm3HVuvVKhC22I=
github.com/yuin/goldmark v1.3.5/go.mod h1:mwnBkeHKe2W/ZEtQ+71ViKU8L12m81fl3OWwC1Zlc8k=
golang.org/x/crypto v0.0.0-20190308221718-c2843e01d9a2/go.mod h1:djNgcEr1/C05ACkg1iLfiJU5Ep61QUkGW8qpdssI0+w=
golang.org/x/crypto v0.0.0-20191011191535-87dc89f01550/go.mod h1:yigFU9vqHzYiE8UmvKecakEJjdnWj3jj499lnFckfCI=
golang.org/x/mod v0.4.2/go.mod h1:s0Qsj1ACt9ePp/hMypM3fl4fZqREWJwdYDEqhRiZZUA=
golang.org/x/net v0.0.0-20190404232315-eb5bcb51f2a3/go.mod h1:t9HGtf8HONx5eT2rtn7q6eTqICYqUVnKs3thJo3Qplg=
golang.org/x/net v0.0.0-20190620200207-3b0461eec859/go.mod h1:z5CRVTTTmAJ677TzLLGU+0bjPO0LkuOLi4/5GtJWs/s=
golang.org/x/net v0.0.0-20210405180319-a5a99cb37ef4/go.mod h1:p54w0d4576C0XHj96bSt6lcn1PtDYWL6XObtHCRCNQM=
golang.org/x/sync v0.0.0-20190423024810-112230192c58/go.mod h1:RxMgew5VJxzue5/jJTE5uejpjVlOe/izrB70Jof72aM=
golang.org/x/sync v0.0.0-20210220032951-036812b2e83c/go.mod h1:RxMgew5VJxzue5/jJTE5uejpjVlOe/izrB70Jof72aM=
golang.org/x/sys v0.0.0-20190215142949-d0b11bdaac8a/go.mod h1:STP8DvDyc/dI5b8T5hshtkjS+E42TnysNCUPdjciGhY=
golang.org/x/sys v0.0.0-20190222072716-a9d3bda3a223/go.mod h1:STP8DvDyc/dI5b8T5hshtkjS+E42TnysNCUPdjciGhY=
golang.org/x/sys v0.0.0-20190412213103-97732733099d/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20191008105621-543471e840be/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20191026070338-33540a1f6037/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20191115151921-52ab43148777/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20200116001909-b77594299b42/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20200124204421-9fbb57f87de9/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20200223170610-d5e6a3e2c0ae/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20200817155316-9781c653f443/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20201119102817-f84b799fce68/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20210330210617-4fbd30eecc44/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
golang.org/x/sys v0.0.0-20210510120138-977fb7262007/go.mod h1:oPkhp1MJrh7nUepCBck5+mAzfO9JrbApNNgaTdGDITg=
golang.org/x/sys v0.0.0-20211205182925-97ca703d548d h1:FjkYO/PPp4Wi0EAUOVLxePm7qVW4r4ctbWpURyuOD0E=
golang.org/x/sys v0.0.0-20211205182925-97ca703d548d/go.mod h1:oPkhp1MJrh7nUepCBck5+mAzfO9JrbApNNgaTdGDITg=
golang.org/x/term v0.0.0-20201126162022-7de9c90e9dd1/go.mod h1:bj7SfCRtBDWHUb9snDiAeCFNEtKQo2Wmx5Cou7ajbmo=
golang.org/x/text v0.3.0/go.mod h1:NqM8EUOU14njkJ3fqMW+pc6Ldnwhi/IjpwHt7yyuwOQ=
golang.org/x/text v0.3.3/go.mod h1:5Zoc/QRtKVWzQhOtBMvqHzDpF6irO9z98xDceosuGiQ=
golang.org/x/tools v0.0.0-20180917221912-90fa682c2a6e/go.mod h1:n7NCudcB/nEzxVGmLbDWY5pfWTLqBcC2KZ6jyYvM4mQ=
golang.org/x/tools v0.0.0-20191119224855-298f0cb1881e/go.mod h1:b+2E5dAYhXwXZwtnZ6UAqBI28+e2cm9otk0dWdXHAEo=
golang.org/x/tools v0.1.1/go.mod h1:o0xws9oXOQQZyjljx8fwUC0k7L1pTE6eaCbjGeHmOkk=
golang.org/x/xerrors v0.0.0-20190717185122-a985d3407aa7/go.mod h1:I/5z698sn9Ka8TeJc9MKroUUfqBBauWjQqLJ2OPfmY0=
golang.org/x/xerrors v0.0.0-20191011141410-1b5146add898/go.mod h1:I/5z698sn9Ka8TeJc9MKroUUfqBBauWjQqLJ2OPfmY0=
golang.org/x/xerrors v0.0.0-20200804184101-5ec99f83aff1/go.mod h1:I/5z698sn9Ka8TeJc9MKroUUfqBBauWjQqLJ2OPfmY0=
github.com/stretchr/testify v1.9.0 h1:HtqpIVDClZ4nwg75+f6Lvsy/wHu+3BoSGCbBAcpTsTg=
github.com/stretchr/testify v1.9.0/go.mod h1:r2ic/lqez/lEtzL7wO/rwa5dbSLXVDPFyf8C91i36aY=
github.com/tchajed/marshal v0.6.1 h1:fSpd/Q/Fxc4Pn2BqqmBQyUUKGqRyZ4jdu3sQqwa2FW0=
github.com/tchajed/marshal v0.6.1/go.mod h1:bpCjDLDucqTM51woyzbZP5ku3hT4TORx7YGhyWSUpA4=
golang.org/x/sys v0.22.0 h1:RI27ohtqKCnwULzJLqkv897zojh5/DwS/ENaMzUOaWI=
golang.org/x/sys v0.22.0/go.mod h1:/VUhepiaJMQUp4+oa/7Zr1D23ma6VTLIYjOOTFZPUcA=
gopkg.in/check.v1 v0.0.0-20161208181325-20d25e280405/go.mod h1:Co6ibVJAznAaIkqp8huTwlJQCZ016jof/cbN4VW5Yz0=
gopkg.in/check.v1 v1.0.0-20190902080502-41f04d3bba15/go.mod h1:Co6ibVJAznAaIkqp8huTwlJQCZ016jof/cbN4VW5Yz0=
gopkg.in/check.v1 v1.0.0-20200227125254-8fa46927fb4f h1:BLraFXnmrev5lT+xlilqcH8XK9/i0At2xKjWk4p6zsU=
gopkg.in/check.v1 v1.0.0-20200227125254-8fa46927fb4f/go.mod h1:Co6ibVJAznAaIkqp8huTwlJQCZ016jof/cbN4VW5Yz0=
gopkg.in/yaml.v2 v2.2.2/go.mod h1:hI93XBmqTisBFMUTm0b8Fm+jr3Dg1NNxqwp+5A1VGuI=
gopkg.in/yaml.v2 v2.2.5/go.mod h1:hI93XBmqTisBFMUTm0b8Fm+jr3Dg1NNxqwp+5A1VGuI=
gopkg.in/yaml.v2 v2.2.8/go.mod h1:hI93XBmqTisBFMUTm0b8Fm+jr3Dg1NNxqwp+5A1VGuI=
gopkg.in/yaml.v3 v3.0.0-20200313102051-9f266ea9e77c/go.mod h1:K4uyk7z7BCEPqu6E+C64Yfv1cQ7kz7rIZviUmN+EgEM=
gopkg.in/yaml.v3 v3.0.0-20200615113413-eeeca48fe776 h1:tQIYjPdBoyREyB9XMu+nnTclpTYkz2zFM+lzLJFO4gQ=
gopkg.in/yaml.v3 v3.0.0-20200615113413-eeeca48fe776/go.mod h1:K4uyk7z7BCEPqu6E+C64Yfv1cQ7kz7rIZviUmN+EgEM=
gopkg.in/yaml.v3 v3.0.1 h1:fxVm/GzAzEWqLHuvctI91KS9hhNmmWOoWu0XTYJS7CA=
gopkg.in/yaml.v3 v3.0.1/go.mod h1:K4uyk7z7BCEPqu6E+C64Yfv1cQ7kz7rIZviUmN+EgEM=
2 changes: 1 addition & 1 deletion indirect_inode/inode.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"sync"

"github.com/mit-pdos/perennial-examples/alloc"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
"github.com/tchajed/marshal"
)

Expand Down
2 changes: 1 addition & 1 deletion indirect_inode/inode_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"

"github.com/mit-pdos/perennial-examples/alloc"
)
Expand Down
2 changes: 1 addition & 1 deletion inode/inode.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package inode
import (
"sync"

"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
"github.com/tchajed/marshal"

"github.com/mit-pdos/perennial-examples/alloc"
Expand Down
2 changes: 1 addition & 1 deletion inode/inode_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"

"github.com/mit-pdos/perennial-examples/alloc"
)
Expand Down
2 changes: 1 addition & 1 deletion replicated_block/replicated_block.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package replicated_block
import (
"sync"

"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

type RepBlock struct {
Expand Down
2 changes: 1 addition & 1 deletion replicated_block/replicated_block_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

func mkBlock(b0 byte) disk.Block {
Expand Down
2 changes: 1 addition & 1 deletion single_async_inode/client.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
package single_async_inode

import (
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"

"github.com/mit-pdos/perennial-examples/alloc"
"github.com/mit-pdos/perennial-examples/async_inode"
Expand Down
2 changes: 1 addition & 1 deletion single_async_inode/client_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

func mkBlock(b0 byte) disk.Block {
Expand Down
2 changes: 1 addition & 1 deletion single_inode/client.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
package single_inode

import (
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"

"github.com/mit-pdos/perennial-examples/alloc"
"github.com/mit-pdos/perennial-examples/inode"
Expand Down
2 changes: 1 addition & 1 deletion single_inode/client_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

func mkBlock(b0 byte) disk.Block {
Expand Down
2 changes: 1 addition & 1 deletion toy/block_transfer.go
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package toy

import "github.com/tchajed/goose/machine/disk"
import "github.com/goose-lang/goose/machine/disk"

// assumes a crash invariant with a guarantee that says a has an even block (the
// initial status doesn't matter); this should be sufficient to prove that this
Expand Down
2 changes: 1 addition & 1 deletion toy/block_transfer_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package toy
import (
"testing"

"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

func TestTransferBlock(t *testing.T) {
Expand Down
2 changes: 1 addition & 1 deletion wal/atomic_append.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ package wal
import (
"github.com/tchajed/marshal"

"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

const maxLogSize uint64 = 511
Expand Down
2 changes: 1 addition & 1 deletion wal/atomic_append_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"testing"

"github.com/stretchr/testify/assert"
"github.com/tchajed/goose/machine/disk"
"github.com/goose-lang/goose/machine/disk"
)

func mkBlock(b0 byte) disk.Block {
Expand Down
Loading

0 comments on commit a33d815

Please sign in to comment.