Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Issues
#77
Closed
Open
Created
Apr 21, 2015
by
Alexandre Duret-Lutz
@adl
Owner
get rid of auto_ptr, it's deprecated
There is at least one use of auto_ptr in ltl2tgba_fm.cc. gcc 5.0 warns about it.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information