Commits · master · SaToSS / HPC Tamarin

05 May, 2022 1 commit
- added extra parameters · e91cadc8
  Reynaldo Gil Pons authored May 05, 2022
  
  e91cadc8
16 Feb, 2021 1 commit
- added support for memory and cpu-time limit; each lemma is now proved separately · cce30168
  gilcu3 authored Feb 16, 2021
  
  cce30168
14 Feb, 2021 1 commit
- hopefully last fix · 55b9433b
  gilcu3 authored Feb 14, 2021
  
  55b9433b
13 Feb, 2021 3 commits
- another try to fix the bug · 75ec4c41
  gilcu3 authored Feb 13, 2021
  
  75ec4c41
- another try to fix the bug · 24bd62ad
  gilcu3 authored Feb 13, 2021
  
  24bd62ad
- fixed bug provoking missing output in some cases · 1300f9f0
  Reynaldo Gil Pons authored Feb 13, 2021
  
  1300f9f0
21 Jan, 2021 1 commit
- small adjudgements · 01f9f9be
  Reynaldo Gil Pons authored Jan 21, 2021
  
  01f9f9be
31 Mar, 2020 2 commits
- Update readme and python script · 9477db99
  ZDSmith authored Mar 31, 2020
  
  9477db99
- Initial commit · 27ac1b0b
  ZDSmith authored Mar 31, 2020
  
  27ac1b0b