Code

Rewrite#20

Code

Merged

chudicek merged 71 commits intomainsybila/biodivine-lib-logical-models:mainfrom rewritesybila/biodivine-lib-logical-models:rewriteCopy head branch name to clipboardJan 23, 2024

+84,125-6,172

Commits

Commits on Nov 11, 2023

• refactor: fixed the problem with the public exporting

  

  Lukáš Chudíček

  committed
  dcda527

Commits on Nov 12, 2023

• refactor: clippy

  

  Lukáš Chudíček

  committed
  4b63812

• refactor: more namespace pollution fixing

  

  Lukáš Chudíček

  committed
  f76087e

• refactor: lib.rs cleanup

  

  Lukáš Chudíček

  committed
  990a37a

• refactor: benchmarks now have own dir

  

  Lukáš Chudíček

  committed
  fcb39f3

• refactor: everything separated into directories neatly -> can begin refactor

  

  Lukáš Chudíček

  committed
  66964c9

• refactor: implemented the xml utils with proper errors & documentation

  

  Lukáš Chudíček

  committed
  bb4d88c

• refactor: some xml function

  

  Lukáš Chudíček

  committed
  edb796f

Commits on Nov 14, 2023

• refactor: structuring of Expression

  

  Lukáš Chudíček

  committed
  5703371

Commits on Nov 18, 2023

• refactor: parsing expressing from xml

  

  Lukáš Chudíček

  committed
  e1132d4

Commits on Nov 22, 2023

• refactor: symbolic_domain module start

  

  Lukáš Chudíček

  committed
  740a63c

Commits on Dec 2, 2023

• refactor: added some notes for refactor

  

  Lukáš Chudíček

  committed
  36f6e5a

Commits on Dec 3, 2023

• refactor: some progress

  

  Lukáš Chudíček

  committed
  0c908f7

Commits on Dec 5, 2023

• refactor: parsing variable update fn

  

  Lukáš Chudíček

  committed
  7605c32

• refactor: better module structure

  

  Lukáš Chudíček

  committed
  1c8f7e1

• refactor: some progress on rewriting compiling update fn from struct to bdd

  

  Lukáš Chudíček

  committed
  9a99fa9

Commits on Dec 6, 2023

• refactor: variable update fn rewritten

  

  Lukáš Chudíček

  committed
  cc3ce07

• style: cargo fmt

  

  Lukáš Chudíček

  committed
  aed5c82

• refactor: variable update fn bdd terms part done

  

  Lukáš Chudíček

  committed
  2d4d2cc

• style: clippy

  

  Lukáš Chudíček

  committed
  b433d15

• refactor: whole update fn refactored

  

  Lukáš Chudíček

  committed
  48616de

• style: more clippy

  

  Lukáš Chudíček

  committed
  f56c77c

• refactor: some progress on rewriting creating whole system update fn

  

  Lukáš Chudíček

  committed
  bb30299

Commits on Dec 7, 2023

• refactor: system update function construction from unprocessed update fn

  

  Lukáš Chudíček

  committed
  c39cfde

• refactor: one more part of system update fn

  

  Lukáš Chudíček

  committed
  924a5aa

• docs: renamed variable & reasoned about seemingly useless code

  

  Lukáš Chudíček

  committed
  9a46a5d

• refactor: moved function where it belongs

  

  Lukáš Chudíček

  committed
  24b1e9a

• refactor: udpate fn successors

  

  Lukáš Chudíček

  committed
  e860f52

• refactor: udpate fn predecessors

  

  Lukáš Chudíček

  committed
  f12067a

• refactor: system update fn smart from variable update fns

  

  Lukáš Chudíček

  committed
  87d6f26

• refactor: system update fn smart succs & preds

  

  Lukáš Chudíček

  committed
  d6fb802

Commits on Dec 9, 2023

• refactor: proper handling/storing of primed variables and domains

  

  Lukáš Chudíček

  committed
  641f56b

• docs: some todos i do not want to do now

  

  Lukáš Chudíček

  committed
  7380387

• fix: smart update function now requires no tick (prime symbol) present

  

  Lukáš Chudíček

  committed
  9ea3819

• refactor: unary integer domain *ReImaGiNed*

  

  Lukáš Chudíček

  committed
  644072f

