Commits · 3f349dde137f3b0e574135f192620f1299a07316 · paradise / mirror / DIVINE · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

May 25, 2019
- dios: Use hostabi.pl to get values for the fcntl F_* flags. · 3f349dde
  Petr Rockai authored May 25, 2019
  
  3f349dde
- dios: Add `struct dirent` to hostabi.h. · 42ec58d1
  Petr Rockai authored May 25, 2019
  
  42ec58d1
- libc: Add `libgen.h` and import `dirname()` and `basename()` from OpenBSD. · a99bdbcd
  Petr Rockai authored May 25, 2019
  
  a99bdbcd
- libc: Add a rudimentary getpagesize() implementation. · 676f80bf
  Petr Rockai authored May 25, 2019
  
  676f80bf
- libc: Hide a few system headers that we don't currently have. · 0f21e9c8
  Petr Rockai authored May 25, 2019
  
  0f21e9c8
- libc: Fix missing #includes in sys/mount.h. · a9365735
  Petr Rockai authored May 25, 2019
  
  a9365735
- libc: Move sched_yield() & struct sched_param from pthread.h to sched.h. · 5a1512eb
  Petr Rockai authored May 25, 2019
  
  5a1512eb
May 24, 2019
- test: Fix dios/help.sh (configuration is no longer a runtime option). · 46f23a57
  Petr Rockai authored May 24, 2019
  
  46f23a57
- UI: Do not pass 'config:synchronous' to DiOS (configuration is now static). · 8361c19f
  Petr Rockai authored May 24, 2019
  
  8361c19f
- libc: Move free() back into 'libc' and allow an arch-specific check instead. · 87eff862
  Petr Rockai authored May 24, 2019
  
  87eff862
May 23, 2019
- dios: Add a README. · 63df1243
  Petr Rockai authored May 23, 2019
  
  63df1243
- dios: Mention that `dios.h` is deprecated. · 12abfb9b
  Petr Rockai authored May 23, 2019
  
  12abfb9b
- doc: Add first lecture to the internals tutorial. · dd77b431
  Petr Rockai authored May 23, 2019
  
  dd77b431
- doc: Import an outline of a tutorial on DIVINE internals. · 8111793b
  Petr Rockai authored May 23, 2019
  
  8111793b
- dios: Add documentation for the Upcall kernel component. · eb6774b9
  Petr Rockai authored May 23, 2019
  
  eb6774b9
- dios: Document the BaseContext and the syscall mechanism. · e66efff7
  Petr Rockai authored May 23, 2019
  
  e66efff7
- dios: Briefly explain the environment that is passed to DiOS. · 7930fa9d
  Petr Rockai authored May 23, 2019
  
  7930fa9d
- dios: Explain the KObject class. · 88d05f6b
  Petr Rockai authored May 23, 2019
  
  88d05f6b
- dios: Restyle and comment the fault handler. · 8cc1c369
  Petr Rockai authored May 23, 2019
  
  8cc1c369
- dios: Split off `debug.hpp` from `kernel.hpp`. · 482d6614
  Petr Rockai authored May 23, 2019
  
  482d6614
- dios: Document the Clock kernel component. · 37f418e1
  Petr Rockai authored May 23, 2019
  
  37f418e1
- dios: A few more comments about the boot process. · db5c93ac
  Petr Rockai authored May 23, 2019
  
  db5c93ac
- dios: Clean up some and reindent dios/vfs/manager.h. · 17a4c3e4
  Petr Rockai authored May 23, 2019
  
  17a4c3e4
- dios: Clean up sys/options.{hpp,cpp}. · d0fb5437
  Petr Rockai authored May 23, 2019
  
  d0fb5437
- dios: Clean up style and add comments to boot.hpp. · ea42d151
  Petr Rockai authored May 23, 2019
  
  ea42d151
- dios: Rename sys/main.{hpp,cpp} to sys/options.{hpp,cpp}. · bd5c877b
  Petr Rockai authored May 23, 2019
  
  bd5c877b
May 24, 2019
- dbg: Update the classification of DiOS source files into components. · 976de02c
  Petr Rockai authored May 24, 2019
  
  976de02c
- RT: Work around messy dependencies on the proxy/replay dios configs. · a926fc38
  Petr Rockai authored May 24, 2019
  
  a926fc38
- RT: Put all the DiOS linking logic into DiosCC::link_dios_config(). · 9f496f2e
  Petr Rockai authored May 24, 2019
  
  9f496f2e
- test: Fix testcases which provide their own __boot(). · b32e0679
  Petr Rockai authored May 24, 2019
  
  b32e0679
- dios: Allow __dios_boot() to be overriden by the user program. · fcd2debd
  Petr Rockai authored May 24, 2019
  
  fcd2debd
- MC: Do not link null dios config when __boot is already provided. · f9d9a92a
  Petr Rockai authored May 24, 2019
  
  f9d9a92a
May 23, 2019
- lart: Allow __md_globals and __md_functions to be filled in independently. · c6ef0561
  Petr Rockai authored May 23, 2019
  
  c6ef0561
May 24, 2019
- RT: Allow platform-specific code in DiOS to depend on dios.a. · 479b3dc3
  Petr Rockai authored May 24, 2019
  
  479b3dc3
- VM: Fix an invalid heap pointer dereference in leak checking code. · 489e5b1b
  Petr Rockai authored May 24, 2019
  
  489e5b1b
- test: Check that no leaks are reported in a simple non-leaky program. · 0f5ec3cb
  Petr Rockai authored May 24, 2019
  
  0f5ec3cb
May 23, 2019
- MC: Call functionmeta when either of __md_{globals,functions} is present. · bbdb07de
  Petr Rockai authored May 23, 2019
  
  bbdb07de
- libc: Add a missing prototype for __getcwd() to unistd.h. · c30ac9d8
  Petr Rockai authored May 23, 2019
  
  c30ac9d8
May 21, 2019
- dios: Parse command line options from KLEE into a boot environment. · 1677dc72
  Petr Rockai authored May 21, 2019
  
  1677dc72
- dios: Improve binary compatibility of unwind.h. · 73ecfaa2
  Petr Rockai authored May 21, 2019
  
  73ecfaa2