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

Feb 04, 2019
- MC: Implement basic graph exploration in terms of a task weaver. · e9827b3e
  Petr Rockai authored Feb 04, 2019
  
  e9827b3e
- MC: Allow single lambdas to act as machines in a Weaver. · dbfcc321
  Petr Rockai authored Feb 04, 2019
  
  dbfcc321
- MC: Add a preliminary, sequential implementation of a 'task weaver'. · 78658bad
  Petr Rockai authored Feb 04, 2019
  
  78658bad
- VM: Call refresh() at the start of continue-type Eval::run_seq(). · 8a1bf5ae
  Petr Rockai authored Feb 04, 2019
  
  8a1bf5ae
- VM: Add a refresh() method to Eval to update the internal instruction pointer. · cacd415c
  Petr Rockai authored Feb 04, 2019
  
  cacd415c
Feb 01, 2019
- bricks: Add a new interval map data structure. · efcd07c7
  Adam Matoušek authored Feb 01, 2019
  
  efcd07c7
Feb 03, 2019
- dios: Switch _PDCLIB_POSIX_MIN guard to __POSIX_VISIBLE. · ca47f20f
  Zuzana Baranová authored Feb 03, 2019
  
  ca47f20f
- rt: Remove define of _POSIX_C_SOURCE from DiosCC::commonFlags. · 6f825e1a
  Zuzana Baranová authored Feb 03, 2019
  
  6f825e1a
- dios: Add missing #includes of <sys/fault.h> to libc/_PDCLIB/*. · ce053f44
  Zuzana Baranová authored Feb 03, 2019
  
  ce053f44
- VM: Fix a possible overflow now that pointer offsets take up 32 bits. · 8d0fe991
  Petr Rockai authored Feb 03, 2019
  
  8d0fe991
- VM: Only allow weak objects to be persisted after a dbg.call. · 69d453bb
  Petr Rockai authored Feb 03, 2019
  
  69d453bb
- test: Work around a 'step --over' issue in sim/bitfield.sh. · d96cf99d
  Petr Rockai authored Feb 03, 2019
  
  d96cf99d
- dios: Do not try to (debug) persist null pointers. · e0183ea7
  Petr Rockai authored Feb 03, 2019
  
  e0183ea7
- dios: Allocate all the persistent debug-related objects as weak. · d4eae223
  Petr Rockai authored Feb 03, 2019
  
  d4eae223
- VM: Remove the useless pointer type argument from nullPointer(). · 704d2af0
  Petr Rockai authored Feb 02, 2019
  
  704d2af0
- dbg: Fix backtrace generation (only exclude globals from the search). · fb8f6713
  Petr Rockai authored Feb 02, 2019
  
  fb8f6713
- mem: Fix heap comparison in the presence of alloca-type pointers. · 003c97f7
  Petr Rockai authored Feb 02, 2019
  
  003c97f7
- mem: Make the default hint for memory allocations fall in the heap range. · 1bc71d41
  Petr Rockai authored Feb 02, 2019
  
  1bc71d41
Feb 02, 2019
- test: Fix the virtual dtor test that accidentally free()'d a local variable. · 85aa4d03
  Petr Rockai authored Feb 02, 2019
  
  85aa4d03
- test: Check that free() on an address of a local variable produces an error. · 2a5feac7
  Petr Rockai authored Feb 02, 2019
  
  2a5feac7
- libc: Refuse to free() non-heap pointers. · 9a23f72c
  Petr Rockai authored Feb 02, 2019
  
  9a23f72c
- VM: Add a pointer type for objects created by alloca instructions. · 3e2c3b79
  Petr Rockai authored Feb 02, 2019
  
  3e2c3b79
- test: Work around an unrelated failure in sim/show-atomic.sh. · 9fbd1d06
  Petr Rockai authored Feb 02, 2019
  
  9fbd1d06
- test: Add a 'todo' tag to sym memory leak testcases. · 4974b6cd
  Petr Rockai authored Feb 02, 2019
  
  4974b6cd
- lart: Temporarily deactivate cleanup (reference counting) for abstractions. · 69e8dd31
  Petr Rockai authored Feb 02, 2019
  
  69e8dd31
- test: Fix tests that use __vm_obj_make directly. · 17ae2a2f
  Petr Rockai authored Feb 02, 2019
  
  17ae2a2f
- test: Remove the 'todo' tag from weakmem/peterson_*.cpp. · 8ed3498e
  Petr Rockai authored Feb 02, 2019
  
  8ed3498e
- test: Remove 'todo' from vm/nonstandard-int.cpp as it works now. · f45ce946
  Petr Rockai authored Feb 02, 2019
  
  f45ce946
- test: Remove 'todo' tags from a number of passing svcomp testcases. · 9f448420
  Petr Rockai authored Feb 02, 2019
  
  9f448420
- test: Remove the 'todo' tag from a bunch of passing pdclib testcases. · 20311605
  Petr Rockai authored Feb 02, 2019
  
  20311605
Feb 01, 2019
- rst: Remove Quintuple::to_string() to avoid pulling in std::string code. · 37277277
  Petr Rockai authored Feb 01, 2019
  
  37277277
Feb 02, 2019
- dios: Fix a __vm_obj_make() call in pthread-rwlock.cpp. · 32c8417a
  Petr Rockai authored Feb 02, 2019
  
  32c8417a
- dios: Fix a call to __vm_obj_make in libcxxbai fallback malloc. · df87eddd
  Petr Rockai authored Feb 02, 2019
  
  df87eddd
- libc: Adapt to pointer type / __vm_obj_make changes. · 48a5c0c2
  Petr Rockai authored Feb 02, 2019
  
  48a5c0c2
- libc: It is no longer possible to change pointer types. · 3a826e1b
  Petr Rockai authored Feb 02, 2019
  
  3a826e1b
- dios: Get rid of a weaken() call in the tracing code in the VFS. · 877d3919
  Petr Rockai authored Feb 02, 2019
  
  877d3919
- rst: Update to the new pointer type / __vm_obj_make semantics. · abaffc34
  Petr Rockai authored Feb 02, 2019
  
  abaffc34
- rst: Remove a few more std::string references from mstring. · 0922dfe3
  Petr Rockai authored Feb 02, 2019
  
  0922dfe3
- dios: Update the kernel to cope with the new __vm_obj_make semantics. · d618f4bc
  Petr Rockai authored Feb 02, 2019
  
  d618f4bc
- mem: Rely on the caller to use a correct hint value for heap allocations. · 193a37d1
  Petr Rockai authored Feb 02, 2019
  
  193a37d1