profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/eupp/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

eupp/LatticeKanren 4

Demo of lattice-based minikanren

eupp/allocpp 3

policy-based designed c++ allocator

eupp/allocgc 2

Malloc for cpp gc

eupp/google-play-crawler 1

Play with Google Play API :)

eupp/carpooling 0

Project on Multiagent systems course

eupp/coq 0

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

push eventEvent-Structures/event-struct

Dmitrii Mikhailovskii

commit sha 0ff3fcfc431a476298d44ff4cace9a9bc4f759f1

feat: definition of general PES and its instance from simple PES

view details

Evgenii Moiseenko

commit sha ae34e145a59ea7dfa865f54f0d6ea550acd36a0e

refactor: use Modules `Prime` and `PrimeCons` as namespaces

view details

Evgenii Moiseenko

commit sha 69138e3ce9a5b1f8e36b56d29e8d46d0e83065b0

refactor: change notation for conflict

view details

Evgenii Moiseenko

commit sha b80b1506b352eedc5ebd5be889f6fb4304c4d92c

refactor: rename

view details

Evgenii Moiseenko

commit sha e705145d1e6783c4612363068afc1b115b64b64f

docs: add prime event structures with general conflict to docs * TODO: write a single description of common parts of various event structure concepts?

view details

Evgenii Moiseenko

commit sha 4ee49e1fbb5ccd4b65a5500ecb3ee84414cad13f

refactor: rename `gcf_of_cf` --> `gcf`

view details

Evgenii Moiseenko

commit sha f35ecfd4ec2b778048964313227a66571dd4b001

refactor: shorten proofs * introduce `fset_existsP` and `fset_exists2P`

view details

Evgenii Moiseenko

commit sha 54f602ab246d99df49149da1754dbb7a396622ed

fix: add coercions, add basic tests for hierarchy

view details

Evgenii Moiseenko

commit sha 6bb7e79a8113a0661307c295283dd6a743354cf5

refactor: minor

view details

Dmitrii Mikhailovskii

commit sha fb267e69015c9a09dc7ce87e3901d790ebee48a8

Merge pull request #109 from Event-Structures/general_pes Definition of prime event structures with general conflict

view details

push time in 2 days

push eventJetBrains-Research/OCanren

Dmitry Boulytchev

commit sha 81ae81a5aae573fa9b0056e0a60e67065fa7468a

Micro refactoring

view details

push time in 2 days

issue openedEvent-Structures/event-struct

Drop ssrnatlia.v after Coq 8.14 is released

coq-mathcomp-zify does what we need:

opam info coq-mathcomp-zify

<><> coq-mathcomp-zify: information on all versions <><><><><><><><><><><><>  🐫
name                   coq-mathcomp-zify
all-installed-versions dev [coq8.13]
all-versions           1.0.0+1.12+8.13  dev

<><> Version-specific details <><><><><><><><><><><><><><><><><><><><><><><>  🐫
version      dev
repository   coq-extra-dev
source-hash  a1cca0ee
url.src:     "git+https://github.com/math-comp/mczify.git#master"
homepage:    "https://github.com/math-comp/mczify"
bug-reports: "https://github.com/math-comp/mczify/issues"
dev-repo:    "git+https://github.com/math-comp/mczify.git"
authors:     "Kazuhiko Sakaguchi"
maintainer:  "sakaguchi@coins.tsukuba.ac.jp"
license:     "CECILL-B"
tags:        "logpath:mathcomp.zify"
depends:     "coq" {(>= "8.13" & < "8.14~") | (= "dev")}
             "coq-mathcomp-algebra" {(>= "1.12" & < "1.13~") | (= "dev")}
synopsis     Micromega tactics for Mathematical Components
description  This small library enables the use of the Micromega tactics for goals stated
             with the definitions of the Mathematical Components library by extending the
             zify tactic.

created time in 2 days

PR opened Event-Structures/event-struct

refactor(utils): remove intro-patterns defined in Mathcomp 1.12

The version we had is not reliable across the supported Coq versions.

+1 -43

0 comment

1 changed file

pr created time in 2 days

create barnchEvent-Structures/event-struct

branch : cleanup

created branch time in 2 days

create barnchEvent-Structures/event-struct

branch : general_pes

