profile
viewpoint
The Aya Theorem Prover aya-prover

aya-prover/aya-dev 80

~ Who's generalizing definitional equalities?

aya-prover/aya-prover-proto 11

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

aya-prover/aya-vscode 5

VSCode extension for Aya prover

aya-prover/kala-inspections 5

Kala inspections

aya-prover/aya-prover.github.io 3

https://www.aya-prover.org

aya-prover/aya-prover-docs 0

The documentation site of the Aya prover.

aya-prover/aya-tmbundle 0

For GitHub linguist's syntax highlighting

aya-prover/commonmark-java 0

Java library for parsing and rendering CommonMark (Markdown)

pull request commentaya-prover/aya-dev

NBE WIP

Codecov Report

Merging #318 (cb0e6eb) into main (0903e45) will decrease coverage by 3.44%. The diff coverage is 0.00%.

Impacted file tree graph

@@             Coverage Diff              @@
##               main     #318      +/-   ##
============================================
- Coverage     82.23%   78.78%   -3.45%     
  Complexity     2349     2349              
============================================
  Files           209      218       +9     
  Lines          7254     7571     +317     
  Branches        860      913      +53     
============================================
  Hits           5965     5965              
- Misses          840     1157     +317     
  Partials        449      449              
Impacted Files Coverage Δ
...ase/src/main/java/org/aya/generic/Environment.java 0.00% <0.00%> (ø)
base/src/main/java/org/aya/value/Elaborator.java 0.00% <0.00%> (ø)
base/src/main/java/org/aya/value/Evaluator.java 0.00% <0.00%> (ø)
base/src/main/java/org/aya/value/FormValue.java 0.00% <0.00%> (ø)
base/src/main/java/org/aya/value/IntroValue.java 0.00% <0.00%> (ø)
base/src/main/java/org/aya/value/Quoter.java 0.00% <0.00%> (ø)
base/src/main/java/org/aya/value/RefValue.java 0.00% <0.00%> (ø)
base/src/main/java/org/aya/value/Unifier.java 0.00% <0.00%> (ø)
base/src/main/java/org/aya/value/Value.java 0.00% <0.00%> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 1077b41...cb0e6eb. Read the comment docs.

ice1000

comment created time in 4 days

PR opened aya-prover/aya-dev

NBE WIP
+692 -0

0 comment

10 changed files

pr created time in 4 days

create barnchaya-prover/aya-dev

branch : qs

created branch time in 4 days

created tagaya-prover/aya-dev

tagv0.15

~ Who's generalizing definitional equalities?

created time in 5 days

create barnchaya-prover/aya-dev

branch : levels

created branch time in 5 days

push eventaya-prover/aya-dev

ㄗㄠˋ ㄑㄧˊ

commit sha a94ed101708567a13dd695a5c7d24e4520a25e85

DOCS: changelog

view details

ice1000

commit sha 7811436475ee977666aa7767515f9e6b86cf5943

DOCS: improve changelog

view details

ice1000

commit sha 0903e455fa276bdb54c51f606ac724dc8fd291bf

RELEASE: bump versions

view details

bors[bot]

commit sha 1077b411d1c7fbd6706c0eaaaf279e49c361e6f0

MERGE: #317 317: Changelog r=owo-bot a=owo-bot As title Co-authored-by: ㄗㄠˋ ㄑㄧˊ <tsao-chi@the-lingo.org> Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

view details

Shuxian Wang

commit sha 1da8e24db7aa3fcdde5e71ac76574bbe34afa358

HOAS: Ongoing HOAS refactoring

view details

Shuxian Wang

commit sha 2e3b31de2a5bda57e1b95a47307bde2eb4e43397

HOAS: Evaluate Pi & Sig terms

view details

Shuxian Wang

commit sha 43674a9bbc141c3feca5729618f154f75a9119d5

HOAS: Evaluate functions defined by pattern matching

view details

ice1000

commit sha c3178ff8b73a2a0c5eaab48f5689ddf31b8c9c7a

REVIEW: Kala tutorial

view details

ice1000

commit sha b0c97571043634885f39a30ccbd2d17bdbb09fc9

REVIEW: improve code

view details

Shuxian Wang

commit sha fc11418f56a1e9fa2accdcc58e8e32e49e2c9b97

HOAS: Quoting back Pi & Sigma terms

view details

Shuxian Wang

commit sha 96811957a9aa44d638bdc63c9f746f4228ae8fa8

KALA: Rename `Buffer` to `DynamicSeq`

view details

Shuxian Wang

commit sha 3d712925d0416bd77f4ff260d8abdf307e0fd88a

NBE: Evaluation of records and inductive data types

view details

Shuxian Wang

commit sha 0666e31a0fbdaabfa16a09eeacc5011522fe5628

NBE: [WIP] Elaboration...

view details

ice1000

commit sha cb0e6eb91a215bcd21d5d03bcd1998b66b136507

ELAB: follow-up main branch changes

view details

push time in 5 days

pull request commentaya-prover/aya-dev

