Commits · a393e2e281a8bcbfa0f07995fa2968ce7d79fc40 · general / stups / b2program

Browse files

Nov 24, 2024
- Update information on used benchmarks · dc8cac09
  Fabian Vu authored 9 months ago
  
  dc8cac09
- Update information on used models · 1ab50739
  Fabian Vu authored 9 months ago
  
  1ab50739
- Update information on benchmark files · 67c90eca
  Fabian Vu authored 9 months ago
  
  67c90eca
- Update information on benchmark files · b452379e
  Fabian Vu authored 9 months ago
  
  b452379e
- Update information on models in benchmarks · 15ebbfd7
  Fabian Vu authored 9 months ago
  
  15ebbfd7
- Update information about models · 0d73b1e5
  Fabian Vu authored 9 months ago
  
  0d73b1e5
Oct 20, 2024
- Add details on LinkedList implementation for JavaScript · bd24edfa
  Fabian Vu authored 10 months ago
  
  bd24edfa
Oct 17, 2024
- Add CBTC model prob_oneway8seq to tests · b5db8bbc
  Fabian Vu authored 10 months ago
  
  b5db8bbc
Oct 13, 2024
- Minor changes in CAN BUS tlc · e547eb12
  Fabian Vu authored 10 months ago
  
  e547eb12
Apr 25, 2024
- Update Python script for model checking results · 8ca07ce6
  Fabian Vu authored Apr 25, 2024
  
  8ca07ce6
Apr 24, 2024
- Add Python script to compute median for runtime and memory for Java, C++, and JavaScript · 5449956b
  Fabian Vu authored Apr 24, 2024
  
  5449956b
Jan 31, 2024
- Update C++ benchmarks · 76bad847
  Fabian Vu authored Jan 31, 2024
  
  76bad847
- Add missing new CAN BUS tlc C++ model checking benchmark · 958af0a3
  Fabian Vu authored Jan 31, 2024
  
  958af0a3
- Fix merge conflict · 70cd8857
  Fabian Vu authored Jan 31, 2024
  
  70cd8857
- Update C++ model checking files · 1a2f8c8a
  Fabian Vu authored Jan 31, 2024
  
  1a2f8c8a
- Update unchecked file · e5aaecff
  Fabian Vu authored Jan 31, 2024
  
  e5aaecff
- Update C++ model checking files · 72dae3cb
  Fabian Vu authored Jan 31, 2024
  
  72dae3cb
- Improve performance of some operators in TypeScript implementation · e77872d0
  Fabian Vu authored Jan 31, 2024
  
  e77872d0
Nov 08, 2023
- Fix a bug in TsTemplate regarding caching · e73e211c
  Fabian Vu authored Nov 8, 2023
  
  e73e211c
Oct 17, 2023
- Remove unused files from immutable.js · f8ad8ef0
  dgelessus authored Oct 17, 2023
  f8ad8ef0
Jul 20, 2023
- Bump word-wrap in /benchmarks/model_checking/JS/immutable · 6f6fa891
  dependabot[bot] authored Jul 20, 2023
  Unverified
  
  6f6fa891
Jun 27, 2023
- Implement copy constructor in TypeScript style · ea4de25d
  Fabian Vu authored Jun 27, 2023
  
  ea4de25d
- Update generated Java code · cbf5fbc4
  Fabian Vu authored Jun 27, 2023
  
  cbf5fbc4
- Fix some performance lacks · c0773b6b
  Fabian Vu authored Jun 27, 2023
  
  c0773b6b
- Fix some performance lacks · 882d083f
  Fabian Vu authored Jun 27, 2023
  
  882d083f
- Fix a performance lack in JavaScript model checking code generation · 34d079e1
  Fabian Vu authored Jun 27, 2023
  
  34d079e1
- Fix a bug in generated code for Train model · 51dc2874
  Fabian Vu authored Jun 27, 2023
  
  51dc2874
Jun 26, 2023
- Update model checking benchmarks for JS · 29b09d84
  Fabian Vu authored Jun 26, 2023
  
  29b09d84
- Prepare model checking JS benchmarks · 23ccdb74
  Fabian Vu authored Jun 26, 2023
  
  23ccdb74
Oct 12, 2022
- added ProB-MC results and updated benchmark-processing skript · ee73cc25
  Cookiebowser authored Oct 12, 2022
  
  ee73cc25
Aug 29, 2022
- filled MC benchmark table more and fixed some rust issues · 9f818485
  Cookiebowser authored Aug 29, 2022
  
  9f818485
Aug 22, 2022
- Prolog: fixed unary expressions and added cartesian product · b0f4f13a
  dobra101 authored Aug 22, 2022
  
  b0f4f13a
Aug 19, 2022
- Prolog: fixed evaluator:elementOf · 650e0110
  dobra101 authored Aug 19, 2022
  
  650e0110
- Prolog: prevents getter operations from being generated · 6f4572fc
  dobra101 authored Aug 19, 2022
  
  6f4572fc
- added sicstus libraries · 1155384f
  dobra101 authored Aug 19, 2022
  
  1155384f
- added more prolog benchmarks · 8d316c67
  dobra101 authored Aug 19, 2022
  
  8d316c67
- added prolog benchmark · 04be0aa4
  dobra101 authored Aug 19, 2022
  
  04be0aa4
Aug 18, 2022
- added c++ O2 test results · 89b87f49
  Cookiebowser authored Aug 18, 2022
  
  89b87f49
- fixed empty Set/Relation typing and added missing permutate function · 6afda26f
  Cookiebowser authored Aug 15, 2022
  
  6afda26f
- initial MC-result update · 32288f9d
  Cookiebowser authored Aug 11, 2022
  
  32288f9d