 Malte Tammena
|
17a066c990
|
adjust scripts for loop-full run
|
2024-07-08 12:57:05 +02:00 |
|
|
Malte Tammena
|
a9fae50bb8
|
fix sc-batch script --max_loops usage and starter script for generation
|
2024-07-05 11:22:44 +02:00 |
|
|
Malte Tammena
|
68a74cbf4d
|
fix some typos
|
2024-07-01 14:18:10 +02:00 |
|
|
Malte Tammena
|
47999f6e14
|
adjust the scripts pre-loop-runs
|
2024-06-28 09:44:12 +02:00 |
|
|
Malte Tammena
|
06641ddc80
|
scripting and tweaking
|
2024-06-18 08:41:09 +02:00 |
|
|
Malte Tammena
|
7e8d83b871
|
add option to specify loop propability
|
2024-06-14 09:48:08 +02:00 |
|
|
Malte Tammena
|
89f25b07d4
|
adjust for new graphic
|
2024-06-10 14:43:26 +02:00 |
|
|
Malte Tammena
|
7e48504bab
|
generalize sc-batch script over OFFSET
|
2024-06-04 11:05:40 +02:00 |
|
|
Malte Tammena
|
46adae4a8e
|
adjust runtime and memory caps, second try
|
2024-06-03 15:45:31 +02:00 |
|
|
Malte Tammena
|
9490b7e752
|
pre-final-run-commit
|
2024-06-03 12:25:07 +02:00 |
|
|
Malte Tammena
|
ad54f0755f
|
small script adjustments to make the cluster happy
|
2024-05-25 10:15:27 +02:00 |
|
|
Malte Tammena
|
27ed3caf0b
|
prepare scripts for university sc cluster
|
2024-05-25 08:09:53 +02:00 |
|
|
Malte Tammena
|
04ff305dbb
|
change some script values
|
2024-05-24 12:03:17 +02:00 |
|
|
Malte Tammena
|
3c0f8f83f1
|
script for gen images
|
2024-05-17 09:36:52 +02:00 |
|
|
Malte Tammena
|
91b51fe38b
|
continue with scripts and debugging
|
2024-05-14 16:11:06 +02:00 |
|
|
Malte Tammena
|
ef5f0606c0
|
use aba for loop-finding, drop graph stuff
|
2024-04-25 17:02:48 +02:00 |
|
|
Malte Tammena
|
76dcb32dc5
|
small fixes
|
2024-04-25 13:45:09 +02:00 |
|
|
Malte Tammena
|
b94555e703
|
add python lsp
|
2024-04-25 12:23:30 +02:00 |
|
|
Malte Tammena
|
78b37317d2
|
formatting
|
2024-04-24 09:31:31 +02:00 |
|
|
Malte Tammena
|
d6a8f50a6c
|
adjust devshell
|
2024-04-24 09:23:54 +02:00 |
|
|
Malte Tammena
|
1241dea3a4
|
add acyclic generator from Markus
|
2024-04-24 09:22:10 +02:00 |
|
|
Malte Tammena
|
6255ac56fe
|
feat: count-loop binary to count loops in aba file
|
2024-04-23 14:07:30 +02:00 |
|
|
Malte Tammena
|
e99010873a
|
feat: restructure into lib/bin
|
2024-04-23 14:07:16 +02:00 |
|
|
Malte Tammena
|
0e633b9a86
|
performance test adjustments
|
2024-04-20 14:09:41 +02:00 |
|
|
Malte Tammena
|
4590221966
|
performance fixes done
|
2024-04-18 22:19:51 +02:00 |
|
|
Malte Tammena
|
3dc977482f
|
fix memory issues, 2000 atoms, no problem with that!
400 cycles? No issue found!
|
2024-04-18 17:35:18 +02:00 |
|
|
Malte Tammena
|
4d89213fc9
|
redo packaging
|
2024-04-10 11:19:47 +02:00 |
|
|
Malte Tammena
|
8ffa57c23d
|
solve some ram issues
|
2024-03-27 11:28:02 +01:00 |
|
|
Malte Tammena
|
9f6a0da017
|
no ∞. but formatting and pre-commit
|
2024-03-25 17:16:34 +01:00 |
|
|
Malte Tammena
|
8ab001405a
|
some bugs, some fixes, but no perfection yet
Loops forever ∞
|
2024-03-15 23:37:23 +01:00 |
|
|
Malte Tammena
|
1ab554fc8e
|
rewrite, simplify
|
2024-03-13 22:26:04 +01:00 |
|
|
Malte Tammena
|
a1a779c404
|
add iccma gen script and tarjan scc graph algorithm
|
2024-03-13 12:48:39 +01:00 |
|
|
Malte Tammena
|
b4b996b298
|
fix builds
|
2024-03-13 11:11:41 +01:00 |
|
|
Malte Tammena
|
5bb40aeade
|
pre-commit magic
|
2024-03-13 11:10:32 +01:00 |
|
|
Malte Tammena
|
4d0d1cf9be
|
feat: new failing test
|
2024-02-28 16:13:58 +01:00 |
|
|
Malte Tammena
|
bef9b52874
|
feat: simplify theory generation types
|
2024-02-28 14:11:38 +01:00 |
|
|
Malte Tammena
|
10acaf410a
|
update and comment
|
2024-02-19 10:28:23 +01:00 |
|
|
Malte Tammena
|
50c72aee29
|
feat: drop obsolete rules using trim function on ABA instances
This is a small step on the journey to get rid of loops, but will only
remove trivial loops that can never be reached.
|
2024-01-16 16:14:53 +01:00 |
|
|
Malte Tammena
|
d3ae956d4f
|
add new test
|
2024-01-12 11:19:35 +01:00 |
|
|
Malte Tammena
|
5fde4ffbc0
|
chore(tests): new edge case found.. yeah
|
2024-01-09 16:57:59 +01:00 |
|
|
Malte Tammena
|
5aa9201a27
|
feat(scripts): validate script to compare outputs between ASPforABA and aba2sat
|
2024-01-08 13:08:17 +01:00 |
|
|
Malte Tammena
|
3cef363869
|
feat(shell): add ASPforABA to devshell
|
2024-01-08 13:07:48 +01:00 |
|
|
Malte Tammena
|
e862bf547d
|
fix: some checks that were too strict
|
2024-01-08 13:07:27 +01:00 |
|
|
Malte Tammena
|
9fafc537e6
|
implement problems around complete
|
2023-12-07 17:26:24 +01:00 |
|
|
Malte Tammena
|
7a3ed4a994
|
fix flake check
|
2023-12-07 16:54:06 +01:00 |
|
|
Malte Tammena
|
a62c760cc5
|
additional docs and renames
|
2023-12-07 16:41:21 +01:00 |
|
|
Malte Tammena
|
73bb954327
|
improved error output
|
2023-12-07 16:31:44 +01:00 |
|
|
Malte Tammena
|
fbade870d3
|
output unification
|
2023-12-07 16:15:05 +01:00 |
|
|
Malte Tammena
|
1cec3ef0e0
|
chore: format, rename, simplify
|
2023-12-07 15:54:49 +01:00 |
|
|
Malte Tammena
|
328cd79636
|
fix admissibility, unify with verification
|
2023-12-07 15:13:15 +01:00 |
|