Commits · 4.1.4 · paradise / mirror / DIVINE · GitLab

Apr 15, 2018
- releng: Update for 4.1.4 · 74ab5f34
  Release Bot authored Apr 15, 2018
  
  4.1.4
  
  74ab5f34
Apr 09, 2018
- bricks: Add UB-safe helpers for value bitcasting to brick-bitlevel. · ca915635
  Petr Rockai authored Apr 08, 2018
  
  ca915635
- bricks: Fix rather dubious semantics of the hashset 'iterator'. · 278f7c39
  Petr Rockai authored Apr 08, 2018
  
  278f7c39
- VM: Fix a bug where uninitialised bytes got mixed into snapshot hashes. · 40c499aa
  Petr Rockai authored Apr 08, 2018
  
  40c499aa
Apr 08, 2018
- dbg: Prevent a crash in Stepper in case __boot fails to set up a scheduler. · 9498dd16
  Petr Rockai authored Apr 07, 2018
  
  9498dd16
Apr 07, 2018
- MC: Add more unit tests for Builder. · cfd34e56
  Petr Rockai authored Apr 07, 2018
  
  cfd34e56
Apr 08, 2018
- sim: Prevent a crash on an invalid program counter in Stack::is_kernel(). · 16cbf2ad
  Petr Rockai authored Apr 07, 2018
  
  16cbf2ad
Apr 07, 2018
- VM: Add operator! to value::Int (for use with ASSERT_EQ). · c6ce00d4
  Petr Rockai authored Apr 07, 2018
  
  c6ce00d4
- MC: Add a hasher() accessor to Builder. · 18d61a40
  Petr Rockai authored Apr 07, 2018
  
  18d61a40
- VM: Add a bunch of heap unit tests. · 7697b092
  Petr Rockai authored Apr 07, 2018
  
  7697b092
Mar 26, 2018
- rst: Use mask outside of the weakmem function also for fence. · c3c0f17d
  Vladimír Štill authored Mar 26, 2018
  
  c3c0f17d
Mar 25, 2018
- lart: Refactor weakmem transformation pass. · 8ede19d8
  Vladimír Štill authored Mar 25, 2018
  
  8ede19d8
Mar 31, 2018
- rst: Split SV-COMP support to separate files to allow partial linking. · 0685b1c9
  Vladimír Štill authored Mar 31, 2018
  
  0685b1c9
Mar 25, 2018
- lart: Do not break silent loads and stores in weakmem's ScalarMemory. · 134869cb
  Vladimír Štill authored Mar 25, 2018
  
  134869cb
Mar 20, 2018
- libc: Fix thrd_join. · fc130918
  Vladimír Štill authored Mar 20, 2018
  
  fc130918
- libc: Add some missing pthread and C11 thread functions. · a39c7e0f
  Vladimír Štill authored Mar 20, 2018
  
  a39c7e0f
Mar 22, 2018
- lart: Avoid hardcoding bypass for __dios_interrupt in weakmem transformation. · a5613592
  Vladimír Štill authored Mar 22, 2018
  
  a5613592
Apr 02, 2018
- tools: Better mimic gcc in file naming so that divcc can work with CMake. · adc34616
  Zuzana Baranová authored Apr 02, 2018
  
  adc34616
Apr 06, 2018
- DiOS: Reflect that __vm_obj_shared() is gone. · c4658039
  Petr Rockai authored Apr 06, 2018
  
  c4658039
- VM: Do not track whether memory objects are shared. · 49e294f9
  Petr Rockai authored Apr 06, 2018
  
  49e294f9
- VM: Turn the 'sandwich wrapper' into another memory layer. · e4f24da3
  Petr Rockai authored Apr 06, 2018
  
  e4f24da3
- VM: Turn memory metadata (de)compression into a shadow layer. · 086d8b58
  Petr Rockai authored Apr 06, 2018
  
  086d8b58
- VM: Do a minor refactor / generalisation of shadow layering. · 08649c17
  Petr Rockai authored Apr 06, 2018
  
  08649c17
- VM: Temporarily disable supplementary taint layer implementation. · 2b42d38c
  Petr Rockai authored Apr 06, 2018
  
  2b42d38c
Apr 05, 2018
- VM: Return a reference from at() in mem::ExceptionMap. · edef81bc
  Petr Rockai authored Apr 05, 2018
  
  edef81bc
Apr 04, 2018
- VM: Move ExceptionMap out of mem-shadow-common.hpp, into its own header. · d6bb9a52
  Petr Rockai authored Apr 04, 2018
  
  d6bb9a52
Apr 05, 2018
- VM: Pass layers instead of shadow to layers on copy and compare. · 1e2ae028
  Adam Matoušek authored Apr 05, 2018
  
  1e2ae028
- VM: Jot down a couple TODO items. · 3cc44dd1
  Petr Rockai authored Apr 05, 2018
  
  3cc44dd1
- VM: Style fix. · 13f8965d
  Petr Rockai authored Apr 05, 2018
  
  13f8965d
- VM: Assert consistency of debug mode with debug depth whenever flags change. · 7faeff93
  Petr Rockai authored Apr 05, 2018
  
  7faeff93
- VM: Do not crash when trying to print a pointer with unknown/bad type. · 7169a205
  Petr Rockai authored Apr 05, 2018
  
  7169a205
Apr 01, 2018
- releng: Update for 4.1.3 · 2db6aea3
  Release Bot authored Apr 01, 2018
  
  4.1.3
  
  2db6aea3
Mar 31, 2018
- VM: Retain the entire pointer when truncating a pointer-carrying integer. · ead22cf6
  Petr Rockai authored Mar 31, 2018
  
  ead22cf6
- VM: Add support for truncated pointer values to shadow write(). · 3cd00c18
  Petr Rockai authored Mar 31, 2018
  
  3cd00c18
- VM: Add an as_pointer() method to value representation classes. · 4e607bf4
  Petr Rockai authored Mar 31, 2018
  
  4e607bf4
Mar 29, 2018
- VM: Make BitsetContainer's mask compile time constant. · 69a8c66a
  Adam Matoušek authored Mar 29, 2018
  
  69a8c66a
- VM: Optimise shadow comparison. · c44d24be
  Adam Matoušek authored Mar 29, 2018
  
  c44d24be
Mar 27, 2018
- VM: Compare taints in PooledTaintShadow last. · 06df1b56
  Adam Matoušek authored Mar 27, 2018
  
  06df1b56
Mar 26, 2018
- VM: Reimplement the shadows entirely. · e5e1a398
  Adam Matoušek authored Mar 26, 2018
  
  e5e1a398
- VM: Rename heap.* files to mem-heap.*. · 24abcf4f
  Adam Matoušek authored Mar 26, 2018
  
  24abcf4f