History log of /seL4-l4v-master/seL4/VERSION
Revision Date Author Comments
# 2c6576c8 30-Oct-2020 Bamboo <bamboo@bitbucket.ts.data61.csiro.au>

Update VERSION file to 12.0.0-dev

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>


# dc83859f 30-Oct-2020 Bamboo <bamboo@bitbucket.ts.data61.csiro.au>

Release 12.0.0

Update VERSION
Update CHANGES

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>


# e5a986af 18-Nov-2019 Bamboo <bamboo@bitbucket.ts.data61.csiro.au>

Update VERSION file to 11.0.0-dev


# ff216025 18-Nov-2019 Bamboo <bamboo@bitbucket.ts.data61.csiro.au>

Release 11.0.0

Update VERSION
Update CHANGES


# 099ae909 11-Nov-2018 Bamboo <bamboo@bitbucket.ts.data61.csiro.au>

Update VERSION file to 10.1.1-dev


# 57e5417c 11-Nov-2018 Bamboo <bamboo@bitbucket.ts.data61.csiro.au>

Release 10.1.1

Update VERSION
Update CHANGES


# 7d16e3dc 06-Nov-2018 Bamboo <bamboo@bitbucket.ts.data61.csiro.au>

Update VERSION file to 10.1.0-dev


# a3c341ad 06-Nov-2018 Bamboo <bamboo@bitbucket.ts.data61.csiro.au>

Release 10.1.0

Update VERSION
Update CHANGES


# c3d05423 27-May-2018 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

Update VERSION file to 10.0.0-dev


# 5c7f7844 27-May-2018 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

Release 10.0.0

Update VERSION
Update CHANGES


# 8484c246 17-Apr-2018 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

Update VERSION file to 9.0.1-dev


# 0dd40b6c 17-Apr-2018 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

Release 9.0.1

Update VERSION
Update CHANGES


# d4bb778d 17-Apr-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Revert "Release 9.0.1"

This reverts commit 77e157a98432d564ba173551e8f70032227cd9d9.


# 86b5ada6 17-Apr-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Revert "Update VERSION file to 9.0.1-dev"

This reverts commit d632e0f8dbf2595fa87c932ba809dcdbca2fad03.


# d632e0f8 17-Apr-2018 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

Update VERSION file to 9.0.1-dev


# 77e157a9 17-Apr-2018 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

Release 9.0.1

Update VERSION
Update CHANGES


# fd2831bb 10-Apr-2018 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

Update VERSION file to 9.0.0-dev


# f58d22af 10-Apr-2018 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

Release 9.0.0

Update VERSION
Update CHANGES


# 425ceb9c 16-Jan-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Update VERSION file to 8.0.0-dev


# 396315f3 16-Jan-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Release 8.0.0

Update version file
Update release notes


# 825dd3be 04-Sep-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 7.0.0-dev


# 220ed968 04-Sep-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 7.0.0


# da53f04d 29-Jun-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 6.0.0-dev


# 8564ace4 29-Jun-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 6.0.0


# 73761571 31-May-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 5.2.0-dev


# 3695232f 31-May-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 5.2.0


# 6f49a529 28-Apr-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 5.1.0-dev


# 598c9d1e 28-Apr-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 5.1.0


# dfd29711 30-Mar-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 5.0.0-dev


# 5453060b 30-Mar-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

update VERSION file to 5.0.0


# 45a66ad9 12-Dec-2016 Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au>

update VERSION file to 4.0.0-dev


# ad7dee3a 12-Dec-2016 Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au>

update VERSION file to 4.0.0-dev


# 5273ef24 12-Dec-2016 Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au>

update VERSION file to 4.0.0


# 0f07c4a7 12-Dec-2016 Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au>

update VERSION file to 4.0.0-dev


# 7d1df6af 12-Dec-2016 Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au>

update VERSION file to 4.0.0


# e70cd761 13-Jul-2016 Partha Susarla <parthasarathi.susarla@nicta.com.au>

update VERSION file to 3.2.0


# 8e02adc3 13-Jul-2016 Partha Susarla <parthasarathi.susarla@nicta.com.au>

update VERSION file to 3.2.0-dev


# 8150e914 01-Jun-2016 Anna Lyons <Anna.Lyons@nicta.com.au>

update VERSION file to 3.1.0


# 85da7425 01-Jun-2016 Anna Lyons <Anna.Lyons@nicta.com.au>

update VERSION file to 3.1.0-dev


# 5a48ee12 05-Apr-2016 Anna Lyons <Anna.Lyons@nicta.com.au>

update VERSION file to 3.0.1-dev


# 94e13b7e 05-Apr-2016 Anna Lyons <Anna.Lyons@nicta.com.au>

update VERSION file to 3.0.1


# 3554358c 16-Mar-2016 Anna Lyons <Anna.Lyons@nicta.com.au>

Use correct version file in manual.tex


# 81dca9c7 01-Mar-2016 Anna Lyons <Anna.Lyons@nicta.com.au>

update VERSION file to 3.0.0-dev


# 634d4681 01-Mar-2016 Anna Lyons <Anna.Lyons@nicta.com.au>

update VERSION file to 3.0.0


# 0115ad1d 20-Jan-2016 Anna Lyons <Anna.Lyons@nicta.com.au>

update VERSION file to 2.1.0


# 3ec88b49 30-Nov-2015 Anna Lyons <Anna.Lyons@nicta.com.au>

correct manual version and add version of the code at top level


# 9711f813 27-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

bump API version number


# 91b7da86 17-Jul-2014 TrusthworthySystems <gatekeeper@sel4.systems>

Release snapshot