Commits

History for

Commits on Jun 26, 2026

???
ffrohn
committed
7752f4d
css
ffrohn
committed
fe796d0
css
ffrohn
committed
c75ab3a
css
ffrohn
committed
b7db749

Commits on Sep 8, 2025

css: unsupported
ffrohn
committed
a1e326e

Commits on Jun 18, 2024

fixes for SAST/PAST/AST
ffrohn
committed
75b5ee0

Commits on Aug 25, 2023

implemented penalty
Akihisa Yamada
committed
435bf9f

Commits on Aug 6, 2022

test run logic program
Akihisa Yamada
committed
335beea

Commits on Jul 26, 2022

for ranking
Akihisa Yamada
committed
5484717

Commits on Jul 25, 2022

proper use of css
Akihisa Yamada
committed
9086d26

Commits on Jul 15, 2022

computing advances over the past state of the art
Akihisa Yamada
committed
fea1616

Commits on Jul 14, 2022

for conflict detection
Akihisa Yamada
committed
43f4e01
towards collecting past results
Akihisa Yamada
committed
c0b8b27
fixed error case
Akihisa Yamada
committed
9f1008d
sorting team ranking
Akihisa Yamada
committed
c5ab86a

Commits on Jun 17, 2022

updates for better graph
Akihisa Yamada
committed
f805f6a

Commits on Jul 14, 2021

better certification display
Akihisa Yamada
committed
809c0c8
better score display
Akihisa Yamada
committed
136057e
again...
Akihisa Yamada
committed
ab9759f
stress certified score
Akihisa Yamada
committed
ddeea0a
stress certified score
Akihisa Yamada
committed
947d6b0

Commits on Jul 7, 2021

fixing graph
Akihisa Yamada
committed
ee599e0
more vivid color for tight bounds
Akihisa Yamada
committed
1080229
letting filters work again
Akihisa Yamada
committed
5553b53

Commits on Jul 5, 2021

changing color
Akihisa Yamada
committed
9bfcf8b

Commits on Jul 2, 2021

color
Akihisa Yamada
committed
15e81b4

Commits on Jun 4, 2021

minor style
Akihisa Yamada
committed
62ba48b
working state
Akihisa Yamada
committed
6295d89

Commits on Jun 3, 2021

new unified display for complexity
Akihisa Yamada
committed
ff90515

Commits on May 27, 2021

changes for better view
Akihisa Yamada
committed
21c37c4

Commits on May 26, 2021

compactify certified categories
Akihisa Yamada
committed
f4a19e3

Commits on Apr 20, 2021

improved css
Akihisa Yamada
committed
95b4474

Commits on Feb 25, 2021

updates for overlay, interesting filter, etc.
Akihisa Yamada
committed
56e98db

Commits on Jan 27, 2021

forgotten changes

Akihisa Yamada
authored and
Akihisa Yamada
committed
6b9c534

Commits on Dec 21, 2020

updates for 2021

Akihisa Yamada
authored and
Akihisa Yamada
committed
1042620