chiark / gitweb /
otter.git
2021-05-03 Ian Jacksonat-otter: Swap bundles and put-back
2021-05-03 Ian Jacksonnwtemplates: Better error logging when rendering fails
2021-05-03 Ian Jacksonbundles: Move and centralise update()
2021-05-03 Ian Jacksonat-otter: Put the test game back at the end for ad...
2021-05-03 Ian Jacksonbundles: Save the bundle list in the ig for ready access
2021-05-03 Ian Jacksonpacketframe: Add some not miri annotations
2021-05-03 Ian Jacksonbundles: Break out InstanceBundles::iter()
2021-05-03 Ian Jacksonupdate: Use &Html rather than &Arc<Html>
2021-05-03 Ian Jacksonbundles: Better output from list-bundles
2021-05-03 Ian Jacksonbundles: test download too
2021-05-03 Ian Jacksonbundles: test, wip
2021-05-03 Ian Jacksonapitest: New Explode error
2021-05-03 Ian Jacksonapitest: Allow reading OtterOutput to a string
2021-05-03 Ian Jacksonapitest: Fix logging levels
2021-05-03 Ian Jacksonapitest: Capture and return the output from otter(1...
2021-05-03 Ian Jacksonapitest: Capture and return the output from otter(1)
2021-05-03 Ian Jacksonutils: Provide and use <T as Seek>::rewind()
2021-05-03 Ian JacksonCHANGELOG: document chdir fixes
2021-05-03 Ian Jacksonlogging env vars: Rename (tidying) and document
2021-05-03 Ian Jacksonpath resolution tests: Tidy direct use of su_rc to...
2021-05-03 Ian Jacksonbundles: Implement DownloadBundle
2021-05-03 Ian Jacksonbundles: Provide Id::open
2021-05-03 Ian Jacksonbundles: Make bundles::Id more open
2021-05-03 Ian Jacksonpath resolution: Rename types and variables to mention...
2021-05-03 Ian Jacksonpath resolution tests: cd to / for library_load and...
2021-05-03 Ian Jacksonpath resolution tests: Plumb rctx to various places...
2021-05-03 Ian Jacksonconfig: Only chdir in server, rework entirely
2021-05-03 Ian Jacksonconfig: Only chdir in server (!), fix sense (!)
2021-05-03 Ian Jacksonconfig: Add a trace_dbg
2021-05-03 Ian Jacksonconfig: Only chdir in server (!), fix
2021-05-03 Ian Jacksonconfig: Only chdir in server (!), actually
2021-05-02 Ian Jacksonconfig: Only chdir in server (!)
2021-05-02 Ian Jacksonconfig: Make ServerConfigSpec::resolve() not TryFrom
2021-05-02 Ian Jacksonbase: prelude: export void (crate)
2021-05-02 Ian Jacksoncmdlistener: Change type of bulk_download
2021-05-02 Ian JacksonProvide DebugExt::to_debug
2021-05-02 Ian Jacksonbundles: rework ListBundles return value
2021-05-02 Ian Jacksonif_let: Provide a cardboard cutout version for basic...
2021-05-02 Ian Jacksonbundles: Provide Display for Id
2021-05-02 Ian JacksonConvert bundles::Index to a newtype
2021-05-02 Ian Jacksonbundles: Introduce and use Kind::only
2021-05-02 Ian Jacksonbundles: Fix a typo
2021-05-02 Ian Jacksonbundles: Add a todo
2021-05-02 Ian Jacksonbundles: Initial list-bundles
2021-05-02 Ian Jacksonbundles: use strum Display for bundles::Kind
2021-05-02 Ian Jacksonbundles: Add a bound on b_file for debug convenience
2021-05-02 Ian Jacksonbundles: Note what we loaded
2021-05-02 Ian Jacksonbundles: Actually create the directory, on upload
2021-05-02 Ian Jacksonotter: Provide upload-bundle. Does not work yet.
2021-05-02 Ian Jacksoncmdlistener: Provide cmd_withbulk
2021-05-01 Ian Jacksoncmdlistener: Refactor to use write_withbulk
2021-05-01 Ian Jacksoncmdlistener: Fix writer framing on errors, restructure
2021-05-01 Ian Jacksonbundles: Initial implementation of framework
2021-05-01 Ian Jacksonglobal: Prepare for aux save files to also be dirs
2021-05-01 Ian Jacksonglobal: Make savefilename pub
2021-05-01 Ian Jacksonglobal: Refactor destroy game best effort deleting
2021-05-01 Ian Jacksondigest: provide DigestWrite
2021-05-01 Ian Jacksondigest: provide DigestRead etc.
2021-05-01 Ian Jacksoncmdlistener: Provide facility for bulk upload/download
2021-05-01 Ian Jacksonmove mgmtchannel read/write to methods on Framed
2021-05-01 Ian Jacksoncmdlistener: Break out CommandStream so it doesn't...
2021-05-01 Ian Jacksonmgmtchannel: Provide _withbulk
2021-05-01 Ian Jacksonpacketfraame: Move stream flush to finish call
2021-05-01 Ian Jacksonglobal: Slightly reorganise InstanceOuter construction
2021-05-01 Ian Jacksonglobal: Introduce InstanceOuter
2021-04-29 Ian JacksonCHANGLOG: mention spec parsing change
2021-04-29 Ian JacksonMove game spec parsing from client to server
2021-04-29 Ian Jacksonmgmtchannel: Correct handling of expanded insn responses
2021-04-29 Ian Jacksonotter(1): Provide SpecRaw
2021-04-29 Ian Jacksonotter: Introduce SpecParse trait for specs we may want...
2021-04-28 Ian Jacksoncmdlistener: Introduce InsnExpanded
2021-04-28 Ian Jacksoncmdlistener: Move handling of expand
2021-04-28 Ian Jacksoncmdlistener: Provide InsnMark for handling expanding...
2021-04-28 Ian Jacksoncmdlistener: allow insns to prepend more insns
2021-04-28 Ian JacksonPosOffTableError: Use error autoconversion
2021-04-28 Ian JacksonPosOffTableError: Use in organise
2021-04-28 Ian JacksonPosOffTableError: Introduce
2021-04-28 Ian Jacksoncmdlistener: Do not allow resizing the table so pieces...
2021-04-28 Ian JacksonCHANGELOG: Document recent changes
2021-04-28 Ian JacksonCHANGELOG: Document recent changes
2021-04-28 Ian Jacksonapitests: Test that all specs load
2021-04-28 Ian JacksonMakefile: Add missing dependency of tests on specs
2021-04-28 Ian Jacksonspecs: vatikan: Add a reference to where the info came...
2021-04-28 Ian Jacksonspecs: Rename same-scope.table.toml
2021-04-28 Ian Jacksonspecs: Introduce samescope.table.toml
2021-04-28 Ian Jacksonspecs: Plumb InstanceName through to TablePlayerSpec...
2021-04-28 Ian Jacksonspecs: Add private.table.toml
2021-04-28 Ian Jacksonotter(1): Add env_logger
2021-04-28 Ian Jacksonmgmtchannel: Add tracing calls
2021-04-28 Ian Jacksonspec: Fix TablePlayerSpec glob pattern generation
2021-04-28 Ian Jacksonpaketframe: Delete unused copies of rmp mgmtchannel r/w
2021-04-28 Ian Jacksonspecs: Add vatikan.game.toml
2021-04-25 Ian Jacksonhidden: Document ShowUnocculted proof obligations
2021-04-25 Ian Jacksonauthproofs: Document proof obligations
2021-04-24 Ian Jacksonglobal: Rename "aux" (from daft old name "access")
2021-04-24 Ian Jacksonmgmtchannel: Switch to msgpack from json
2021-04-24 Ian Jacksonmgmtchannel: Switch to Framed from newline-based framing
2021-04-23 Ian Jacksonpacketframe: test: Test an empty frame
2021-04-23 Ian Jacksonpacketframe: Completely rewrite FrameReader
2021-04-23 Ian Jacksonpacketframe: tests: Test with BufReaders
next