Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
aossie
Scavenger
Repository
Branches
Overview
Active
Stale
All
Stale branches
master
protected
ac18ac1d
·
Merge branch 'develop' of gitlab.com:AOSSIE/Scavenger into develop
·
Nov 16, 2016
refactor
8f82661a
·
Delete useless decisions
·
Dec 15, 2016
cr-speedup
beea1595
·
Remove duplicated code and redundant calculations
·
Dec 17, 2016
speedup
472eabde
·
Speed-up variables and unification using
·
Jan 19, 2017
Scavenger-0.1.1-CASC-2017
3e4c5c2a
·
Follow TPTP conventions about dependenciesDir
·
Jul 18, 2017