Commits · 4.0.21 · paradise / mirror / DIVINE · GitLab

Dec 16, 2017
- releng: Update for 4.0.21 · 3b094625
  Release Bot authored Dec 15, 2017
  
  4.0.21
  
  3b094625
Dec 15, 2017
- VM: Fix an out-of-bounds access in PooledShadow::read(). · c8454391
  Petr Rockai authored Dec 15, 2017
  
  c8454391
- tools: Skip input object files (*.o) with divcc for now. · 8555828f
  Zuzana Baranová authored Dec 15, 2017
  
  8555828f
- tools: Make divcc invoke gcc for linking and use DIVINE's headers. · 0484227a
  Zuzana Baranová authored Dec 15, 2017
  
  0484227a
- tools: Implement the -E option for divcc (preprocess only). · 2331ea3c
  Zuzana Baranová authored Dec 15, 2017
  
  2331ea3c
- UI: Fix typos. · cf70fa37
  Zuzana Baranová authored Dec 15, 2017
  
  cf70fa37
- CC: Distinguish -c and -E options at parsing. · 21879cd0
  Zuzana Baranová authored Dec 15, 2017
  
  21879cd0
- CC: Add an 'Obj' FileType for object files. · 9176c7ea
  Zuzana Baranová authored Dec 15, 2017
  
  9176c7ea
- make: Add divcc to DEFTARGETS. · 92408580
  Zuzana Baranová authored Dec 15, 2017
  
  92408580
- cmake: Link divine-rt into divcc. · 037f0508
  Zuzana Baranová authored Dec 15, 2017
  
  037f0508
Dec 13, 2017
- UI: Print the report filename even if no error was found. · 86cd1d02
  Petr Rockai authored Dec 13, 2017
  
  86cd1d02
- UI: Overwrite reports by default, --report-unique restores previous behaviour. · 4b957d81
  Petr Rockai authored Dec 13, 2017
  
  4b957d81
Dec 11, 2017
- doc: Add info about a symbolic verification to the manual. · 19649662
  Henrich Lauko authored Dec 11, 2017
  
  19649662
Dec 12, 2017
- VM: Fix stepper -- call flush_ptr2i() after context assignment. · 01a53a54
  Petr Rockai authored Dec 12, 2017
  
  01a53a54
- sim: A couple code formatting fixes. · 732d6638
  Petr Rockai authored Dec 11, 2017
  
  732d6638
Dec 11, 2017
- test: Add a couple of simple testcases for sim (rewind and --load-report). · c2b01ff1
  Petr Rockai authored Dec 11, 2017
  
  c2b01ff1
- test: Implement immediate negative matches (prefix !) in ordgrep. · 0904929c
  Petr Rockai authored Dec 11, 2017
  
  0904929c
- sim: Fix reach_user() and thus 'rewind'. · 021285d0
  Petr Rockai authored Dec 11, 2017
  
  021285d0
Dec 10, 2017
- Update my entry in authorspellings. · a9a0a0a2
  Petr Rockai authored Dec 10, 2017
  
  a9a0a0a2
- make: Remove unreliable static building hacks & do a real static build instead. · a9162b53
  Petr Rockai authored Dec 10, 2017
  
  a9162b53
- cmake: Replace BUILD_PREFER_STATIC with STATIC_BUILD (=> actual static builds). · d4c2d53a
  Petr Rockai authored Dec 10, 2017
  
  d4c2d53a
- make: Allow various foo_FLAGS to be overriden in local.make. · 6ca9a635
  Petr Rockai authored Dec 10, 2017
  
  6ca9a635
- releng: Add support for alpine linux to install-prereq.sh. · 39c8363b
  Petr Ročkai authored Dec 10, 2017
  
  39c8363b
- doc: Update and clean up the tutorial section of the manual. · c3306c9c
  Petr Rockai authored Dec 10, 2017
  
  c3306c9c
- VM: Add a helper method to dbg::Node for retrieving related nodes by name. · b41f94c1
  Petr Rockai authored Dec 10, 2017
  
  b41f94c1
- sim: Also run sticky commands (from the init file) before the first prompt. · 3042cc52
  Petr Rockai authored Dec 10, 2017
  
  3042cc52
- sim: In reach_error(), set $_ to the frame with the error. · e6a62063
  Petr Rockai authored Dec 10, 2017
  
  e6a62063
- sim: Respect _debug_kernel in reach_error(). · 65efd4c7
  Petr Rockai authored Dec 10, 2017
  
  65efd4c7
- test: Add a simple fork test, in addition to the existing complex one. · 76d38ed2
  Petr Rockai authored Dec 10, 2017
  
  76d38ed2
- sim: Don't forget to print a newline after the command in batch mode. · d02cf6f7
  Petr Rockai authored Dec 10, 2017
  
  d02cf6f7
- test: Update backtrace-matching regexes to reflect current output format. · a7c845d7
  Petr Rockai authored Dec 10, 2017
  
  a7c845d7
- sim: Make the line-breaking behaviour in backtrace a bit more sensible. · af9bc04f
  Petr Rockai authored Dec 10, 2017
  
  af9bc04f
- test: Update tests to cope with the removal of _PDCLIB_assert_dios. · f7415bf2
  Petr Rockai authored Dec 10, 2017
  
  f7415bf2
- test: Update sim tests to reflect the new backtrace format. · 702cfaed
  Petr Rockai authored Dec 10, 2017
  
  702cfaed
- UI: Report options only after verification has finished. · b479b77b
  Petr Rockai authored Dec 10, 2017
  
  b479b77b
- UI: It's counterproductive to check resource limits after finishing. · 65c172b5
  Petr Rockai authored Dec 10, 2017
  
  65c172b5
- UI: Only create an interactive log sink if stderr is on a terminal. · 03064354
  Petr Rockai authored Dec 10, 2017
  
  03064354
- VM: Only include valid debug nodes in backtraces. · 83de6721
  Petr Rockai authored Dec 10, 2017
  
  83de6721
- VM: Make validity checks on frame-kinded dbg::Node's a little stricter. · 215b451f
  Petr Rockai authored Dec 10, 2017
  
  215b451f
- test: Simplify vm/2.frame-invalid.c & split the hard cases into new tests. · 86a33336
  Petr Rockai authored Dec 10, 2017
  
  86a33336