Commits · 5ecb3dbea73db457935032eddc9f26cc13bf4485 · paradise / mirror / DIVINE · GitLab

Snippets Groups Projects

Jun 25, 2019
- CC: Make stdbool.h a compiler-provided header. · 5ecb3dbe
  Zuzana Baranová authored 5 years ago
  
  5ecb3dbe
Jun 24, 2019
- CC: Put builtin headers into a stringtable to avoid mapping them individually. · 3dc54a8c
  Zuzana Baranová authored 5 years ago
  
  3dc54a8c
- cmake: Generate a stringlist of builtin headers (provided by the compiler). · 0b897fd3
  Zuzana Baranová authored 5 years ago
  
  0b897fd3
Jun 25, 2019
- MC: Fix compilation of exec.cpp (due to a renamed .tpp file). · 1397d5f8
  Petr Rockai authored 5 years ago
  
  1397d5f8
- VM: Add a few pre-composed context stacks. · 98cdcb96
  Petr Rockai authored 5 years ago
  
  98cdcb96
- MC: Fix the task_queue< ... >::extend template alias. · a913ad5b
  Petr Rockai authored 5 years ago
  
  a913ad5b
- MC: Make machine::compute parametric with respect to the weaver tasks it emits. · 086c4497
  Petr Rockai authored 5 years ago
  
  086c4497
- MC: Make task_queue (and hence the weaver) more flexible. · 4c730505
  Petr Rockai authored 5 years ago
  
  4c730505
- MC: Add a context module for tracking a path condition. · 7de7b7c3
  Petr Rockai authored 5 years ago
  
  7de7b7c3
- MC: Compose the machine context as a custom stack. · 9b9ca119
  Petr Rockai authored 5 years ago
  
  9b9ca119
- MC: Tweak the 'machine' stack for slightly improved flexibility. · e5016401
  Petr Rockai authored 5 years ago
  
  e5016401
Jun 23, 2019
- MC: Add prepend{,_f} methods to Weaver. · e8c4dead
  Petr Rockai authored 5 years ago
  
  e8c4dead
- MC: Refactor machine::{Tree,Graph} into component stacks. · 99aac1c9
  Petr Rockai authored 5 years ago
  
  99aac1c9
- bricks: Add brick-compose (utility classes for component composition). · 94e4047c
  Petr Rockai authored 5 years ago
  
  94e4047c
- VM: Clean up context further and split it up into multiple files. · 1a5f2bc5
  Petr Rockai authored 5 years ago
  
  1a5f2bc5
- CC: Add the __gnuc_va_list typedef to stdarg.h. · d4503e44
  Zuzana Baranová authored 5 years ago
  
  d4503e44
- CC: Provide stdarg.h as a compiler builtin. · 1cd20067
  Zuzana Baranová authored 5 years ago
  
  1cd20067
- CC: Add /builtin to include paths in CC1 instead of Native. · a79b6193
  Zuzana Baranová authored 5 years ago
  
  a79b6193
- CC: Provide stddef.h as a true compiler builtin. · bc8c23ce
  Zuzana Baranová authored 5 years ago
  
  bc8c23ce
- test: Make former divcc tests use dioscc instead. · 442dadd7
  Zuzana Baranová authored 5 years ago
  
  442dadd7
- cmake: Build dioscc. · 037cbdc2
  Zuzana Baranová authored 5 years ago
  
  037cbdc2
- tools: Add dioscc (divcc with DiOS). · f8d2af74
  Zuzana Baranová authored 5 years ago
  
  f8d2af74
- RT: Move DiOS-specific link_bitcode parts into NativeDiosCC. · 8aa1ebcd
  Zuzana Baranová authored 5 years ago
  
  8aa1ebcd
- CC: Move common parts of link_bitcode into Native, templated by Driver. · f6823017
  Zuzana Baranová authored 5 years ago
  
  f6823017
- tools: Use cc::Native in divcc, not NativeDiosCC. · f00f5a74
  Zuzana Baranová authored 5 years ago
  
  f00f5a74
Jun 22, 2019
- RT: Add a setter for the _cxx attribute in NativeDiosCC. · 3840ebdb
  Zuzana Baranová authored 5 years ago
  
  3840ebdb
- CC: Make Native::link() virtual. · af1ed5a0
  Zuzana Baranová authored 5 years ago
  
  af1ed5a0
- CC: Factor out help and version printing into Native::print_info(). · 4d94c1c4
  Zuzana Baranová authored 5 years ago
  
  4d94c1c4
- CC: Move the compilation-driving process from divcc into Native::run(). · 0212e99e
  Zuzana Baranová authored 5 years ago
  
  0212e99e
- CC: Move preprocessing steps into Native::preprocess_only(). · 95df537a
  Zuzana Baranová authored 5 years ago
  
  95df537a
- CC: Move construction of PairedFiles into Native. · c1092587
  Zuzana Baranová authored 5 years ago
  
  c1092587
- RT: Set DiOS-specific options in NativeDiosCC's constructor. · eb78ef2e
  Zuzana Baranová authored 5 years ago
  
  eb78ef2e
- CC: Parse and set options in the constructor of Native instead of divcc. · 31c56042
  Zuzana Baranová authored 5 years ago
  
  31c56042
- VM: Fix undefined references to methods defined in context.tpp. · 2b759eb4
  Petr Rockai authored 5 years ago
  
  2b759eb4
- MC: Fix compilation of exec.cpp. · 8d4c0066
  Petr Rockai authored 5 years ago
  
  8d4c0066
- sim: Fix the implementation of 'info functions'. · 796e563e
  Petr Rockai authored 5 years ago
  
  796e563e
Dec 16, 2018
- sim: Implement an 'info functions' subcommand. · 31512a04
  Petr Rockai authored 6 years ago
  
  31512a04
Jun 22, 2019
- VM: Print each evaluated instruction using the brick-trace mechanism. · 64b9f619
  Petr Rockai authored 5 years ago
  
  64b9f619
- VM: Refactor the computation context into a stack of components. · 45fa72a8
  Petr Rockai authored 5 years ago
  
  45fa72a8
- VM: Move and rename dbg::print::opcode() to vm::opname(). · 513beace
  Petr Rockai authored 5 years ago
  
  513beace