WARNING! Access to this system is limited to authorised users only.
Unauthorised users may be subject to prosecution.
Unauthorised access to this system is a criminal offence under Australian law (Federal Crimes Act 1914 Part VIA)
It is a criminal offence to:
(1) Obtain access to data without authority. -Penalty 2 years imprisonment.
(2) Damage, delete, alter or insert data without authority. -Penalty 10 years imprisonment.
User activity is monitored and recorded. Anyone using this system expressly consents to such monitoring and recording.

To protect your data, the CISO officer has suggested users to enable 2FA as soon as possible.
Currently 2.7% of users enabled 2FA.

  1. 08 May, 2018 2 commits
  2. 06 May, 2018 1 commit
  3. 05 May, 2018 1 commit
  4. 19 Feb, 2018 1 commit
  5. 11 Nov, 2017 1 commit
  6. 12 Sep, 2017 2 commits
  7. 07 Sep, 2017 1 commit
  8. 05 Sep, 2017 2 commits
  9. 13 Aug, 2017 1 commit
    • Kunshan Wang's avatar
      Allow logback XML configuration · 9c395884
      Kunshan Wang authored
      This will give the user more control over logging in Holstein.
      Specifically, the XML configuration can configure appenders so that logs
      can be written into stderr instead of stdout.
  10. 30 Jul, 2017 1 commit
  11. 19 Jul, 2017 1 commit
    • Kunshan Wang's avatar
      Scala 2.12.2, deprecated, clientsupport · 08b6e8f0
      Kunshan Wang authored
      Switched Scala version to 2.12.2, the most recent stable version.  It
      will now require Java 1.8.
      Fixed existing uses of deprecated features.
      Removed the `uvm.clientsupport` package.  This package was intended to
      help Mu clients build text-based Mu IR bundles.  However, we started
      using the IR Builder API instead, and the `uvm.clientsupport` package
      remained unused.  The same capability can be provided by the
      `mu-tool-compiler` project
      (https://gitlab.anu.edu.au/mu/mu-tool-compiler).  `uvm.clientsupport`
      provided a non-SSA-to-ssa converter, which can be useful for clients.
      If there are needs of resurrecting that feature, please checkout the
      previous commit.
  12. 15 Jul, 2017 2 commits
    • Kunshan Wang's avatar
      Added a test.sh script · 9fcd3c14
      Kunshan Wang authored
      Preparations need to be done before testing, such as compiling native
      programs and setting environment variables.
    • Kunshan Wang's avatar
      Fixed tagref64 operations on aarch64 · cbcf4592
      Kunshan Wang authored
      Now it no longer assume the higher 16 bits of a ref are either all 0s or
      all 1s.  The layout of bits of tabref64 is changed, but is not visible
      to the client.
  13. 09 Jul, 2017 1 commit
  14. 06 Jul, 2017 1 commit
  15. 02 Jul, 2017 1 commit
    • Kunshan Wang's avatar
      Type inferer as class, and stricter static check. · f2aac08e
      Kunshan Wang authored
      Type inferer and predefined entities are no longer single objects.  They
      can be instantiated like other classes.
      An SSA variable now has an `inferred type` field which represents its
      type.  The type is filled in when loading a bundle, and can be dependedn
      on during execution.
      Added stricter static checking related to variable types.
  16. 28 Jun, 2017 2 commits
    • Kunshan Wang's avatar
      Test case regarding GETFIELDIREF arg types · fb6c7513
      Kunshan Wang authored
      With a better uvm.staticanalysys.StaticAnalyzer, Holstein should have
      reject ill-formed Mu bundles if there are type errors.  Fixing this will
      need refactoring, moving `uvm.refimpl.internals.scala` into a package
      for general IR processing, not specific to the interpreter
      See #10
    • Kunshan Wang's avatar
      Fixed typo. · e8889b5b
      Kunshan Wang authored
  17. 26 Jun, 2017 1 commit
    • Kunshan Wang's avatar
      Fixed, documented, tested tagref64. · 0176c94b
      Kunshan Wang authored
      Fixed some problem left in the operations for tagref64 which are caused
      by porting from microvm-p2, the legacy Python-based Micro VM
      Added documentation and test cases for tagref64-related operations.
  18. 04 Jun, 2017 1 commit
  19. 22 May, 2017 1 commit
  20. 19 May, 2017 1 commit
  21. 11 May, 2017 1 commit
  22. 30 Apr, 2017 1 commit
  23. 29 Apr, 2017 1 commit
    • Kunshan Wang's avatar
      Fixed gen_sym. · 7d36baaf
      Kunshan Wang authored
      It should treat the string parameter as an iref to a 0-terminated
  24. 27 Apr, 2017 2 commits
  25. 25 Apr, 2017 1 commit
  26. 19 Apr, 2017 1 commit
    • Kunshan Wang's avatar
      Fixed IRBuilder COMMINST bugs · ba938c48
      Kunshan Wang authored
      - Implemented @uvm.irbuilder.new_ir_builder
      - Fixed @uvm.irbuilder.gen_sym where the %name parameter should be optional
  27. 21 Feb, 2017 1 commit
  28. 20 Feb, 2017 2 commits
    • Kunshan Wang's avatar
      Automagic reloc configurable by option · bc578970
      Kunshan Wang authored
      Now "automagic relocation" can be enabled by a VMConf option
      "automagicReloc".  It is disabled by default.
    • Kunshan Wang's avatar
      Support manual symbols for reloc. · e701e3d5
      Kunshan Wang authored
      Manual symbols can be added via the make_boot_image api function.
      Note: curently manual symbols can only be used during boot image
      building, and can be used for relocations, only.  At run time, the
      manual symbols are invisible, because Holstein cannot actually generate
      ELF (or MachO) images compatible with native programs.
  29. 09 Feb, 2017 1 commit
  30. 26 Jan, 2017 1 commit
  31. 28 Sep, 2016 2 commits
  32. 21 Sep, 2016 1 commit