Commits · 328e3b6834e058c91df276fff9c0aa8f118f0125 · paradise / mirror / DIVINE · GitLab

Snippets Groups Projects

Nov 02, 2019
- CI: Add CI config · 328e3b68
  Vladimír Štill authored 5 years ago
  
  328e3b68
Nov 01, 2019
- releng: Update for 4.4.0 · 99b0828f
  Release Bot authored 5 years ago
  
  View commits for tag 4.4.0 4.4.0
  
  99b0828f
Oct 21, 2019
- releng: Fix the regexes that check for failed tests in nightly.sh. · 1f07ac56
  Petr Rockai authored 5 years ago
  
  1f07ac56
Oct 20, 2019
- tools: Trace the bindir and srcdir passed to runtime-cc. · ab911961
  Petr Rockai authored 5 years ago
  
  ab911961
- tools: Fix runtime-cc debug path munging when bindir is under srcdir. · 8e2bac73
  Petr Rockai authored 5 years ago
  
  8e2bac73
- dbg: Update the paths used for component (libc, libc++, ...) detection. · b38b00e4
  Petr Rockai authored 5 years ago
  
  b38b00e4
- test: Fix an unintended invalid pointer dereference in a DiOS API testcase. · 5a7fb296
  Petr Rockai authored 5 years ago
  
  5a7fb296
- libc: Generate the assert error message with an interrupt mask enabled. · fa6087b6
  Petr Rockai authored 5 years ago
  
  fa6087b6
- cmake: Shorten the binary dir prefix that runtime-cc removes from debuginfo. · 6d7f7539
  Petr Rockai authored 5 years ago
  
  6d7f7539
- RT: Reduce the amount of munging done on DiOS source paths. · 600727ca
  Petr Rockai authored 5 years ago
  
  600727ca
- tools: Simplify debug path munging in runtime-cc. · 4f4d9d5b
  Petr Rockai authored 5 years ago
  
  4f4d9d5b
- dios: Get rid of the toplevel 'macro' directory. · 4d6cad1b
  Petr Rockai authored 5 years ago
  
  4d6cad1b
- test: Fix fallout from the /dios hierarchy reshuffle. · b1994c8a
  Petr Rockai authored 5 years ago
  
  b1994c8a
- test: Remove an essentially obsolete testcase for __dios::new_object. · e81cda58
  Petr Rockai authored 5 years ago
  
  e81cda58
- bricks: Tighten string_builder a bit to make it fit into 2 64b words. · 3615c90f
  Petr Rockai authored 5 years ago
  
  3615c90f
- VM: Report memory leaks via the fault string mechanism. · 725e2cbc
  Petr Rockai authored 5 years ago
  
  725e2cbc
- test: Update libc/assert.sh (the format of the assert message has changed). · 3525b126
  Petr Rockai authored 5 years ago
  
  3525b126
- test: Add a regression test for memory leaks caused by stdio tracing. · 7808e7cf
  Petr Rockai authored 5 years ago
  
  7808e7cf
- test: Fix a spurious failure in libc/strerror_r-dioscc.sh. · 46993cad
  Petr Rockai authored 5 years ago
  
  46993cad
- test: Convert a couple of shell-based testcases to use divcheck. · 8fd26412
  Petr Rockai authored 5 years ago
  
  8fd26412
- test: Fix a spurious failure in one of the dios monitor testcases. · 2d1629e5
  Petr Rockai authored 5 years ago
  
  2d1629e5
- test: Mark an OOM-prone libc++ test as big. · e37d313d
  Petr Rockai authored 5 years ago
  
  e37d313d
- tools: Add support for 'expect --trace <substring>' to divcheck. · 21aa922c
  Petr Rockai authored 5 years ago
  
  21aa922c
- test: Generate divcheck expect commands in lib/verify, without using lib/check. · 54884be7
  Petr Rockai authored 5 years ago
  
  54884be7
- libc: Improve presentation of assertion failures in counterexample traces. · 028339e2
  Petr Rockai authored 5 years ago
  
  028339e2
- dios: Give a shorter name to the per-config 'context' type. · 31462b9c
  Petr Rockai authored 5 years ago
  
  31462b9c
- bricks: Fix a compiler warning in brick-smt. · 4f6a0997
  Petr Rockai authored 5 years ago
  
  4f6a0997
Oct 18, 2019
- VM: Do not print empty 'FAULT:' messages into the trace. · 932a9810
  Petr Rockai authored 5 years ago
  
  932a9810
Oct 17, 2019
- vm: Fix off-by-one error in acquisition of __vm_choose arguments. · efc77037
  Henrich Lauko authored 5 years ago
  
  efc77037
Oct 14, 2019
- bricks: Fix rpn to string formatting. · 8e7afa70
  Henrich Lauko authored 5 years ago
  
  8e7afa70
Oct 11, 2019
- lart: Refactor function preprocessing in DFA. · c0fd4e7c
  Henrich Lauko authored 5 years ago
  
  c0fd4e7c
Oct 10, 2019
- rst: Introduce lart intrinsic to access domain vtable. · 0cc2cf40
  Henrich Lauko authored 5 years ago
  
  0cc2cf40
- lart: Generate function to allow access to domain vtable. · c979e544
  Henrich Lauko authored 5 years ago
  
  c979e544
- lart: Fix annotation of thaw operation. · 40a1c566
  Henrich Lauko authored 5 years ago
  
  40a1c566
- test: Add bunch of abstract unit aggregate tests. · 5b2a4c72
  Henrich Lauko authored 5 years ago
  
  5b2a4c72
- lart: Implement generation of aggregate related lifters. · 5d79327b
  Henrich Lauko authored 5 years ago
  
  5d79327b
- lart: Implement aggregate data flow analysis. · 50018c15
  Henrich Lauko authored 5 years ago
  
  50018c15
- rst: Implement unit aggregate abstract domain. · 41f7bc67
  Henrich Lauko authored 5 years ago
  
  41f7bc67
- rst: Fix interface annotation of term lifter. · b94009a6
  Henrich Lauko authored 5 years ago
  
  b94009a6
- rst: Allow abstract constructors to take arguments. · 422ffb50
  Henrich Lauko authored 5 years ago
  
  422ffb50