Commits · master · general / stups / b2program · GitLab

May 28, 2025
- fix counter example computation/display · f00b364e
  Michael Leuschel authored 3 months ago
  f00b364e
May 25, 2025
- Try to fix building of subpredicate · a0cd2ca9
  Fabian Vu authored 3 months ago
  
  a0cd2ca9
- Fix errors in JavaTemplate · 5026c1ce
  Fabian Vu authored 3 months ago
  
  5026c1ce
- Try to fix error in JavaTemplate · 205dbcb2
  Fabian Vu authored 3 months ago
  
  205dbcb2
May 24, 2025
- Improve counter example message · ef916dc9
  Fabian Vu authored 3 months ago
  
  ef916dc9
- Fix identifier clash in computation of hashcode for C++ · 2ae607ff
  Fabian Vu authored 3 months ago
  
  2ae607ff
- Hopefully fix clash of identifiers · bed99c85
  Fabian Vu authored 3 months ago
  
  bed99c85
- Revert change · 8da6bdf2
  Fabian Vu authored 3 months ago
  
  8da6bdf2
- Hopefully fix clash of variables in nested quantified constructs · d3dd86c7
  Fabian Vu authored 3 months ago
  
  d3dd86c7
- Update model checking time message · 6668c8d4
  Fabian Vu authored 3 months ago
  6668c8d4
- test machine · ab9db0a7
  Michael Leuschel authored 4 months ago
  ab9db0a7
- try and improve rendering of counter example trace · 92219508
  Michael Leuschel authored 4 months ago
  92219508
May 23, 2025
- add todos · 7df7b01f
  Michael Leuschel authored 4 months ago
  7df7b01f
- improve user feedback about not enough predicates · 54a93ab8
  Michael Leuschel authored 4 months ago
  54a93ab8
- add source location for not supported operators · 82e94c0b
  Michael Leuschel authored 4 months ago
  82e94c0b
May 22, 2025
- set debug flag optionally from CPP command line · 69fca53b
  Michael Leuschel authored 4 months ago
  69fca53b
- allow optional arguments in cpp model checker · d1f51042
  Michael Leuschel authored 4 months ago
  d1f51042
- improve user feedback for wrong arguments · 3f8f4302
  Michael Leuschel authored 4 months ago
  3f8f4302
- Fix performance lack in C++ BRelation · 68aeed24
  Fabian Vu authored 4 months ago
  
  68aeed24
- Fix a performance lack in Java BRelation · 38bfa6c0
  Fabian Vu authored 4 months ago
  
  38bfa6c0
- add example benchmark files · cb4dfcdf
  Michael Leuschel authored 4 months ago
  cb4dfcdf
May 21, 2025
- Add first version to use Makefile for TypeScript/JavaScript · 359611c3
  Fabian Vu authored 4 months ago
  
  359611c3
- Improve copying Java and C++ files and increase template recursion depth · 403a5d8e
  Fabian Vu authored 4 months ago
  
  403a5d8e
Mar 10, 2025
- Fix lost type info · bd89b0d1
  Miles Vella authored 6 months ago
  
  Verified
  
  bd89b0d1
- Fix typo · 0093ad23
  Miles Vella authored 6 months ago
  
  Verified
  
  0093ad23
- fix some visitors not working with records · e6eb2e6d
  Miles Vella authored 6 months ago
  
  Verified
  
  e6eb2e6d
- add build dir and generated json files to gitignore · 8df44429
  Miles Vella authored 6 months ago
  
  Verified
  
  8df44429
Feb 17, 2025
- Some fixes in B(Big)Integer and BSet · 874bc510
  Fabian Vu authored 7 months ago
  
  874bc510
- Update README · e504f553
  Fabian Vu authored 7 months ago
  
  e504f553
Jan 17, 2025
- Fix imports not being generated for parameters that are mostly unused · 7310cb90
  dgelessus authored 8 months ago
  
  7310cb90
Jan 15, 2025
- Use DroneCommunicator_Mockup again for DroneMainController test · 8ea32e25
  dgelessus authored 8 months ago
  8ea32e25
- Disable caching of changing/SNAPSHOT dependencies · 2e86d7ac
  dgelessus authored 8 months ago
  2e86d7ac
- Allow CodeGenerationException to have a cause · bcac0873
  dgelessus authored 8 months ago
  
  bcac0873
- Don't swallow IOExceptions · 1f9400da
  dgelessus authored 8 months ago
  
  1f9400da
- Remove unneeded explicit base.archivesName (identical to project name) · b7fd621f
  dgelessus authored 8 months ago
  
  b7fd621f
- Remove unused Gradle antlr plugin · 5510acc7
  dgelessus authored 8 months ago
  5510acc7
- Try to fix two tests · 2a40d497
  Fabian Vu authored 8 months ago
  
  2a40d497
- Try to enable parallel test running for all tests except JS tests · fedd9e07
  dgelessus authored 8 months ago
  
  fedd9e07
- Run Gradle with --info on CI to reduce needed testLogging options · d6ba2454
  dgelessus authored 8 months ago
  
  d6ba2454
- Remove testLogging options that are already set by default · 4e26c221
  dgelessus authored 8 months ago
  
  4e26c221