Commits · main · github.com / mosteo / optional

Aug 26, 2021
- Fix licensing · 1aa0e20b
  Alejandro R. Mosteo authored Aug 26, 2021
  
  1aa0e20b
- A few more pre/posts · 27c16405
  Alejandro R. Mosteo authored Aug 26, 2021
  
  27c16405
- Fix no default project file for CI · 21e1f935
  Alejandro R. Mosteo authored Aug 26, 2021
  
  21e1f935
- Create build.yml · 193480b1
  Alejandro R Mosteo authored Aug 26, 2021
  
  193480b1
- Preparations for first release · 9d517a68
  Alejandro R. Mosteo authored Aug 26, 2021
  
  9d517a68
Jun 25, 2021
- Attempt to fix error in older GNATs · 0c7d20c0
  Alejandro R. Mosteo authored Jun 25, 2021
  
  0c7d20c0
- Removed Ada.Indefinite_Holders · 028bd765
  Alejandro R. Mosteo authored Jun 25, 2021
```
Still causing mysterious exceptions on finalization
```
  028bd765
Jun 24, 2021
- Remove unnecessary taggedness · a0ad4fba
  Alejandro R. Mosteo authored Jun 24, 2021
  
  a0ad4fba
Jun 22, 2021
- Added Is_Empty operation · f6fe9bf3
  Alejandro R. Mosteo authored Jun 21, 2021
  
  f6fe9bf3
Jun 14, 2021
- Fix forward declarations · eb929e67
  Alejandro R. Mosteo authored Jun 14, 2021
  
  eb929e67
May 20, 2021
- Comparison operators · 30aaee65
  Alejandro R. Mosteo authored May 19, 2021
  
  30aaee65
- Minor typo fix · aac96f9b
  Alejandro R. Mosteo authored May 19, 2021
  
  aac96f9b
May 19, 2021
- Towards 0.1 · 02aa2475
  Alejandro R. Mosteo authored May 19, 2021
  
  02aa2475
Mar 02, 2021
- Code reorganization · f3b855d2
  Alejandro R. Mosteo authored Mar 02, 2021
  
  f3b855d2
- References as tagged types · 9ee1fd00
  Alejandro R. Mosteo authored Mar 02, 2021
  
  9ee1fd00
- Merge branch 'main' of github.com:mosteo/optional into main · 9ff8b49f
  Alejandro R. Mosteo authored Mar 02, 2021
  
  9ff8b49f
- Initial import · 75565d99
  Alejandro R. Mosteo authored Mar 02, 2021
  
  75565d99
- Initial commit · 4dd785b4
  Alejandro R Mosteo authored Mar 02, 2021
  
  4dd785b4