Commits · a702ab91272bef81d230680814d604b729395102 · 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.

Jun 05, 2019
- bricks: Move brick-hashset into the new brq namespace. · a702ab91
  Petr Rockai authored Jun 05, 2019
  
  a702ab91
Jun 02, 2019
- bricks: Update brick-hash to use the new 'brq' namespace. · e5b1f37b
  Petr Rockai authored Jun 02, 2019
  
  e5b1f37b
- bricks: Fix an uninitialized variable in _assert::Location. · 7131aae9
  Petr Rockai authored Jun 02, 2019
  
  7131aae9
Apr 28, 2019
- cmake: Remove any -O flags from CMAKE_CXX_FLAGS. · 75f72704
  Petr Rockai authored Apr 28, 2019
  
  75f72704
Jun 02, 2019
- website: Update the major version listed on the download page. · ebc541ed
  Petr Rockai authored Jun 02, 2019
  
  ebc541ed
- releng: Update for 4.3.0 · 4e5298cf
  Release Bot authored Jun 02, 2019
  
  4.3.0
  
  4e5298cf
Jun 01, 2019
- cmake: Move stringified native DiOS libraries into their own namespace. · 3913140b
  Petr Rockai authored Jun 01, 2019
  
  3913140b
- RT: Add functions to get the content of the native libc++{,abi} static libs. · 7511c6ec
  Petr Rockai authored Jun 01, 2019
  
  7511c6ec
May 31, 2019
- cmake: Disable -Wold-style-cast when building libc++{,abi}. · 821fb51a
  Petr Rockai authored May 31, 2019
  
  821fb51a
May 30, 2019
- tools: Add support for linking C++ programs to divcc. · 1fcecff5
  Petr Rockai authored May 30, 2019
  
  1fcecff5
- cmake: Build and stringify native versions of libc++{,abi}.a as part of DiOS. · c499c69e
  Petr Rockai authored May 30, 2019
  
  c499c69e
May 29, 2019
- VM: Update documentation of hypercalls (and __boot) in divm.h. · 310b020b
  Petr Rockai authored May 29, 2019
  
  310b020b
- VM: Initial (and incomplete) documentation of divm.h data structures. · 2d7d64e2
  Petr Rockai authored May 29, 2019
  
  2d7d64e2
May 28, 2019
- VM: Explain the constants defined in divm.h. · dda3193a
  Petr Rockai authored May 28, 2019
  
  dda3193a
May 26, 2019
- dios: Add a portable __fpurge implementation to libdios-host. · 7532cf06
  Petr Rockai authored May 26, 2019
  
  7532cf06
May 25, 2019
- dios: Add a portable __freading implementation to libdios-host. · 9edb45af
  Petr Rockai authored May 25, 2019
  
  9edb45af
- test: Check that the coreutils 8.31 package configures & builds with divcc. · 95526fa5
  Petr Rockai authored May 25, 2019
  
  95526fa5
- test: Add infrastructure for testing divcc builds of 3rd-party packages. · e09be14f
  Petr Rockai authored May 25, 2019
  
  e09be14f
- make: Export JOBS and TEST_ALLOW_DOWNLOADS into the environment. · bc3166b6
  Petr Rockai authored May 25, 2019
  
  bc3166b6
- libc: Use host values for locale category macros (LC_*). · c962cb8e
  Petr Rockai authored May 25, 2019
  
  c962cb8e
- libc: Add declarations and stubs for getlogin() and alarm(). · 27443058
  Petr Rockai authored May 25, 2019
  
  27443058
- libc: Provide stubs for {,f}pathconf and define the associated constants. · c4ae0716
  Petr Rockai authored May 25, 2019
  
  c4ae0716
- tools: Also include setjmp/longjmp in the divcc whitelist. · 4c70d831
  Petr Rockai authored May 25, 2019
  
  4c70d831
- libc: Use host layout for `struct dirent`. · 349aa4da
  Petr Rockai authored May 25, 2019
  
  349aa4da
- dios: Add prototypes and a syscall stub for flock(). · d4c4997d
  Petr Rockai authored May 25, 2019
  
  d4c4997d
- 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