CI: nightly build and auto release

https://github.com/TheDoctor0/zip-release Maybe

imkiva

comment created time in 5 days

pull request commentaya-prover/aya-dev

CI: nightly build and auto release

https://github.com/vimtor/action-zip/issues/4 Anything relevant?

imkiva

comment created time in 5 days

delete branch aya-prover/aya-dev

delete branch : changelog

delete time in 5 days

PR merged aya-prover/aya-dev

Changelog release

As title

+37 -2

3 comments

3 changed files

owo-bot

pr closed time in 5 days

push eventaya-prover/aya-dev

ㄗㄠˋ ㄑㄧˊ

commit sha a94ed101708567a13dd695a5c7d24e4520a25e85

DOCS: changelog

view details

ice1000

commit sha 7811436475ee977666aa7767515f9e6b86cf5943

DOCS: improve changelog

view details

ice1000

commit sha 0903e455fa276bdb54c51f606ac724dc8fd291bf

RELEASE: bump versions

view details

bors[bot]

commit sha 1077b411d1c7fbd6706c0eaaaf279e49c361e6f0

MERGE: #317 317: Changelog r=owo-bot a=owo-bot As title Co-authored-by: ㄗㄠˋ ㄑㄧˊ <tsao-chi@the-lingo.org> Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

view details

push time in 5 days

pull request commentaya-prover/aya-dev

Changelog

Build succeeded:

owo-bot

comment created time in 5 days

push eventaya-prover/aya-dev

ㄗㄠˋ ㄑㄧˊ

commit sha a94ed101708567a13dd695a5c7d24e4520a25e85

DOCS: changelog

view details

ice1000

commit sha 7811436475ee977666aa7767515f9e6b86cf5943

DOCS: improve changelog

view details

ice1000

commit sha 0903e455fa276bdb54c51f606ac724dc8fd291bf

RELEASE: bump versions

view details

bors[bot]

commit sha 1077b411d1c7fbd6706c0eaaaf279e49c361e6f0

MERGE: #317 317: Changelog r=owo-bot a=owo-bot As title Co-authored-by: ㄗㄠˋ ㄑㄧˊ <tsao-chi@the-lingo.org> Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

view details

push time in 5 days

delete branch aya-prover/aya-dev

delete branch : staging.tmp

delete time in 5 days

push eventaya-prover/aya-dev

ㄗㄠˋ ㄑㄧˊ

commit sha a94ed101708567a13dd695a5c7d24e4520a25e85

DOCS: changelog

view details

ice1000

commit sha 7811436475ee977666aa7767515f9e6b86cf5943

DOCS: improve changelog

view details

ice1000

commit sha 0903e455fa276bdb54c51f606ac724dc8fd291bf

RELEASE: bump versions

view details

bors[bot]

commit sha b3db852f04d592998f83b732262512485306edf1

[ci skip][skip ci][skip netlify] -bors-staging-tmp-317

view details

push time in 5 days

create barnchaya-prover/aya-dev

branch : staging.tmp

created branch time in 5 days

pull request commentaya-prover/aya-dev

Changelog

bors r+

owo-bot

comment created time in 5 days

push eventaya-prover/aya-dev

ice1000

commit sha 0903e455fa276bdb54c51f606ac724dc8fd291bf

RELEASE: bump versions

view details

push time in 5 days

issue commentaya-prover/aya-dev

Support rename in open command

Do it later

imkiva

comment created time in 5 days

push eventaya-prover/aya-dev

ice1000

commit sha 05f1a8dfe942d0562b51bf1e853341656367609a

RELEASE: bump versions

view details

push time in 5 days

pull request commentaya-prover/aya-dev

Changelog

Codecov Report

Merging #317 (7811436) into main (90a275f) will not change coverage. The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff            @@
##               main     #317   +/-   ##
=========================================
  Coverage     82.23%   82.23%           
  Complexity     2349     2349           
=========================================
  Files           209      209           
  Lines          7254     7254           
  Branches        860      860           
=========================================
  Hits           5965     5965           
  Misses          840      840           
  Partials        449      449           

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update d16a1a8...7811436. Read the comment docs.

owo-bot

comment created time in 5 days

PR opened aya-prover/aya-dev

Changelog

As title

+33 -0

0 comment

1 changed file

pr created time in 5 days

push eventaya-prover/aya-dev

ice1000

commit sha 7811436475ee977666aa7767515f9e6b86cf5943

DOCS: improve changelog

view details

push time in 5 days

startedaya-prover/aya-dev

started time in 9 days

startedaya-prover/aya-dev

started time in 10 days

startedaya-prover/aya-dev

started time in 12 days

startedaya-prover/aya-dev

started time in 14 days

startedaya-prover/aya-dev

started time in 15 days

push eventaya-prover/aya-dev

ice1000

commit sha 438b1895da4200ed8919bd1b250da240c5f0e66a

ELAB: follow-up main branch changes

view details

push time in 15 days

create barnchaya-prover/aya-dev

branch : changelog

created branch time in 16 days

more