Commits

Breadcrumbs

History for

onvcimplication-ordering

User selector

All users

All time

Commit History

Commits on May 14, 2026

• Update Run Script (#223)

  rcosta358

  authored
  38d4dbc

  Copy full SHA for 38d4dbc

Commits on Sep 28, 2025

• Update README (#56)

  rcosta358

  authored
  368df95

  Copy full SHA for 368df95

Commits on Oct 10, 2022

• Moved folders

  alcides

  committed
  224c426

  Copy full SHA for 224c426

• ignored spoon

  alcides

  committed
  f6f781a

  Copy full SHA for f6f781a

• comments

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  f7d2776

  Copy full SHA for f7d2776

• tests are working again

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  73a54a6

  Copy full SHA for 73a54a6

• logging

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  9c54eee

  Copy full SHA for 9c54eee

• typo

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  7268557

  Copy full SHA for 7268557

• loops to streams

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  ca3d090

  Copy full SHA for ca3d090

• call to method reference

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  cdf7467

  Copy full SHA for cdf7467

• loop to stream and final addition

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  6070d11

  Copy full SHA for 6070d11

• param name mismatch in javadoc

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  4bb5f98

  Copy full SHA for 4bb5f98

• comments

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  8695c5a

  Copy full SHA for 8695c5a

• better methods

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  c5dfb85

  Copy full SHA for c5dfb85

• more info to debug prints

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  cf9735b

  Copy full SHA for cf9735b

• cleaner loop and comments

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  1c19321

  Copy full SHA for 1c19321

• formatting and semantic renaming

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  da24a8e

  Copy full SHA for da24a8e

• simplification

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  12844b1

  Copy full SHA for 12844b1

• simplifivation

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  2abcf26

  Copy full SHA for 2abcf26

• semantic renaming

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  71c86e6

  Copy full SHA for 71c86e6

• semantic renaming

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  e3ee6f1

  Copy full SHA for e3ee6f1

• semantic renaming

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  8c37acc

  Copy full SHA for 8c37acc

• simplification and brackets

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  6cf4655

  Copy full SHA for 6cf4655

• typo

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  162d6d8

  Copy full SHA for 162d6d8

• semantic renaming

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  b7cedac

  Copy full SHA for b7cedac

• typo

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  dcc5d1b

  Copy full SHA for dcc5d1b

• :(

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  e0d621f

  Copy full SHA for e0d621f

• extracting field ghost update to separate method

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  3127da8

  Copy full SHA for 3127da8

• new call to emptList call

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  33e6e73

  Copy full SHA for 33e6e73

• loop simplification

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  9beb872

  Copy full SHA for 9beb872

• potential bug

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  ca2584d

  Copy full SHA for ca2584d

• better name

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  4c2fbb9

  Copy full SHA for 4c2fbb9

• more idomatic name construction

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  62870d8

  Copy full SHA for 62870d8

• Simple tests for field updates

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  f4c5855

  Copy full SHA for f4c5855

• Existence of generated code implies absence of code position in source

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  1331af8

  Copy full SHA for 1331af8