Commits · z3solver · general / stups / b2program

Browse files

Apr 24, 2021
- Add Current status for z3solver. · b364a828
  Chris authored 4 years ago
  
  b364a828
Apr 13, 2021
- Update benchmark to make the syntax jython compatible · 374dbf7d
  Chris authored 4 years ago
  
  374dbf7d
- Add missing tests · 42064d87
  Chris authored 4 years ago
  
  42064d87
- Add isinstance check to BBoolean to make more Tests pass · 594d28d2
  Chris authored 4 years ago
  
  594d28d2
Apr 12, 2021
- Add constraint solving for python with python-constraint (just integer + boolean) · 84a6f0e3
  Chris authored 4 years ago
  
  84a6f0e3
Feb 28, 2021
- Add tests for lustre benchmarks in python. · 800f803e
  Chris authored 4 years ago
  
  800f803e
Feb 27, 2021
- Update removed unnecessary semicolons in python mains · 547b70f8
  Chris authored 4 years ago
  
  547b70f8
- Update spacing, wrong typing and prevent name shadowing · 713fffa7
  Chris authored 4 years ago
  
  713fffa7
- Update python template for lustre · 07347875
  Chris authored 4 years ago
  
  07347875
- Add tests for lustre in python · fc03d4b5
  Chris authored 4 years ago
  
  fc03d4b5
Feb 19, 2021
- Update python template for quantified constructs · bfbf047e
  Chris authored 4 years ago
  
  bfbf047e
- Add tests for quantified constructs in python · 821b5130
  Chris authored 4 years ago
  
  821b5130
- Update python template for records and spacing · 3a614c7a
  Chris authored 4 years ago
  
  3a614c7a
- Update minor mistakes with string addition and random choice · a3ccf6e3
  Chris authored 4 years ago
  
  a3ccf6e3
- Add tests for different concepts in python · 1a6b449f
  Chris authored 4 years ago
  
  1a6b449f
Feb 18, 2021
- Update timeout in makefiles + missing cases · a38973a0
  Chris authored 4 years ago
  
  a38973a0
- Update spacing, missing type in constructor + wrong get · 8a38f7e8
  Chris authored 4 years ago
  
  8a38f7e8
- Merge branch 'master' of https://github.com/favu100/b2program · a814fc48
  Chris authored 4 years ago
  
  a814fc48
- Add missing class BUtils. · b2764b19
  Chris authored 4 years ago
  
  b2764b19
Feb 10, 2021
- Update README.md · 9309dbfc
  Fabian Vu authored 4 years ago
  
  Unverified
  
  9309dbfc
- Update README.md · 68c92741
  Fabian Vu authored 4 years ago
  
  Unverified
  
  68c92741
Feb 09, 2021
- Update for Performance and fixed indentation · 8056780e
  Chris authored 4 years ago
  
  8056780e
- Update BSet missing imports and comments · 9b04a774
  Chris authored 4 years ago
  
  9b04a774
Feb 05, 2021
- Update BSet.py for first performance improvement. · 1bccad0b
  Chris authored 4 years ago
  
  1bccad0b
- Update python template to fix errors with for loops. · 3d864091
  Chris authored 4 years ago
  
  3d864091
- Update Tests to match benchmarks · 64787ee5
  Chris authored 4 years ago
  
  64787ee5
- Update python benchmarks to match other benchmarks · 26a8eb9d
  Chris authored 4 years ago
  
  26a8eb9d
Feb 04, 2021
- Merge branch 'master' of https://github.com/favu100/b2program · 66566f2b
  Chris authored 4 years ago
  
  66566f2b
- Add missing class BUtils. · a22dd8a5
  Chris authored 4 years ago
  
  a22dd8a5
Feb 03, 2021
- Update Cruise_finite1_deterministic_exec.py · 4a8a169b
  Fabian Vu authored 4 years ago
  
  Unverified
  
  4a8a169b
- Add variants of python datatypes with immutable datastructures. · 62aad46e
  Chris authored 4 years ago
  
  62aad46e
- Update wrong template for enums. · 0b90d169
  Chris authored 4 years ago
  
  0b90d169
- Add benchmarks for python generated machines · 824e33df
  Chris authored 4 years ago
  
  824e33df
- Update correct wrong paths in command · f2f25031
  Chris authored 4 years ago
  
  f2f25031
- Merge conflict in BSet. · ba8ed56d
  Chris authored 4 years ago
  
  ba8ed56d
- Add len operator for BSet + minor fixes. · d11e1c14
  Chris authored 4 years ago
  
  d11e1c14
- Update Tests to match installation and method signature of assertEquals. · b9858f2e
  Chris authored 4 years ago
  
  b9858f2e
Jan 27, 2021
- Move import of BRelation in BSet to front · 72a35f31
  Fabian Vu authored 4 years ago
  
  Unverified
  
  72a35f31
- Add missing files previously ignored by gitignore · 5fc36f5b
  Chris authored 4 years ago
  
  5fc36f5b
Jan 26, 2021
- Update .gitignore · 75333bf9
  Fabian Vu authored 4 years ago
  
  75333bf9