Commits · d154295b1c58d0035c6bfc8c35dad4b12fcfb33d · paradise / mirror / DIVINE · GitLab

Jun 30, 2019
- CI: Add CI config · d154295b
  Vladimír Štill authored Jun 30, 2019
  
  d154295b
Jun 29, 2019
- CC: Pass the C++ mode flag to Driver in both divc++ and diosc++. · cbfa85cc
  Zuzana Baranová authored Jun 29, 2019
  
  cbfa85cc
- test: Check for both lld and ld error messages with nonexistent library. · 9f9cae8b
  Zuzana Baranová authored Jun 29, 2019
  
  9f9cae8b
- CC: Make ld the default linker and lld optional (with --use-lld). · 5abd4efb
  Zuzana Baranová authored Jun 29, 2019
  
  5abd4efb
- dios: Move utime.h into its correct location. · 32d26e98
  Zuzana Baranová authored Jun 29, 2019
  
  32d26e98
- cmake: Add libm to include paths. · 931b056a
  Zuzana Baranová authored Jun 29, 2019
  
  931b056a
Jun 27, 2019
- cmake: Use 80-bit libm function definitions. · a33ac5f9
  Zuzana Baranová authored Jun 27, 2019
  
  a33ac5f9
Jun 28, 2019
- dios: Import OpenBSD's dlfcn.h (replace a placeholder one). · 7e14e8e2
  Zuzana Baranová authored Jun 28, 2019
  
  7e14e8e2
- dios: Add #include <bits/confname.h> to unistd.h (for _SC_* #defines). · 5aaf1767
  Zuzana Baranová authored Jun 28, 2019
  
  5aaf1767
Jun 27, 2019
- CC: Move the _cxx attribute from rt::NativeDiosCC into Native. · d6277e1e
  Zuzana Baranová authored Jun 27, 2019
  
  d6277e1e
- dios: Add missing #include <endian.h> to libm/math_private.h. · 2403e49e
  Zuzana Baranová authored Jun 27, 2019
  
  2403e49e
- dios: Remove duplicate s_nexttowardf.c (is already in libm/). · 9d79c566
  Zuzana Baranová authored Jun 27, 2019
  
  9d79c566
- dios: Remove a strong alias from libm's s_nextafterl.c. · e6c222fc
  Zuzana Baranová authored Jun 27, 2019
  
  e6c222fc
- dios: Use compiler __builtins for math.h classification macros. · 6181c24a
  Zuzana Baranová authored Jun 27, 2019
  
  6181c24a
Jun 25, 2019
- CC: Import float.h and limits.h from clang as compiler-provided headers. · 6d4219fd
  Zuzana Baranová authored Jun 25, 2019
  
  6d4219fd
- CC: Make stdbool.h a compiler-provided header. · 5ecb3dbe
  Zuzana Baranová authored Jun 25, 2019
  
  5ecb3dbe
Jun 24, 2019
- CC: Put builtin headers into a stringtable to avoid mapping them individually. · 3dc54a8c
  Zuzana Baranová authored Jun 24, 2019
  
  3dc54a8c
- cmake: Generate a stringlist of builtin headers (provided by the compiler). · 0b897fd3
  Zuzana Baranová authored Jun 24, 2019
  
  0b897fd3
Jun 25, 2019
- MC: Fix compilation of exec.cpp (due to a renamed .tpp file). · 1397d5f8
  Petr Rockai authored Jun 25, 2019
  
  1397d5f8
- VM: Add a few pre-composed context stacks. · 98cdcb96
  Petr Rockai authored Jun 25, 2019
  
  98cdcb96
- MC: Fix the task_queue< ... >::extend template alias. · a913ad5b
  Petr Rockai authored Jun 25, 2019
  
  a913ad5b
- MC: Make machine::compute parametric with respect to the weaver tasks it emits. · 086c4497
  Petr Rockai authored Jun 25, 2019
  
  086c4497
- MC: Make task_queue (and hence the weaver) more flexible. · 4c730505
  Petr Rockai authored Jun 25, 2019
  
  4c730505
- MC: Add a context module for tracking a path condition. · 7de7b7c3
  Petr Rockai authored Jun 24, 2019
  
  7de7b7c3
- MC: Compose the machine context as a custom stack. · 9b9ca119
  Petr Rockai authored Jun 24, 2019
  
  9b9ca119
- MC: Tweak the 'machine' stack for slightly improved flexibility. · e5016401
  Petr Rockai authored Jun 24, 2019
  
  e5016401
Jun 23, 2019
- MC: Add prepend{,_f} methods to Weaver. · e8c4dead
  Petr Rockai authored Jun 23, 2019
  
  e8c4dead
- MC: Refactor machine::{Tree,Graph} into component stacks. · 99aac1c9
  Petr Rockai authored Jun 23, 2019
  
  99aac1c9
- bricks: Add brick-compose (utility classes for component composition). · 94e4047c
  Petr Rockai authored Jun 23, 2019
  
  94e4047c
- VM: Clean up context further and split it up into multiple files. · 1a5f2bc5
  Petr Rockai authored Jun 22, 2019
  
  1a5f2bc5
- CC: Add the __gnuc_va_list typedef to stdarg.h. · d4503e44
  Zuzana Baranová authored Jun 23, 2019
  
  d4503e44
- CC: Provide stdarg.h as a compiler builtin. · 1cd20067
  Zuzana Baranová authored Jun 23, 2019
  
  1cd20067
- CC: Add /builtin to include paths in CC1 instead of Native. · a79b6193
  Zuzana Baranová authored Jun 23, 2019
  
  a79b6193
- CC: Provide stddef.h as a true compiler builtin. · bc8c23ce
  Zuzana Baranová authored Jun 23, 2019
  
  bc8c23ce
- test: Make former divcc tests use dioscc instead. · 442dadd7
  Zuzana Baranová authored Jun 23, 2019
  
  442dadd7
- cmake: Build dioscc. · 037cbdc2
  Zuzana Baranová authored Jun 23, 2019
  
  037cbdc2
- tools: Add dioscc (divcc with DiOS). · f8d2af74
  Zuzana Baranová authored Jun 23, 2019
  
  f8d2af74
- RT: Move DiOS-specific link_bitcode parts into NativeDiosCC. · 8aa1ebcd
  Zuzana Baranová authored Jun 23, 2019
  
  8aa1ebcd
- CC: Move common parts of link_bitcode into Native, templated by Driver. · f6823017
  Zuzana Baranová authored Jun 23, 2019
  
  f6823017
- tools: Use cc::Native in divcc, not NativeDiosCC. · f00f5a74
  Zuzana Baranová authored Jun 23, 2019
  
  f00f5a74