GitLab will be upgraded to the 12.10.14-ce.0 on 28 Sept 2020 at 2.00pm (AEDT) to 2.30pm (AEDT). During the update, GitLab and Mattermost services will not be available. If you have any concerns with this, please talk to us at N110 (b) CSIT building.

Commit 87c59ebf authored by Isaac Oscar Gariano's avatar Isaac Oscar Gariano

Merge branch 'develop' of gitlab.anu.edu.au:mu/mu-impl-fast into develop

parents 9e808875 d995ef12
......@@ -1111,7 +1111,7 @@ impl Clone for MuEntityHeader {
}
pub fn name_check(name: MuName) -> MuName {
let name = name.replace('.', "$");
let name = name.replace('.', "_");
if name.starts_with("@") || name.starts_with("%") {
let (_, name) = name.split_at(1);
......
......@@ -624,7 +624,7 @@ struct FuncCtxBuilder {
tree_nodes: IdPMap<TreeNode>,
}
const DEFAULT_TRUE_PROB: f32 = 0.6f32;
const DEFAULT_TRUE_PROB: f32 = 0.4f32;
impl<'lb, 'lvm> BundleLoader<'lb, 'lvm> {
fn load_bundle(&mut self) {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment