Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
80 commits
Select commit Hold shift + click to select a range
ef65b0f
commiting before adding some code to rule.rs
xR0xEr Aug 25, 2024
c268d0c
all checks written down + first implementations of some checks
xR0xEr Sep 16, 2024
8b0bc54
some refactoring
xR0xEr Sep 16, 2024
ea509cc
update commit: further refactoring and some implementing for guarded …
xR0xEr Sep 17, 2024
79a5051
fully implemented function for getting positions of variable in a rule
xR0xEr Oct 14, 2024
2769d47
Merge branch 'main' into feature/static_checks
xR0xEr Oct 17, 2024
c88f8b7
fully integrated main branch into my new created files
xR0xEr Oct 18, 2024
e8dfe9c
some refactoring and implementation of initial_affected_positions()
xR0xEr Oct 18, 2024
445a003
update commit and some refactoring
xR0xEr Oct 20, 2024
5b3dd1f
update commit
xR0xEr Oct 24, 2024
b59a0ce
update commit: some refactoring and some implemantation
xR0xEr Oct 24, 2024
5510060
Rewrite Positions subtract method
monsterkrampe Oct 25, 2024
29f6a67
outsourced struct Positions in an own file
xR0xEr Oct 25, 2024
063ce25
outsourced struct RuleSet into an own file, and some major (hopefully…
xR0xEr Oct 25, 2024
ef0dc67
update commit
xR0xEr Oct 28, 2024
61c3802
implemented concluding function to calculate the affected positions
xR0xEr Oct 28, 2024
ed59dda
implemented marking check
xR0xEr Nov 1, 2024
45f6224
implemented jointly guarded checks
xR0xEr Nov 8, 2024
9fb4af2
added shy check
xR0xEr Nov 8, 2024
ecae4a0
update commit
xR0xEr Nov 8, 2024
73370eb
started implementing DependencyGraph for more checks
xR0xEr Nov 11, 2024
ddb1b5e
update commit for creating new branch positions_using_ref
xR0xEr Nov 13, 2024
ea5e28f
added Ord implementation for Tag, so I can use Position as Node for G…
xR0xEr Nov 13, 2024
7fe9dbe
fixed every error so far but it can be optimized
xR0xEr Nov 14, 2024
95f6f4a
new error
xR0xEr Nov 18, 2024
253851b
difference now takes a ref
xR0xEr Nov 19, 2024
5897665
update commit
xR0xEr Nov 20, 2024
b866160
update commit
xR0xEr Nov 20, 2024
b2483d6
some refactoring
xR0xEr Nov 21, 2024
8e811ce
finished implementation of acyclicity graphs
xR0xEr Nov 29, 2024
26e1554
Merge branch 'main' into feature/static_checks for updating reasons
xR0xEr Nov 29, 2024
b132bb4
some refactoring
xR0xEr Nov 29, 2024
8755ad1
some major refactoring and implementation of cycletrait
xR0xEr Dec 2, 2024
6c8c132
some major refactoring and implementation of cycletrait
xR0xEr Dec 2, 2024
da4b60f
resolved merge conflicts
xR0xEr Dec 2, 2024
d8bd6af
implemented acyclicity checks
xR0xEr Dec 6, 2024
927d52f
some refactoring
xR0xEr Dec 9, 2024
0be4cbd
implemented glut guarded checks
xR0xEr Dec 11, 2024
faa0664
all position structs are now type aliases to collections
xR0xEr Dec 16, 2024
33552e2
RuleSet is now a type alias to Vec<Rule>
xR0xEr Dec 17, 2024
4954755
update commit
xR0xEr Dec 18, 2024
5e6b613
RuleSet as type and major refactoring
xR0xEr Dec 24, 2024
de70506
refactored whole ruleset, encapsulated every used method in a trait
xR0xEr Dec 28, 2024
bdf182e
deleted types AffectedPositions, AttackedPositions, MarkedPositions b…
xR0xEr Jan 6, 2025
6f007d5
start of implementation for weakly_sticky check
xR0xEr Jan 6, 2025
50e57a2
refactoring how lukas wanted
xR0xEr Jan 7, 2025
304a01e
refactor how lukas wanted it
xR0xEr Jan 8, 2025
85af7d2
some easy refactoring
xR0xEr Jan 14, 2025
7c8f271
init commit
xR0xEr Jan 15, 2025
be989b3
Merge branch 'main' into feature/static_checks
xR0xEr Jan 17, 2025
49eb764
Merge branch 'feature/static_checks' into test/static_checks
xR0xEr Jan 17, 2025
5c60835
reimplemented infinite_rank_positions because I somehow deleted it :(
xR0xEr Jan 17, 2025
0bdcfdd
Merge branch 'feature/static_checks' into test/static_checks
xR0xEr Jan 17, 2025
219fae9
implemented TestCase struct for static checks and implemented datalog…
xR0xEr Jan 23, 2025
8def53a
added some tests
xR0xEr Jan 24, 2025
81da690
commiting before i try something
xR0xEr Jan 27, 2025
6a69f0d
made all tests work
xR0xEr Jan 30, 2025
3246860
Remove unnecessary acyclicity_graph_constructor
monsterkrampe Feb 3, 2025
b1b64f9
Refactor acyclicity_graphs.rs
monsterkrampe Feb 3, 2025
93e10ab
Revert "Refactor acyclicity_graphs.rs" to implement the Builder-Patte…
xR0xEr Mar 6, 2025
682f6ae
refactored acyclicity_graphs.rs, so the graphs are now Wrapper-Struct…
xR0xEr Mar 6, 2025
abae590
Refactor rule_set.rs: First elimination of some types and traits
xR0xEr Mar 7, 2025
29f945d
Refactor ruleset.rs: ended trait elimination
xR0xEr Mar 9, 2025
e15022a
Refactor: positions.rs: elimination of verbose traits and refactoring…
xR0xEr Mar 10, 2025
9507583
removed macOS specific .DS_Store
xR0xEr Mar 10, 2025
cd399b9
added type RuleAndVariable and refactored with it
xR0xEr Mar 10, 2025
5d0e89a
major refactoring in the building of both graphs. Reduced and Optimis…
xR0xEr Mar 11, 2025
a0f6dea
implemented method positive_variables_iter() for rule
xR0xEr Mar 11, 2025
13d7d5f
renamed methods that return a boolean value to begin with a verb
xR0xEr Mar 13, 2025
88597a4
Renamed traits that are involved in the development of the affected /…
xR0xEr Mar 13, 2025
f9ea8ca
Removed the traits: AllPositivePositions, ExistentialVariables, Exist…
xR0xEr Mar 13, 2025
5ba8e16
Expected parsing and translation results in the implementation of the…
xR0xEr Mar 13, 2025
fe9c62b
update commit, so I can fix something on linux
xR0xEr Mar 29, 2025
9eeccde
created an own crate for static-checks
xR0xEr Mar 30, 2025
258b08f
Merge branch 'main' into feature/static_checks
xR0xEr Jun 12, 2025
55e63f4
fixed some error from merge
xR0xEr Jun 12, 2025
9cd87f6
resolved merge conflicts
xR0xEr Jul 3, 2025
e97864e
resolved some errors
xR0xEr Jul 3, 2025
2d45bd8
implemented msa transformation
xR0xEr Jul 8, 2025
e3d6a7a
finished msa check
xR0xEr Jul 9, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -34,3 +34,6 @@ flycheck_*.el

# ide settings
/.vscode

# MacOS specific .DS_Store
.DS_Store
Loading
Loading