Commits · 4.0.23 · paradise / mirror / DIVINE · GitLab

Jan 16, 2018
- releng: Update for 4.0.23 · 1c14bb6f
  Release Bot authored Jan 15, 2018
  
  4.0.23
  
  1c14bb6f
Jan 10, 2018
- clang: Add toolchain support for the musl-based Alpine Linux. · 9c62e0a6
  Petr Rockai authored Jan 10, 2018
  
  9c62e0a6
- clang: Add -lpthread after -lc++abi since the latter depends on the former. · 4ced4f6b
  Petr Rockai authored Jan 10, 2018
  
  4ced4f6b
Dec 11, 2017
- bricks: Fix build (non-portable #includes) on musl-based systems. · 0e365f54
  Petr Rockai authored Dec 11, 2017
  
  0e365f54
Dec 10, 2017
- libcxx: Fix build on musl-based systems. · 08c35c77
  Petr Ročkai authored Dec 10, 2017
  
  08c35c77
- llvm: Fix a const-discarding cast (triggered on musl-based systems). · 8b9777ab
  Petr Ročkai authored Dec 10, 2017
  
  8b9777ab
- llvm: Fix build on musl-based systems (fopen64 etc. is #defined to fopen). · 37f819a7
  Petr Ročkai authored Dec 10, 2017
  
  37f819a7
Jan 10, 2018
- VM: Free transient objects (i.e. those that never become part of a snapshot). · 20737fc6
  Petr Rockai authored Jan 10, 2018
  
  20737fc6
- doc: Minor formatting improvements in the manual. · 8460aadb
  Petr Rockai authored Jan 10, 2018
  
  8460aadb
- doc: Improve variable handling in panmd.pl. · e29fca3b
  Petr Rockai authored Jan 10, 2018
  
  e29fca3b
- doc: Limit the toc depth on release notes (whatsnew.html). · 5096b628
  Petr Rockai authored Jan 10, 2018
  
  5096b628
- doc: Fix a dead link in website/status.md. · 4d274093
  Petr Rockai authored Jan 10, 2018
  
  4d274093
- doc: Update manual metadata (including the author list). · 59e841c1
  Petr Rockai authored Jan 10, 2018
  
  59e841c1
- doc: Revive the PDF manual, use ConTeXt to build it. · e5d456d6
  Petr Rockai authored Jan 10, 2018
  
  e5d456d6
- doc: More updates to the DiOS section of the manual. · 872c1ff5
  Petr Rockai authored Jan 10, 2018
  
  872c1ff5
- doc: Update and shorten the `divine info` example in the manual. · 42d4d0bd
  Petr Rockai authored Jan 10, 2018
  
  42d4d0bd
- doc: Clean up the DiOS section of the manual. · 89913ed4
  Petr Rockai authored Jan 10, 2018
  
  89913ed4
- doc: Add a separate page (previously.md) for archived news items. · 7cedd729
  Petr Rockai authored Jan 10, 2018
  
  7cedd729
- doc: Mention static binaries in the download section of the website. · fd624fe7
  Petr Rockai authored Jan 10, 2018
  
  fd624fe7
- doc: Don't boldface paper titles in bib2md.pl (links stand out enough). · 205ce619
  Petr Rockai authored Jan 10, 2018
  
  205ce619
Jan 09, 2018
- doc: Update NEWS up to 4.0.22. · 794fa6cc
  Petr Rockai authored Jan 09, 2018
  
  794fa6cc
- doc: Update NEWS up to 4.0.15. · 531fe11f
  Petr Rockai authored Jan 09, 2018
  
  531fe11f
- doc: Use reverse-chronological order within the 4.0 patchlevel history. · 75159816
  Petr Rockai authored Jan 09, 2018
  
  75159816
- doc: Improve formatting of NEWS. · 27d8b630
  Petr Rockai authored Jan 09, 2018
  
  27d8b630
Jan 07, 2018
- VM: Account for varargs when checking parameter count in Context::enter(). · f0275f0d
  Petr Rockai authored Jan 07, 2018
  
  f0275f0d
- VM: Use OpArg-encoded argument slots in Context::enter(). · 6701a2c8
  Petr Rockai authored Jan 07, 2018
  
  6701a2c8
- VM: Use OpArg result slots for holding function arguments. · 52cba49c
  Petr Rockai authored Jan 07, 2018
  
  52cba49c
- VM: Resolve conflicts in shadow.hpp. · fd365713
  Petr Rockai authored Jan 07, 2018
  
  fd365713
Nov 14, 2017
- VM: Implement definedness exceptions in PooledShadow. · 4a7390a2
  Adam Matoušek authored Nov 14, 2017
  
  4a7390a2
- test: Add tests with bitfields and partially initialised values. · cf28f77e
  Adam Matoušek authored Nov 14, 2017
  
  cf28f77e
Jan 07, 2018
- bricks: Use ANSI colour codes in brick-shelltest when on a TTY. · ef41ff9c
  Petr Rockai authored Jan 07, 2018
  
  ef41ff9c
- VM: Use normal frame alignment rules for function arguments. · 96e10771
  Petr Rockai authored Jan 07, 2018
  
  96e10771
Oct 18, 2017
- VM: Unaligned pointer read treated as data read. · d2fb5e07
  Adam Matoušek authored Oct 18, 2017
  
  d2fb5e07
Jan 07, 2018
- tools: Do not try to install a SIGKILL handler. · a1d578b9
  Petr Rockai authored Jan 07, 2018
  
  a1d578b9
- tools: Add a missing #include to divcc.cpp. · 1272485d
  Petr Rockai authored Jan 07, 2018
  
  1272485d
Jan 06, 2018
- UI: Print solver name only in a long report. · 61a0cc76
  Henrich Lauko authored Jan 06, 2018
  
  61a0cc76
- bricks: Fix unary 'bigand' and 'bigor'. · fed0f88a
  Henrich Lauko authored Jan 06, 2018
  
  fed0f88a
Dec 27, 2017
- VM: Fix smt2 compatibility in formula creation. · 8888f7a5
  Henrich Lauko authored Dec 27, 2017
  
  8888f7a5
Jan 06, 2018
- VM: Fix handling of OpArg and opcode 0 in dbg::Node's bitcode printer. · 2f62606e
  Petr Rockai authored Jan 06, 2018
  
  2f62606e
- VM: Fault when a non-heap pointer is passed to a heap management hypercall. · edb7ea61
  Petr Rockai authored Jan 06, 2018
  
  edb7ea61