Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 30, 2025

• [#5] Added div with Buchi automaton graph

  exesaLigno

  committed
  1cf6f7e

  Copy full SHA for 1cf6f7e

• [#5] Added graphviz repr

  exesaLigno

  committed
  fed9044

  Copy full SHA for fed9044

Commits on Jun 18, 2025

• Added new tasks with solutions

  exesaLigno

  committed
  12ffc25

  Copy full SHA for 12ffc25

• Fixed formula repr in robdd solver

  exesaLigno

  committed
  45fd5ef

  Copy full SHA for 45fd5ef

• Fixed placeholders and switches overflow

  exesaLigno

  committed
  c52e27d

  Copy full SHA for c52e27d

• Fixed typo

  exesaLigno

  committed
  e3c955b

  Copy full SHA for e3c955b

Commits on Jun 17, 2025

• Added pull request instructions link

  exesaLigno

  committed
  c4e9674

  Copy full SHA for c4e9674

• Readme's updated

  exesaLigno

  committed
  e4e1880

  Copy full SHA for e4e1880

• Fixed promela highlighting

  exesaLigno

  committed
  a2ae4af

  Copy full SHA for a2ae4af

• Added Promela syntax highlighting

  exesaLigno

  committed
  b25d9c8

  Copy full SHA for b25d9c8

• Fixed filtering for frama-c

  exesaLigno

  committed
  49df7d1

  Copy full SHA for 49df7d1

• Removed useless header for solved tasks

  exesaLigno

  committed
  4757b82

  Copy full SHA for 4757b82

• Added code title for task text

  exesaLigno

  committed
  a39d898

  Copy full SHA for a39d898

• Fixed buttons on mobile devices

  exesaLigno

  committed
  1dd4c38

  Copy full SHA for 1dd4c38

• Global tasks var to search with source code

  exesaLigno

  committed
  49e40a3

  Copy full SHA for 49e40a3

• Fixed highlight.js background color

  exesaLigno

  committed
  7b888c0

  Copy full SHA for 7b888c0

• Added new solutions

  exesaLigno

  committed
  c95d523

  Copy full SHA for c95d523

• Added syntax highlighting for frama-c

  exesaLigno

  committed
  8990ba7

  Copy full SHA for 8990ba7

• Added two frama-c solutions

  exesaLigno

  committed
  c6ac77d

  Copy full SHA for c6ac77d

• Reworked with hash function

  exesaLigno

  committed
  c0bdeaa

  Copy full SHA for c0bdeaa

Commits on Jun 16, 2025

• Added trust sorting

  exesaLigno

  committed
  92ef867

  Copy full SHA for 92ef867

• Reworked framac page logic

  exesaLigno

  committed
  0bc7c84

  Copy full SHA for 0bc7c84

• Updated knowledge base

  exesaLigno

  committed
  6e2014e

  Copy full SHA for 6e2014e

• Added knowledge base page

  exesaLigno

  committed
  34ccace

  Copy full SHA for 34ccace

• Added cocktail_back solution

  exesaLigno

  committed
  cbeb219

  Copy full SHA for cbeb219

• Added frama-c page

  exesaLigno

  committed
  943e23b

  Copy full SHA for 943e23b

Commits on Mar 11, 2025

• Added separate page about adding new solutions

  exesaLigno

  committed
  64b6009

  Copy full SHA for 64b6009

• Added filter for tasks on page

  exesaLigno

  committed
  0e441b3

  Copy full SHA for 0e441b3

• Added marks of approved solutions

  exesaLigno

  committed
  ec52a20

  Copy full SHA for ec52a20

• Added headers for solved and unsolved sections.

  Show description for 2ea2391
  exesaLigno

  committed
  2ea2391

  Copy full SHA for 2ea2391

• Tasks sorted into two categories - solved and unsolved. Each task has each own container to simply hide and show tasks on filtration

  exesaLigno

  committed
  2f70ed2

  Copy full SHA for 2f70ed2

• Fixed goal in 16th task

  exesaLigno

  committed
  c5b1796

  Copy full SHA for c5b1796

• Added alternative solution for Six Checkers

  exesaLigno

  committed
  3987a7d

  Copy full SHA for 3987a7d

• Added two users solutions

  exesaLigno

  committed
  64f52ca

  Copy full SHA for 64f52ca

Commits on Mar 10, 2025

• Added solution for task 'Jags of water'

  exesaLigno

  committed
  75a9b6e

  Copy full SHA for 75a9b6e

Pagination

Previous

Next