Closed szabo137 closed 4 months ago
This opts out the QEDbase namespace and adds the dependency on QEDcore.
QEDbase
QEDcore
This is part of the general restructuring of QED.jl, see https://github.com/QEDjl-project/QED.jl/issues/35 for details.
QED.jl
Now with QEDcore in the local registry, the pipelines (incl. integration tests) succeed. I think this can be merged flawlessly.
This opts out the
QEDbase
namespace and adds the dependency onQEDcore
.This is part of the general restructuring of
QED.jl
, see https://github.com/QEDjl-project/QED.jl/issues/35 for details.