Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 27, 2025

• Really final vesion of ISPRAS paper

  Kakadu

  committed
  042633f

  Copy full SHA for 042633f

Commits on Jul 8, 2025

• OCanren-RUS export

  Kakadu

  committed
  f24f561

  Copy full SHA for f24f561

• Update picture

  Show description for fa8e9e5
  Kakadu

  committed
  fa8e9e5

  Copy full SHA for fa8e9e5

• Maybe it will be last version

  Kakadu

  committed
  c4229c2

  Copy full SHA for c4229c2

• OCanren-RUS: remove temporary files

  Show description for 68066bb
  Kakadu

  committed
  68066bb

  Copy full SHA for 68066bb

• OCanrenRUS final version

  Kakadu

  committed
  6b0704b

  Copy full SHA for 6b0704b

• OCanren-RUS: update benchmarks

  Show description for b9d3b76
  Kakadu

  committed
  b9d3b76

  Copy full SHA for b9d3b76

Commits on Jul 2, 2025

• Almost final version

  Kakadu

  committed
  c1278b8

  Copy full SHA for c1278b8

• WIP OCanren-RUS

  Kakadu

  committed
  4116e02

  Copy full SHA for 4116e02

• Update graph.png

  Show description for 5f84533
  Kakadu

  committed
  5f84533

  Copy full SHA for 5f84533

Commits on Jun 22, 2025

• Almost finish ISPRAS OCAnren + PDF

  Kakadu

  committed
  da05c60

  Copy full SHA for da05c60

Commits on May 13, 2025

• WIP on word

  Kakadu

  committed
  78dad5a

  Copy full SHA for 78dad5a

Commits on Apr 4, 2025

• ISPRAS WIP

  Show description for d15b1ea
  Kakadu

  committed
  d15b1ea

  Copy full SHA for d15b1ea

• TeX spelling

  Show description for e38adfa
  Kakadu

  committed
  e38adfa

  Copy full SHA for e38adfa

• Bib files polished

  Show description for b89eb2b
  Kakadu

  committed
  b89eb2b

  Copy full SHA for b89eb2b

Commits on Apr 2, 2025

• Spelling

  Show description for d76b8de
  Kakadu

  committed
  d76b8de

  Copy full SHA for d76b8de

• Need to fix DOI

  Kakadu

  committed
  df0f466

  Copy full SHA for df0f466

• WIP on literature lists

  Show description for 0a3bd90
  Kakadu

  committed
  0a3bd90

  Copy full SHA for 0a3bd90

• Less references to personal communic

  Show description for 4d91e50
  Kakadu

  committed
  4d91e50

  Copy full SHA for 4d91e50

• .gitignore

  Show description for 148111e
  Kakadu

  committed
  148111e

  Copy full SHA for 148111e

• WIP on Word paper

  Show description for b5202a5
  Kakadu

  committed
  b5202a5

  Copy full SHA for b5202a5

Commits on Apr 1, 2025

• OCanren-RUS: minor fixes

  Show description for 1b78f5e
  Kakadu

  committed
  1b78f5e

  Copy full SHA for 1b78f5e

• WIP on Word

  Kakadu

  committed
  8acc6d1

  Copy full SHA for 8acc6d1

• WIP on Word version

  Kakadu

  committed
  47ff658

  Copy full SHA for 47ff658

• OCanren RUS: Polishing after Boulytchev remarks

  Show description for f023273
  Kakadu

  committed
  f023273

  Copy full SHA for f023273

Commits on Mar 17, 2025

• Prog2025: really final version

  Show description for e76351a
  Kakadu

  committed
  e76351a

  Copy full SHA for e76351a

Commits on Mar 11, 2025

• Polishing OCanren paper

  Show description for 996f17c
  Kakadu

  committed
  996f17c

  Copy full SHA for 996f17c

Commits on Mar 4, 2025

• First version almost ready

  Show description for acecc36
  Kakadu

  committed
  acecc36

  Copy full SHA for acecc36

Commits on Mar 3, 2025

• WIP

  Show description for bdce5ed
  Kakadu

  committed
  bdce5ed

  Copy full SHA for bdce5ed

• Polishing paper. More details about wildcards

  Show description for 20659b4
  Kakadu

  committed
  20659b4

  Copy full SHA for 20659b4

Commits on Feb 5, 2025

• PROG2025: Remove 4th author

  Show description for 00861e4
  Kakadu

  committed
  00861e4

  Copy full SHA for 00861e4

• WIP on diseq

  Show description for 089e32b
  Kakadu

  committed
  089e32b

  Copy full SHA for 089e32b

Commits on Feb 3, 2025

• WIP

  Show description for 2ecf273
  Kakadu

  committed
  2ecf273

  Copy full SHA for 2ecf273

Commits on Jan 29, 2025

• WIP on paper

  Show description for 85c42f9
  Kakadu

  committed
  85c42f9

  Copy full SHA for 85c42f9

Commits on Jan 28, 2025

• WIP on russian paper. Disequality is next

  Show description for 31d65a1
  Kakadu

  committed
  31d65a1

  Copy full SHA for 31d65a1

Pagination

Previous

Next