Renamed to VeriFactory

.github/workflows/publish.yml

@@ -16,11 +16,11 @@ jobs:
  matrix:
  include:
  - os: ubuntu-latest
- artifact_name: factorio_verify
- asset_name: factorio_verify-linux
+ artifact_name: verifactory
+ asset_name: VeriFactory-linux
  - os: windows-latest
- artifact_name: factorio_verify.exe
- asset_name: factorio_verify-win
+ artifact_name: verifactory.exe
+ asset_name: VeriFactory-win.exe
 
  steps:
  - uses: actions/checkout@v3

README.md

@@ -1,11 +1,11 @@
-# Factorio Verify
+# VeriFactory
 ![](teaser.png)
 
-Factorio Verify is a verifier for Factorio blueprints, enabling you to automatically check logical properties on a blueprint.
+VeriFactory is a verifier for Factorio blueprints, enabling you to automatically check logical properties on a blueprint.
 Currently this is limited to checking whether or not a belt-balancer works and if the inputs get all drained the same, leading to no imbalances.
 
 ## How it works
- - A blueprint is loaded with **File > Open blueprint** or **File > Open blueprint file**.
+ - A blueprint is loaded via **File > Open blueprint**, **File > Open blueprint file** or by pasting with the `Ctrl+V` shortcut.
  - Automatically added inputs/outputs should be removed accordingly (Every belt or splitter ending or starting from nothing gets flagged as input/output).
  - Every entity of the blueprint is then transformed into one or more nodes in a graph (using an intermediate representation).
  - The graph is simplified and the throughputs of the different edges are minimized as much as possible.
@@ -38,12 +38,12 @@ Take for example the following [64x64 belt balancer](https://fbe.teoxoy.com/?sou
 
 ## Installation
 
-The latest version of the program can be found [here](https://github.com/alegnani/factorio_verify/releases) for both Windows and Linux. 
-This option ships factorio_verify bundled with z3.
+The latest version of the program can be found [here](https://github.com/alegnani/verifactory/releases) for both Windows and Linux. 
+This option ships VeriFactory bundled with z3.
 
 ### Building from source
 
-`factorio_verify` can be compiled either with `z3` bundled with it or needing a valid installation of it on the system. For Windows it is recommended to go for the bundled version.
+`VeriFactory` can be compiled either with `z3` bundled with it or needing a valid installation of it on the system. For Windows it is recommended to go for the bundled version.
 
 #### Building the standalone version
 

src/entities.rs

@@ -25,7 +25,7 @@ where
  }
 }
 
-/// Enum of possible entities that are supported by Factorio Verify
+/// Enum of possible entities that are supported by VeriFactory
 ///
 /// The phantoms are used to populate the grid of entities with entities that are bigger than 1x1.
 /// These include the splitter (2x1) and the assembler (3x3).

src/gui/app.rs

@@ -355,10 +355,9 @@ impl eframe::App for MyApp {
  ui.label("- Big blueprints won't fit on the screen.\n \
  Use *View > Decrease blueprint size* to zoom out. \
  A better, zoomable and movable, canvas is WIP.");
- ui.label("- Factorio Verify can prove much more than the automatic proofs above.\n \
+ ui.label("- VeriFactory can prove much more than the automatic proofs above.\n \
  A custom language to specify own properties is WIP.");
- ui.label("\n Thank you for testing Factorio Verify and have fun.\n The factory must grow!");
-
+ ui.label("\n Thank you for testing VeriFactory and have fun.\n The factory must grow!");
  });
  }
 }

src/gui/mod.rs

@@ -1,4 +1,4 @@
-//! Implementation of the GUI of Factorio Verify
+//! Implementation of the GUI of VeriFactory
 
 mod app;
 mod grid;

src/main.rs

@@ -17,7 +17,7 @@ pub fn main() -> Result<(), eframe::Error> {
  let file = File::create("debug.log").unwrap();
  tracing_subscriber::fmt().with_writer(Arc::new(file)).init();
  eframe::run_native(
- "Factorio Verify",
+ "VeriFactory",
  NativeOptions::default(),
  Box::new(|cc| {
  egui_extras::install_image_loaders(&cc.egui_ctx);