Skip to content
Snippets Groups Projects
Select Git revision
  • dissertation default
  • ist
  • master protected
3 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.020Mar12Jan102Nov129Oct2422Jun211115Feb121110854330Jan2924203Aug28JulUpdated the README and renamed some files.dissertationdissertationBumped the Rust edition to 2024, removed all benchmark code as well as associated files and dependencies.Updated the dependencies and removed the indexset as a dependency.Debug print bugfix.Minor changes to the build script and cosmetic fixes.Added related documents to the ignore list.Soundness fixes, ODEMx model improvements.Reworked the README and added a LICENSE.Refactoring of unrelated fields in the Calendar into the Simulator, documentation, some performance improvements, and renaming of some structures to bring them closer to ODEM-rs.Merge branch 'lukas/break-everything' into 'dissertation'possibly soundDocumentation + Lifetime Fixes + Cargo UpdateMerge remote-tracking branch 'origin/ist' into istististLast changes before the final paper revision.Last changes before the final paper revision.Added the decompressor-tokenizer example in C to the repository.Decompressor-tokenizer example in C added to the repository.mastermasterFixed a bug with the channels.Fixed a subtle bug with regards to the Promise.Improved the benchmarking logic: best version of SLX is not automatically detected before benchmarking and benchmark works even if SLX doesn't exist or ODEMx couldn't successfully be compiled.Fixed typo in the README.Fixed the benchmark code after breaking it when I slightly changed the API.Added a more up-to-date readme.A comment was wrongly indented.Additional simplifications before the paper is submitted.Added ODEMx and the C++ examples.Forgot to check in the SLX utility module.Brought the Barbershop example closer to its SLX implementation.Added results of the benchmarks and slightly simplified the library in preparation of the paper.Ran some of the benchmarks and combined them with the examples in order to reduce redundancies.Minor corrections.Improved the benchmark code and factored the SLX part into a module.Implemented the Ferry and Dining Philosopher examples as well as benchmarks. Added Select and Control expressions to the library.Added more documentation to the library functions.Restructured some of the files in order to implement additional examples, implemented the car ferry scenario and added the ability to wait for the termination of two competing futures, enabling timeouts.Introduced shared state to the simulation and used HRTB for the simulation function.Committed the benchmark results and added a README.md.Shortened the example for print in the paper.Simplified some function signatures for clarity and improved the StateEventWaker for a shorter simulation() function body.Renamed the example coroutines and deleted the old simcore.