Commits · 821b5130c39872ec76d0b45ea4c528b9fce0f84d · general / stups / b2program

Browse files

Feb 19, 2021
- Add tests for quantified constructs in python · 821b5130
  Chris authored Feb 19, 2021
  
  821b5130
- Update python template for records and spacing · 3a614c7a
  Chris authored Feb 19, 2021
  
  3a614c7a
- Update minor mistakes with string addition and random choice · a3ccf6e3
  Chris authored Feb 19, 2021
  
  a3ccf6e3
- Add tests for different concepts in python · 1a6b449f
  Chris authored Feb 19, 2021
  
  1a6b449f
Feb 18, 2021
- Update timeout in makefiles + missing cases · a38973a0
  Chris authored Feb 18, 2021
  
  a38973a0
- Update spacing, missing type in constructor + wrong get · 8a38f7e8
  Chris authored Feb 18, 2021
  
  8a38f7e8
- Merge branch 'master' of https://github.com/favu100/b2program · a814fc48
  Chris authored Feb 18, 2021
  
  a814fc48
- Add missing class BUtils. · b2764b19
  Chris authored Feb 18, 2021
  
  b2764b19
Feb 10, 2021
- Update README.md · 9309dbfc
  Fabian Vu authored Feb 10, 2021
  
  Unverified
  
  9309dbfc
- Update README.md · 68c92741
  Fabian Vu authored Feb 10, 2021
  
  Unverified
  
  68c92741
Feb 09, 2021
- Update for Performance and fixed indentation · 8056780e
  Chris authored Feb 9, 2021
  
  8056780e
- Update BSet missing imports and comments · 9b04a774
  Chris authored Feb 9, 2021
  
  9b04a774
Feb 05, 2021
- Update BSet.py for first performance improvement. · 1bccad0b
  Chris authored Feb 5, 2021
  
  1bccad0b
- Update python template to fix errors with for loops. · 3d864091
  Chris authored Feb 5, 2021
  
  3d864091
- Update Tests to match benchmarks · 64787ee5
  Chris authored Feb 5, 2021
  
  64787ee5
- Update python benchmarks to match other benchmarks · 26a8eb9d
  Chris authored Feb 5, 2021
  
  26a8eb9d
Feb 04, 2021
- Merge branch 'master' of https://github.com/favu100/b2program · 66566f2b
  Chris authored Feb 4, 2021
  
  66566f2b
- Add missing class BUtils. · a22dd8a5
  Chris authored Feb 4, 2021
  
  a22dd8a5
Feb 03, 2021
- Update Cruise_finite1_deterministic_exec.py · 4a8a169b
  Fabian Vu authored Feb 3, 2021
  
  Unverified
  
  4a8a169b
- Add variants of python datatypes with immutable datastructures. · 62aad46e
  Chris authored Feb 3, 2021
  
  62aad46e
- Update wrong template for enums. · 0b90d169
  Chris authored Feb 3, 2021
  
  0b90d169
- Add benchmarks for python generated machines · 824e33df
  Chris authored Feb 3, 2021
  
  824e33df
- Update correct wrong paths in command · f2f25031
  Chris authored Feb 3, 2021
  
  f2f25031
- Merge conflict in BSet. · ba8ed56d
  Chris authored Feb 3, 2021
  
  ba8ed56d
- Add len operator for BSet + minor fixes. · d11e1c14
  Chris authored Feb 3, 2021
  
  d11e1c14
- Update Tests to match installation and method signature of assertEquals. · b9858f2e
  Chris authored Feb 3, 2021
  
  b9858f2e
Jan 27, 2021
- Move import of BRelation in BSet to front · 72a35f31
  Fabian Vu authored Jan 27, 2021
  
  Unverified
  
  72a35f31
- Add missing files previously ignored by gitignore · 5fc36f5b
  Chris authored Jan 27, 2021
  
  5fc36f5b
Jan 26, 2021
- Update .gitignore · 75333bf9
  Fabian Vu authored Jan 26, 2021
  
  75333bf9
- Fix Traffic Light benchmark for Python · 9bf8e16b
  Fabian Vu authored Jan 26, 2021
  
  9bf8e16b
- Add directory for Python benchmarks · abc3a7c8
  Fabian Vu authored Jan 26, 2021
  
  abc3a7c8
- Update gitignore · a3871efe
  Fabian Vu authored Jan 26, 2021
  
  a3871efe
- Fix Sieve benchmark for Java and C++ · 1bb01b98
  Fabian Vu authored Jan 26, 2021
  
  1bb01b98
- Add tests for generalized union/intersection over empty set/relation. · aac467f6
  Chris authored Jan 26, 2021
  
  aac467f6
Jan 25, 2021
- Update BSet.py Subset of Type. Fix copy paste mistake · eea02d51
  Chris authored Jan 25, 2021
  
  eea02d51
Jan 23, 2021
- Add BSet and BRelation for Python. · c857edd9
  Chris authored Jan 23, 2021
  
  c857edd9
Jan 22, 2021
- Merge branch 'master' of https://github.com/favu100/b2program · c5e3cb32
  Chris authored Jan 22, 2021
  
  c5e3cb32
- Add Tests for operations in Python · a66240fb
  Chris authored Jan 22, 2021
  
  a66240fb
Jan 21, 2021
- Add a few comments in BSet · 5a59b266
  Fabian Vu authored Jan 21, 2021
  
  5a59b266
- Fix a bug in generalized union and intersection of BSet · c713a4d7
  Fabian Vu authored Jan 21, 2021
  
  c713a4d7