created branch time in 3 days

push eventJetBrains-Research/OCanren

Dmitry Boulytchev

commit sha 6a5287405729726fbd4f430dd32cd80020097e33

Fixed errors

view details

push time in 3 days

push eventJetBrains-Research/OCanren

Dmitry Boulytchev

commit sha 7528afb40464476b7fea02db10d662aa0f93a604

Added complexity paper

view details

push time in 3 days

startedjonsterling/coq-domains

started time in 4 days

startedjonsterling/coq-domains

started time in 4 days

push eventEvent-Structures/event-struct

Dmitrii Mikhailovskii

commit sha 26a0d4f0a655624f251f929af84a389937a1a721

fix: remove phantom from prime_porfPrime canonical instance

view details

push time in 4 days

startedfrex-project/idris-frex

started time in 4 days

startedbedrocksystems/coq-lens

started time in 4 days

release tantivy-search/tantivy

0.15.2

released time in 4 days

startedjonsterling/agda-effectful-forcing

started time in 4 days

release Kotlin/binary-compatibility-validator

0.6.0

released time in 5 days

push eventEvent-Structures/event-struct

Dmitrii Mikhailovskii

commit sha 0a80856615a8eb83188b02762d49b5683a9a9d9e

feat: make prime_porf_eventstruct an instance of prime event structure

view details

Dmitrii Mikhailovskii

commit sha b58f83e42c3741f964bf85711285aa2e42923004

porf: make instances

view details

Evgenii Moiseenko

commit sha 667eaad87478f172772a1a755818a233ba9f95a6

feat(pomset): wip --- pomset instance foo porf_eventstruct

view details

Dmitrii Mikhailovskii

commit sha ceb030d19f04a9576939b180c5014e6f98e29067

feat: prime_eventstruct instance for prime_porf_eventstruct and corresponding notations

view details

Evgenii Moiseenko

commit sha e0c0e92c0a8856231c43d9f403e8fb13fccb6a54

fix: minor renaming

view details

Evgenii Moiseenko

commit sha 157666ea642789323bb4439f3272fd2af2a76e18

fix: minor

view details

Evgenii Moiseenko

commit sha e9385a39da244dacbd2da7212c95409f8962060a

fix: try to fix for coq-8.11

view details

Dmitrii Mikhailovskii

commit sha aa148510e02b2b746ff0a4d8d1c936b01f33e96f

fix: add notation for pomset type

view details

Dmitrii Mikhailovskii

commit sha 30529155d9ed6d1002ad6cb67efda846f2003b97

fix: try to fix for coq-8.11

view details

Dmitrii Mikhailovskii

commit sha 35bd6795b2da7f458cd7250f29e6fd452b14d8ba

fix: try to fix for coq-8.11

view details

Dmitrii Mikhailovskii

commit sha 44e828057cd1fa60175cf52edf3d9fa2eb2e55f8

fix: fix for coq-8.11

view details

Dmitrii Mikhailovskii

commit sha 81bd77d5e8e161fe12df9987c32012e8ab53e58b

fix: add TODO

view details

Dmitrii Mikhailovskii

commit sha 873c5f146907591609ac9b97f154796e9f1f304b

Merge pull request #104 from Event-Structures/primeporf_instance Make prime_porf_eventstruct an instance of prime event structure

view details

push time in 5 days

push eventEvent-Structures/event-struct

Dmitrii Mikhailovskii

commit sha 81bd77d5e8e161fe12df9987c32012e8ab53e58b

fix: add TODO

view details

push time in 5 days

release tantivy-search/tantivy

0.15.1

released time in 6 days

push eventEvent-Structures/event-struct

Dmitrii Mikhailovskii

commit sha 44e828057cd1fa60175cf52edf3d9fa2eb2e55f8

fix: fix for coq-8.11

view details

push time in 6 days

startedneuralchen/ASMAGAN

started time in 6 days

startedneuralchen/SimSwap

started time in 6 days

push eventEvent-Structures/event-struct

Dmitrii Mikhailovskii

commit sha 35bd6795b2da7f458cd7250f29e6fd452b14d8ba

fix: try to fix for coq-8.11

view details

push time in 6 days

create barnchEvent-Structures/event-struct

branch : embedding

created branch time in 6 days