Commits · master · Winkler Sarah / confchecksmt

20 Jan, 2022 1 commit
- add list of extensions · 41ebad5e
  sarah authored Jan 20, 2022
  
  41ebad5e
05 Jan, 2022 1 commit
- no message · 028629e5
  Rivkin Andrey authored Jan 05, 2022
  
  028629e5
04 Jan, 2022 1 commit
- preparing IS · 3f6e3e66
  Rivkin Andrey authored Jan 04, 2022
  
  3f6e3e66
02 Jan, 2022 1 commit
- no message · 1e793e02
  Alessandro Gianola authored Jan 02, 2022
  
  1e793e02
29 Dec, 2021 2 commits
- comment · 3184609b
  sarah authored Dec 29, 2021
  
  3184609b
- update examples · 093bd07b
  sarah authored Dec 29, 2021
  
  093bd07b
28 Dec, 2021 4 commits
- added comments to todo for def5 · 5b0d62d9
  Paolo Felli authored Dec 28, 2021
  
  5b0d62d9
- no message · 855ae11d
  Paolo Felli authored Dec 28, 2021
  
  855ae11d
- no message · 24b7748f
  Paolo Felli authored Dec 28, 2021
  
  24b7748f
- no message · a7921b86
  Paolo Felli authored Dec 28, 2021
  
  a7921b86
27 Dec, 2021 5 commits
- no message · 3f743a28
  Paolo Felli authored Dec 27, 2021
  
  3f743a28
- no message · f2dda219
  Paolo Felli authored Dec 27, 2021
  
  f2dda219
- fix · 7755ece5
  Paolo Felli authored Dec 27, 2021
  
  7755ece5
- no message · 49639359
  Paolo Felli authored Dec 27, 2021
  
  49639359
- reworded realizations · 2080274a
  Paolo Felli authored Dec 27, 2021
  
  2080274a
21 Dec, 2021 2 commits
- changed some todos · d339aff7
  sarah authored Dec 21, 2021
  
  d339aff7
- comment under definition 4 · cdaf39a9
  Rivkin Andrey authored Dec 21, 2021
  
  cdaf39a9
20 Dec, 2021 3 commits
- no message · 841e4d77
  Rivkin Andrey authored Dec 20, 2021
  
  841e4d77
- some comments · 55a7b587
  Rivkin Andrey authored Dec 20, 2021
  
  55a7b587
- no message · 45bcce26
  Rivkin Andrey authored Dec 20, 2021
  
  45bcce26
19 Dec, 2021 1 commit
- use new defs in Sec 5 · a1483569
  sarah authored Dec 19, 2021
  
  a1483569
18 Dec, 2021 1 commit
- changes in Sec 4, some comments on todos · 8c725946
  sarah authored Dec 18, 2021
  
  8c725946
17 Dec, 2021 4 commits
- no message · 1d3fa437
  Paolo Felli authored Dec 17, 2021
  
  1d3fa437
- no message · f2399862
  Paolo Felli authored Dec 17, 2021
  
  f2399862
- no message · 72fbcfc5
  Paolo Felli authored Dec 17, 2021
  
  72fbcfc5
- no message · 85dce487
  Paolo Felli authored Dec 17, 2021
  
  85dce487
16 Dec, 2021 10 commits
- no message · 7688bc49
  Paolo Felli authored Dec 16, 2021
  
  7688bc49
- no message · 97d1c274
  Paolo Felli authored Dec 16, 2021
  
  97d1c274
- no message · 2bdfb8bb
  Paolo Felli authored Dec 16, 2021
  
  2bdfb8bb
- Merge branch 'master' of gitlab.inf.unibz.it:SarahMaria.Winkler/confchecksmt · 9c842c48
  Paolo Felli authored Dec 16, 2021
  
  9c842c48
- first shot at the sec on prelim · d029d8b4
  Paolo Felli authored Dec 16, 2021
  
  d029d8b4
- no message · 20ee694e
  Alessandro Gianola authored Dec 16, 2021
  
  20ee694e
- some shrinking of encoding structure · b6c855cc
  sarah authored Dec 16, 2021
  
  b6c855cc
- no message · 5e4e00a4
  Paolo Felli authored Dec 16, 2021
  
  5e4e00a4
- no message · f089c510
  Paolo Felli authored Dec 16, 2021
  
  f089c510
- sections · 4d2ccf67
  Paolo Felli authored Dec 16, 2021
  
  4d2ccf67
09 Dec, 2021 4 commits
- no message · f452f545
  Alessandro Gianola authored Dec 09, 2021
  
  f452f545
- no message · e9b4737f
  Alessandro Gianola authored Dec 09, 2021
  
  e9b4737f
- correction · e8314d20
  Alessandro Gianola authored Dec 09, 2021
  
  e8314d20
- changes made during meeting on Dec 9 · abcf2fba
  sarah authored Dec 09, 2021
  
  abcf2fba