Commits · rust-support · general / stups / b2program · GitLab

Snippets Groups Projects

Oct 12, 2022
- added ProB-MC results and updated benchmark-processing skript · ee73cc25
  Cookiebowser authored 2 years ago
  
  ee73cc25
Sep 01, 2022
- updated execution result-table with ProB results · b0fd0744
  Cookiebowser authored 2 years ago
  
  b0fd0744
- Updated Rust execution benchmark-files and checked that results are still accurate · 7306556e
  Cookiebowser authored 2 years ago
  
  7306556e
Aug 29, 2022
- filled MC benchmark table more and fixed some rust issues · 9f818485
  Cookiebowser authored 2 years ago
  
  9f818485
Aug 18, 2022
- post-rebase cleanup · e2676ecb
  Cookiebowser authored 2 years ago
  
  e2676ecb
- Updated main-Readme regarding rust support · 5fc47006
  Cookiebowser authored 2 years ago
  
  5fc47006
- added c++ O2 test results · 89b87f49
  Cookiebowser authored 2 years ago
  
  89b87f49
- added more tests and fixed some bugs · fcf4ba93
  Cookiebowser authored 2 years ago
  
  fcf4ba93
- fixed empty Set/Relation typing and added missing permutate function · 6afda26f
  Cookiebowser authored 2 years ago
  
  6afda26f
- initial MC-result update · 32288f9d
  Cookiebowser authored 2 years ago
  
  32288f9d
- added more Others-benchmarks and fixed a small thing · c9ae184e
  Cookiebowser authored 2 years ago
  
  c9ae184e
- fixed implies impl and added noDead-flag for MC · 76af07af
  Cookiebowser authored 2 years ago
  76af07af
- added SetRelation test · 54bfb17b
  Cookiebowser authored 2 years ago
  
  54bfb17b
- fixed CartesianProduct for Relation parameter · da7e2d82
  Cookiebowser authored 2 years ago
  
  da7e2d82
- fixed empty sets/relations not working if they dont have a type · 101f55fb
  Cookiebowser authored 2 years ago
  
  101f55fb
- enhanced result processing script to calculate median · 0b2af228
  Cookiebowser authored 2 years ago
  
  0b2af228
- added checkDomain/Range/Partial/Total for Relation parameter · 9ff55e2a
  Cookiebowser authored 2 years ago
  9ff55e2a
- updated Java-MC benchmark files · 06c27bd8
  Cookiebowser authored 2 years ago
  06c27bd8
- changed states-set to ConcurrentHashSet in JavaTemplate · 619f4ab6
  Cookiebowser authored 2 years ago
  
  619f4ab6
- added empty set_initialization to templates · d5605e8a
  Cookiebowser authored 2 years ago
  
  d5605e8a
- added missing BString implementation · d6906a93
  Cookiebowser authored 2 years ago
  
  d6906a93
- added missing template parts to rust template · b8e9ecf1
  Cookiebowser authored 2 years ago
  
  b8e9ecf1
- adjusted rust template to MC-generator changes · 17fd0f3e
  Cookiebowser authored 2 years ago
  
  17fd0f3e
- fixed small c++ template issue · a7c50c89
  Cookiebowser authored 2 years ago
  
  a7c50c89
- optimized c++ Template (MC) · 167e8dfa
  Cookiebowser authored 2 years ago
  
  167e8dfa
- increased rust MC MT performance · 8a60d560
  Cookiebowser authored 3 years ago
  8a60d560
- removed btypes lazy, since they dont work · 9d2d98c8
  Cookiebowser authored 3 years ago
  
  9d2d98c8
- small cleanups · aa973831
  Cookiebowser authored 3 years ago
  
  aa973831
- btypes lazy iter somewhat working · 4b15a381
  Cookiebowser authored 3 years ago
  
  4b15a381
- continued lazy_btypes rust · 8f4fbfa6
  Cookiebowser authored 3 years ago
  
  8f4fbfa6
- lazy_op progress · 929914e6
  Cookiebowser authored 3 years ago
  
  929914e6
- started lazy betypes · 91e86bdc
  Cookiebowser authored 3 years ago
  
  91e86bdc
- started running benchmarks · d0257c29
  Cookiebowser authored 3 years ago
  
  d0257c29
- fixed some btype and template bugs · 6219832e
  Cookiebowser authored 3 years ago
  
  6219832e
- rust template and bboolean adjustments · 57695cfd
  Cookiebowser authored 3 years ago
  57695cfd
- started integrating performance enhancements into rust-template · 50110bc1
  Cookiebowser authored 3 years ago
  
  50110bc1
- added hash caching to OrdSet · e77fa5be
  Cookiebowser authored 3 years ago
  
  e77fa5be
- fixed inefficiencies in rust template and started set-hash caching · 2dd2db6e
  Cookiebowser authored 3 years ago
  
  2dd2db6e
- added caching of hash for BRelation · ab734614
  Cookiebowser authored 3 years ago
  
  ab734614
- fixed and/or not short-circuiting · c2ec67b2
  Cookiebowser authored 3 years ago
  
  c2ec67b2