0
I Use This!
Activity Not Available

Commits : Listings

Analyzed 12 months ago. based on code collected 12 months ago.
Jan 17, 2023 — Jan 17, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Implemented listening on arbitrary host:port specs. More... over 17 years ago
Switched to new, multi-threaded main(). More... over 17 years ago
added todo More... over 17 years ago
Improved logging. More... over 17 years ago
Re-built command line config stuff from old http daemon. More... over 17 years ago
Bumped version strings. More... over 17 years ago
Flush the front gap more eagerly. More... over 17 years ago
Dropped io_stream. Reasons are in dc5ec393e6ca4bf0ab91312ae90e4f4590f710d4. More... over 17 years ago
Trivial optimization. More... over 17 years ago
Moved to maude repository. More... over 17 years ago
Added TRACE_VAR5(). More... almost 18 years ago
Cosmetic. More... almost 18 years ago
obsolete file More... almost 18 years ago
Moved io_stream class to io.hpp. More... almost 18 years ago
Completed implementation. Simple test works. More... almost 18 years ago
Assert that the scatter_vector contains no empty entries. More... almost 18 years ago
Implemented a stream driver based on the io.maude model. More... almost 18 years ago
Implemented output_buffer::consume(). More... almost 18 years ago
Took the peers out of the equation; examining the state of the i/o buffer suffices. More... almost 18 years ago
Structured code. More... almost 18 years ago
The model works now. More... almost 18 years ago
Incomplete model of an i/o driver. More... almost 18 years ago
Distinguish append() and push_back in output_buffer. More... almost 18 years ago
Implemented writing. More... almost 18 years ago
Renamed output_buffer::reset() to flush() for consistency. More... almost 18 years ago
The io_driver template as a virtual async_io_stream interface. More... almost 18 years ago
output_buffer: store current base pointer. More... almost 18 years ago
Implemented responder. More... almost 18 years ago
Cosmetic. More... almost 18 years ago
Added output_buffer::empty() and optimized reset(). More... almost 18 years ago