mu-impl-ref2 issueshttps://gitlab.anu.edu.au/mu/mu-impl-ref2/-/issues2017-08-03T16:01:12+10:00https://gitlab.anu.edu.au/mu/mu-impl-ref2/-/issues/10Executing GETFIELDIREF on a ref<T> does not error2017-08-03T16:01:12+10:00Pavel ZakopayloExecuting GETFIELDIREF on a ref<T> does not errorI built a bundle (using the C API call-based IR-builder) that did what the title says; specifically it created a `ref<T>` via `NEWHYBRID` and then extracted a fixed-section field via `GETFIELDIREF` (without first converting to an `iref` ...I built a bundle (using the C API call-based IR-builder) that did what the title says; specifically it created a `ref<T>` via `NEWHYBRID` and then extracted a fixed-section field via `GETFIELDIREF` (without first converting to an `iref` using `GETIREF`). This caused an error in Zebu but did not do so on the reference implementation.https://gitlab.anu.edu.au/mu/mu-impl-ref2/-/issues/4Bug in implementation of `@uvm.irbuilder.gen_sym`2017-08-03T16:01:13+10:00John ZhangBug in implementation of `@uvm.irbuilder.gen_sym`### Bug Description
In `IRBuilderCommInstExecutor.interpretCurrentIRBuilderCommonInstruction` function, in the case of `@uvm.irbuilder.gen_sym`, `loadMaybeCString()` function is called. However, this function calls `bytesToStr()`, which ...### Bug Description
In `IRBuilderCommInstExecutor.interpretCurrentIRBuilderCommonInstruction` function, in the case of `@uvm.irbuilder.gen_sym`, `loadMaybeCString()` function is called. However, this function calls `bytesToStr()`, which assumes that the type is `ref<hybrid<@i64 @i8>>`. But on the specification the type for meta-circular name string is `iref<@i8>`.Kunshan WangKunshan Wanghttps://gitlab.anu.edu.au/mu/mu-impl-ref2/-/issues/3Missing implementation of `@uvm.irbuilder.new_ir_builder` instruction2017-08-03T16:01:13+10:00John ZhangMissing implementation of `@uvm.irbuilder.new_ir_builder` instructionThough other meta-circular bundle building API common instruction implementations are in place, the instruction `@uvm.irbuilder.new_ir_builder` that creates a meta-circular bundle builder is missing.Though other meta-circular bundle building API common instruction implementations are in place, the instruction `@uvm.irbuilder.new_ir_builder` that creates a meta-circular bundle builder is missing.https://gitlab.anu.edu.au/mu/mu-impl-ref2/-/issues/14SBT fails to build2017-09-16T12:54:51+10:00Isaac Garianoisaac@ecs.vuw.ac.nzSBT fails to buildSBT is failing when I try and compile Holstein:
```
# sbt update
[info] Loading settings from sbt-antlr4.sbt,sbt-eclipse.sbt ...
[info] Loading project definition from /root/mu-impl-ref2/project
[info] Updating {file:/root/mu-impl-ref2/p...SBT is failing when I try and compile Holstein:
```
# sbt update
[info] Loading settings from sbt-antlr4.sbt,sbt-eclipse.sbt ...
[info] Loading project definition from /root/mu-impl-ref2/project
[info] Updating {file:/root/mu-impl-ref2/project/}mu-impl-ref2-build...
[warn] module not found: com.simplytyped#sbt-antlr4;0.7.11
[warn] ==== typesafe-ivy-releases: tried
[warn] https://repo.typesafe.com/typesafe/ivy-releases/com.simplytyped/sbt-antlr4/scala_2.12/sbt_1.0//0.7.11/ivys/ivy.xml
[warn] ==== sbt-plugin-releases: tried
[warn] https://repo.scala-sbt.org/scalasbt/sbt-plugin-releases/com.simplytyped/sbt-antlr4/scala_2.12/sbt_1.0//0.7.11/ivys/ivy.xml
[warn] ==== local: tried
[warn] /root/.ivy2/local/com.simplytyped/sbt-antlr4/scala_2.12/sbt_1.0//0.7.11/ivys/ivy.xml
[warn] ==== public: tried
[warn] https://repo1.maven.org/maven2/com/simplytyped/sbt-antlr4_2.12_1.0/0.7.11/sbt-antlr4-0.7.11.pom
[warn] ==== local-preloaded-ivy: tried
[warn] /root/.sbt/preloaded/com.simplytyped/sbt-antlr4/0.7.11/ivys/ivy.xml
[warn] ==== local-preloaded: tried
[warn] file:////root/.sbt/preloaded/com/simplytyped/sbt-antlr4_2.12_1.0/0.7.11/sbt-antlr4-0.7.11.pom
[warn] ==== simplytyped: tried
[warn] http://simplytyped.github.io/repo/releases/com/simplytyped/sbt-antlr4_2.12_1.0/0.7.11/sbt-antlr4-0.7.11.pom
[warn] module not found: com.typesafe.sbteclipse#sbteclipse-plugin;5.1.0
[warn] ==== typesafe-ivy-releases: tried
[warn] https://repo.typesafe.com/typesafe/ivy-releases/com.typesafe.sbteclipse/sbteclipse-plugin/scala_2.12/sbt_1.0//5.1.0/ivys/ivy.xml
[warn] ==== sbt-plugin-releases: tried
[warn] https://repo.scala-sbt.org/scalasbt/sbt-plugin-releases/com.typesafe.sbteclipse/sbteclipse-plugin/scala_2.12/sbt_1.0//5.1.0/ivys/ivy.xml
[warn] ==== local: tried
[warn] /root/.ivy2/local/com.typesafe.sbteclipse/sbteclipse-plugin/scala_2.12/sbt_1.0//5.1.0/ivys/ivy.xml
[warn] ==== public: tried
[warn] https://repo1.maven.org/maven2/com/typesafe/sbteclipse/sbteclipse-plugin_2.12_1.0/5.1.0/sbteclipse-plugin-5.1.0.pom
[warn] ==== local-preloaded-ivy: tried
[warn] /root/.sbt/preloaded/com.typesafe.sbteclipse/sbteclipse-plugin/5.1.0/ivys/ivy.xml
[warn] ==== local-preloaded: tried
[warn] file:////root/.sbt/preloaded/com/typesafe/sbteclipse/sbteclipse-plugin_2.12_1.0/5.1.0/sbteclipse-plugin-5.1.0.pom
[warn] ==== simplytyped: tried
[warn] http://simplytyped.github.io/repo/releases/com/typesafe/sbteclipse/sbteclipse-plugin_2.12_1.0/5.1.0/sbteclipse-plugin-5.1.0.pom
[warn] ::::::::::::::::::::::::::::::::::::::::::::::
[warn] :: UNRESOLVED DEPENDENCIES ::
[warn] ::::::::::::::::::::::::::::::::::::::::::::::
[warn] :: com.simplytyped#sbt-antlr4;0.7.11: not found
[warn] :: com.typesafe.sbteclipse#sbteclipse-plugin;5.1.0: not found
[warn] ::::::::::::::::::::::::::::::::::::::::::::::
[warn]
[warn] Note: Some unresolved dependencies have extra attributes. Check that these dependencies exist with the requested attributes.
[warn] com.simplytyped:sbt-antlr4:0.7.11 (scalaVersion=2.12, sbtVersion=1.0)
[warn] com.typesafe.sbteclipse:sbteclipse-plugin:5.1.0 (scalaVersion=2.12, sbtVersion=1.0)
[warn]
[warn] Note: Unresolved dependencies path:
[warn] com.simplytyped:sbt-antlr4:0.7.11 (scalaVersion=2.12, sbtVersion=1.0) (/root/mu-impl-ref2/project/sbt-antlr4.sbt#L3-4)
[warn] +- default:mu-impl-ref2-build:0.1-SNAPSHOT (scalaVersion=2.12, sbtVersion=1.0)
[warn] com.typesafe.sbteclipse:sbteclipse-plugin:5.1.0 (scalaVersion=2.12, sbtVersion=1.0) (/root/mu-impl-ref2/project/sbt-eclipse.sbt#L1-2)
[warn] +- default:mu-impl-ref2-build:0.1-SNAPSHOT (scalaVersion=2.12, sbtVersion=1.0)
[error] sbt.librarymanagement.ResolveException: unresolved dependency: com.simplytyped#sbt-antlr4;0.7.11: not found
[error] unresolved dependency: com.typesafe.sbteclipse#sbteclipse-plugin;5.1.0: not found
[error] at sbt.internal.librarymanagement.IvyActions$.resolveAndRetrieve(IvyActions.scala:331)
[error] at sbt.internal.librarymanagement.IvyActions$.$anonfun$updateEither$1(IvyActions.scala:205)
[error] at sbt.internal.librarymanagement.IvySbt$Module.$anonfun$withModule$1(Ivy.scala:229)
[error] at sbt.internal.librarymanagement.IvySbt.$anonfun$withIvy$1(Ivy.scala:190)
[error] at sbt.internal.librarymanagement.IvySbt.sbt$internal$librarymanagement$IvySbt$$action$1(Ivy.scala:70)
[error] at sbt.internal.librarymanagement.IvySbt$$anon$3.call(Ivy.scala:77)
[error] at xsbt.boot.Locks$GlobalLock.withChannel$1(Locks.scala:93)
[error] at xsbt.boot.Locks$GlobalLock.xsbt$boot$Locks$GlobalLock$$withChannelRetries$1(Locks.scala:78)
[error] at xsbt.boot.Locks$GlobalLock$$anonfun$withFileLock$1.apply(Locks.scala:97)
[error] at xsbt.boot.Using$.withResource(Using.scala:10)
[error] at xsbt.boot.Using$.apply(Using.scala:9)
[error] at xsbt.boot.Locks$GlobalLock.ignoringDeadlockAvoided(Locks.scala:58)
[error] at xsbt.boot.Locks$GlobalLock.withLock(Locks.scala:48)
[error] at xsbt.boot.Locks$.apply0(Locks.scala:31)
[error] at xsbt.boot.Locks$.apply(Locks.scala:28)
[error] at sbt.internal.librarymanagement.IvySbt.withDefaultLogger(Ivy.scala:77)
[error] at sbt.internal.librarymanagement.IvySbt.withIvy(Ivy.scala:185)
[error] at sbt.internal.librarymanagement.IvySbt.withIvy(Ivy.scala:182)
[error] at sbt.internal.librarymanagement.IvySbt$Module.withModule(Ivy.scala:228)
[error] at sbt.internal.librarymanagement.IvyActions$.updateEither(IvyActions.scala:190)
[error] at sbt.librarymanagement.ivy.IvyDependencyResolution.update(IvyDependencyResolution.scala:20)
[error] at sbt.librarymanagement.DependencyResolution.update(DependencyResolution.scala:56)
[error] at sbt.internal.LibraryManagement$.resolve$1(LibraryManagement.scala:38)
[error] at sbt.internal.LibraryManagement$.$anonfun$cachedUpdate$12(LibraryManagement.scala:91)
[error] at sbt.util.Tracked$.$anonfun$lastOutput$1(Tracked.scala:64)
[error] at sbt.internal.LibraryManagement$.$anonfun$cachedUpdate$19(LibraryManagement.scala:104)
[error] at scala.util.control.Exception$Catch.apply(Exception.scala:224)
[error] at sbt.internal.LibraryManagement$.$anonfun$cachedUpdate$11(LibraryManagement.scala:104)
[error] at sbt.internal.LibraryManagement$.$anonfun$cachedUpdate$11$adapted(LibraryManagement.scala:87)
[error] at sbt.util.Tracked$.$anonfun$inputChanged$1(Tracked.scala:141)
[error] at sbt.internal.LibraryManagement$.cachedUpdate(LibraryManagement.scala:118)
[error] at sbt.Classpaths$.$anonfun$updateTask$5(Defaults.scala:2313)
[error] at scala.Function1.$anonfun$compose$1(Function1.scala:44)
[error] at sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:42)
[error] at sbt.std.Transform$$anon$4.work(System.scala:64)
[error] at sbt.Execute.$anonfun$submit$2(Execute.scala:257)
[error] at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:17)
[error] at sbt.Execute.work(Execute.scala:266)
[error] at sbt.Execute.$anonfun$submit$1(Execute.scala:257)
[error] at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:167)
[error] at sbt.CompletionService$$anon$2.call(CompletionService.scala:32)
[error] at java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
[error] at java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
[error] at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
[error] at java.lang.Thread.run(Thread.java:748)
[error] (*:update) sbt.librarymanagement.ResolveException: unresolved dependency: com.simplytyped#sbt-antlr4;0.7.11: not found
[error] unresolved dependency: com.typesafe.sbteclipse#sbteclipse-plugin;5.1.0: not found
Project loading failed: (r)etry, (q)uit, (l)ast, or (i)gnore? i
[warn] Ignoring load failure: no project loaded.
[error] java.lang.RuntimeException: Session not initialized.
[error] at scala.sys.package$.error(package.scala:27)
[error] at sbt.Project$.$anonfun$getOrError$1(Project.scala:442)
[error] at scala.Option.getOrElse(Option.scala:121)
[error] at sbt.Project$.getOrError(Project.scala:442)
[error] at sbt.Project$.session(Project.scala:448)
[error] at sbt.Project$.extract(Project.scala:453)
[error] at sbt.BuiltinCommands$.notifyUsersAboutShell(Main.scala:789)
[error] at sbt.BuiltinCommands$.$anonfun$notifyUsersAboutShell$3(Main.scala:798)
[error] at sbt.Command$.$anonfun$command$2(Command.scala:79)
[error] at sbt.MainLoop$.processCommand(MainLoop.scala:121)
[error] at sbt.MainLoop$.$anonfun$next$2(MainLoop.scala:105)
[error] at sbt.State$$anon$1.runCmd$1(State.scala:228)
[error] at sbt.State$$anon$1.process(State.scala:234)
[error] at sbt.MainLoop$.$anonfun$next$1(MainLoop.scala:105)
[error] at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:17)
[error] at sbt.MainLoop$.next(MainLoop.scala:105)
[error] at sbt.MainLoop$.run(MainLoop.scala:98)
[error] at sbt.MainLoop$.$anonfun$runWithNewLog$1(MainLoop.scala:76)
[error] at sbt.io.Using.apply(Using.scala:23)
[error] at sbt.MainLoop$.runWithNewLog(MainLoop.scala:70)
[error] at sbt.MainLoop$.runAndClearLast(MainLoop.scala:52)
[error] at sbt.MainLoop$.runLoggedLoop(MainLoop.scala:37)
[error] at sbt.MainLoop$.runLogged(MainLoop.scala:29)
[error] at sbt.StandardMain$.runManaged(Main.scala:104)
[error] at sbt.xMain.run(Main.scala:71)
[error] at xsbt.boot.Launch$$anonfun$run$1.apply(Launch.scala:109)
[error] at xsbt.boot.Launch$.withContextLoader(Launch.scala:128)
[error] at xsbt.boot.Launch$.run(Launch.scala:109)
[error] at xsbt.boot.Launch$$anonfun$apply$1.apply(Launch.scala:35)
[error] at xsbt.boot.Launch$.launch(Launch.scala:117)
[error] at xsbt.boot.Launch$.apply(Launch.scala:18)
[error] at xsbt.boot.Boot$.runImpl(Boot.scala:41)
[error] at xsbt.boot.Boot$.main(Boot.scala:17)
[error] at xsbt.boot.Boot.main(Boot.scala)
[error] Session not initialized.
[error] Use 'last' for the full log.
```
`wbt compile` also fails with the same error.Kunshan WangKunshan Wang