Commits · 4.0.6 · paradise / mirror / DIVINE · GitLab

Apr 16, 2017
- releng: Update for 4.0.6 · 72d8288a
  Release Bot authored Apr 15, 2017
  
  4.0.6
  
  72d8288a
Apr 15, 2017
- UI: A few more tweaks and cleanups in the help output. · 965b8b4e
  Petr Rockai authored Apr 15, 2017
  
  965b8b4e
- releng: Make building of VM images more robust. · 928f9a94
  Vladimír Štill authored Apr 15, 2017
  
  928f9a94
Apr 13, 2017
- bricks: Allow user to specify maximum length of data read with fs::readFile. · 1726224b
  Vladimír Štill authored Apr 13, 2017
  
  1726224b
Apr 12, 2017
- bricks: Add a constructor which constructs ArchiveReader from MemoryBuffer. · c98aab6f
  Vladimír Štill authored Apr 12, 2017
  
  c98aab6f
- test: Fix names of CC tests. · 04618f2c
  Vladimír Štill authored Apr 12, 2017
  
  04618f2c
Apr 15, 2017
- UI: Shorten overlong option help strings. · 436828e7
  Petr Rockai authored Apr 15, 2017
  
  436828e7
Apr 12, 2017
- CC: Don't link with libm by default. · 8c9d1449
  Vladimír Štill authored Apr 12, 2017
  
  8c9d1449
- UI: Make -l options for adding libraries work also in the verify command. · c98a35f9
  Vladimír Štill authored Apr 12, 2017
  
  c98a35f9
- CC: Implement support for adding libraries with -l option. · 0f76134b
  Vladimír Štill authored Apr 12, 2017
  
  0f76134b
Apr 15, 2017
- MC: Fix trace generation when both error and non-error edges lead to a state. · 1695a5fe
  Petr Rockai authored Apr 15, 2017
  
  1695a5fe
- VM: Put the error flag on edge labels where it belongs (instead of states). · fc136977
  Petr Rockai authored Apr 15, 2017
  
  fc136977
Apr 14, 2017
- VM: Recognise pointers to members when constructing type names in DebugNode. · a8242357
  Petr Rockai authored Apr 14, 2017
  
  a8242357
- DiOS: Remove redundant macro headers. · 20653994
  Petr Rockai authored Apr 14, 2017
  
  20653994
- DiOS: Refactor the syscall table, simplifying related preprocessor macros. · 5c37eb21
  Petr Rockai authored Apr 14, 2017
  
  5c37eb21
- DiOS: Clean up a few components (tweak formatting, drop redundant methods). · 7b075887
  Petr Rockai authored Apr 14, 2017
  
  7b075887
- libc: Declare __dios_syscall also when building the kernel, temporarily. · dc78e774
  Petr Rockai authored Apr 14, 2017
  
  dc78e774
- cmake: Build libdios.a with -D__dios_kernel__. · 4fb65567
  Petr Rockai authored Apr 14, 2017
  
  4fb65567
- cmake: Allow runtime (dios) to use bricks. · ed815aee
  Petr Rockai authored Apr 14, 2017
  
  ed815aee
Apr 12, 2017
- DiOS: Remove the now-redundant 'int *err' argument from syscalls. · 364fd562
  Petr Rockai authored Apr 12, 2017
  
  364fd562
- DiOS: Use __dios_get_errno() for setting errno in syscalls. · e8a53531
  Petr Rockai authored Apr 12, 2017
  
  e8a53531
- DiOS: Clear the thread handle from _VM_CR_User2 whenever it becomes invalid. · 3ad2df0c
  Petr Rockai authored Apr 12, 2017
  
  3ad2df0c
Apr 08, 2017
- releng: Fix finding of iodbc libraries and headers. · 72a5c6df
  Vladimír Štill authored Apr 08, 2017
  
  72a5c6df
Apr 11, 2017
- doc: Update the ROADMAP. · e6b3e8c1
  Petr Rockai authored Apr 11, 2017
  
  e6b3e8c1
- doc: Update NEWS for 4.0.4 and 4.0.5. · daa862d8
  Petr Rockai authored Apr 11, 2017
  
  daa862d8
- DiOS: Template Thread by a process type for component building. · ff61a167
  Zuzana Baranová authored Apr 11, 2017
  
  ff61a167
Apr 10, 2017
- doc: Fix typos in the roadmap. · 3b87e100
  Zuzana Baranová authored Apr 10, 2017
  
  3b87e100
- doc: Update year to 2017. · fad458d2
  Zuzana Baranová authored Apr 10, 2017
  
  fad458d2
- libc: Remove the __dios_kill_process syscall. · 5b4f1034
  Jan Mrázek authored Apr 10, 2017
  
  5b4f1034
Apr 09, 2017
- test: Use raise( SIGKILL ) instead of __dios_kill_process. · 01cf4938
  Jan Mrázek authored Apr 08, 2017
  
  01cf4938
Apr 08, 2017
- test: Adapt sim tests to name changes in DiOS. · e242a44e
  Jan Mrázek authored Apr 08, 2017
  
  e242a44e
- test: Adapt DiOS test to modified interface. · 1939b2f4
  Jan Mrázek authored Apr 08, 2017
  
  1939b2f4
- DiOS: Simplify syscall table. · 9a6aeaf6
  Jan Mrázek authored Apr 08, 2017
  
  9a6aeaf6
- DiOS: Move DiOS syscall wrappers to libc. · 7ae5961e
  Jan Mrázek authored Apr 08, 2017
  
  7ae5961e
- DiOS: Temporarily disable VFS passthru. · 24b471ac
  Jan Mrázek authored Apr 08, 2017
  
  24b471ac
- runtime: Adapt Monitor C API to the new DiOS component. · ca29f9c9
  Jan Mrázek authored Apr 08, 2017
  
  ca29f9c9
- DiOS: Turn Scheduler into a component. · b0ae5ea9
  Jan Mrázek authored Apr 08, 2017
  
  b0ae5ea9
- DiOS: Do not requie SortedStorage to be the only member in struct. · 701dccda
  Jan Mrázek authored Apr 08, 2017
```
SortedStorage used parent struct's memory for storage. This saves
a pointer but prevents the parent from having more than one
member. 
```
  701dccda
- DiOS: Turn Fault into a component. · 8ef142ae
  Jan Mrázek authored Apr 08, 2017
  
  8ef142ae
- DiOS: Turn VFS into a component. · aa628e10
  Jan Mrázek authored Apr 08, 2017
  
  aa628e10