• refactor: a way of constructing all update fns

  

  Lukáš Chudíček

  committed
  722e57e

• refactor: xml parsing works

  

  Lukáš Chudíček

  committed
  0e0eced

• refactor: ready to implement tests

  

  Lukáš Chudíček

  committed
  1668e32

Commits on Dec 10, 2023

• feat: simpler way to test all 4 impls in sync

  

  Lukáš Chudíček

  committed
  5dee5fe

• fix: synced system_update_fn transitions with smart_system_update_fn

  

  Lukáš Chudíček

  committed
  719ae38

• refactor: removed useless tests

  

  Lukáš Chudíček

  committed
  7979026

• feat: added some tests revealing problems

  

  Lukáš Chudíček

  committed
  c21d8d8

Commits on Dec 11, 2023

• fix: removed primed domains from unit set in new smart; still some bugs present tho

  

  Lukáš Chudíček

  committed
  7d3b920

• fix: this somehow fixed successors, do not ask me

  

  Lukáš Chudíček

  committed
  f89ff2b

• fix: no words...

  

  Lukáš Chudíček

  committed
  13a3dfb

• fix: nvm; previous cannot be compiled

  

  Lukáš Chudíček

  committed
  2efc842

• fix: .rev() -> renaming in smart preds ok -> old & new preds consistent

  

  Lukáš Chudíček

  committed
  1f9bb24

• fix: intersecting with unit set always good -> predecessors new dumb works

  

  Lukáš Chudíček

  committed
  c2a44b0

Commits on Dec 12, 2023

• fix: intersecting with unit set always good -> predecessors new smart works

  

  Lukáš Chudíček

  committed
  584d8bb

• refactor: petri net encoding

  

  Lukáš Chudíček

  committed
  b641739

• refactor: binary & gray encoding

  

  Lukáš Chudíček

  committed
  bf50e5b

• refactor: gray encoding SymbolicDomainOrd impl

  

  Lukáš Chudíček

  committed
  be302eb

Commits on Dec 14, 2023

• fix: bruh off by one error fix making the whole preds/succs tests pass

  

  Lukáš Chudíček

  committed
  8c1441d

• refactor: rewritten the reachability benchmark

  

  Lukáš Chudíček

  committed
  a8e43a4

• style: clippy

  

  Lukáš Chudíček

  committed
  ae54d1a

• style: more clippy

  

  Lukáš Chudíček

  committed
  573827f

• refactor: update lib-bdd dependency -> bug no more -> optimization

  

  Lukáš Chudíček

  committed
  32c2acd

Commits on Dec 17, 2023

• style: clippy (the old version used on pipeline)

  

  Lukáš Chudíček

  committed
  77e735a

• style: oh f forgot this

  

  Lukáš Chudíček

  committed
  e74abbd

Commits on Dec 18, 2023

• Add representative BDD size data for FWD reachability.

  daemontus

  committed
  70a19b7

Commits on Jan 13, 2024

• refactor: better readability of the consistency tests

  

  Lukáš Chudíček

  committed
  1617cf6

• refactor: yoted prototype, long live rewrite

  

  Lukáš Chudíček

  committed
  da20596

• refactor: _prototype gone

  

  Lukáš Chudíček

  committed
  7a43cbb

• refactor: removed useless/duplicated functions that remained after the restructure

  

  Lukáš Chudíček

  committed
  29a9394

• refactor: cleanup in the tests

  

  Lukáš Chudíček

  committed
  eb22da1

• refactor: testing consistency across all implementations of SymbolicDomain

  

  Lukáš Chudíček

  committed
  5134380

Commits on Jan 14, 2024

• refactor: simple cleanups

  

  Lukáš Chudíček

  committed
  2dda391

• refactor: moved unprocessed_variable_update_function where it belongs

  

  Lukáš Chudíček

  committed
  2be2439

• fix: pipeline - rust version update to allow new features

  

  Lukáš Chudíček

  committed
  188cb8d

• fix: test should be able to run on the pipeline

  

  Lukáš Chudíček

  committed
  f606636

• fix: testing done on the --release build (todo consider if want to run those tests altogether)

  

  Lukáš Chudíček

  committed
  df862af