au-ts cogent issues - Githubissues

au-ts / cogent

Cogent Project

https://trustworthy.systems/projects/TS/cogent.pml

Other

158 stars 26 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Subtyping proofs

#415 crizkallah opened 2 years ago
0
Project homepage link in readme is outdated

#414 waynee95 closed 2 years ago
1
TypeCheck fails for builtin array types

#413 gteege closed 2 years ago
1
`after` and layout polymorphism

#412 zilinc opened 2 years ago
1
Surface Tc crash on variant mismatch

#411 zilinc closed 3 years ago
2
AllRefine fails on master for a simple program with an abstract type

#410 amblafont opened 3 years ago
2
fix bug introduced by pull request #395

#409 gteege closed 3 years ago
0
types in expressions are not normalised

#408 zilinc opened 3 years ago
0
Preserve Type Synonyms in Shallow Embedding

#407 gteege closed 3 years ago
4
compiler proof: Fixed the uabsfuns declaration

#406 Cheunglo opened 3 years ago
0
Fixes update abstract typing relation and abstract update value relation

#405 Cheunglo closed 3 years ago
0
Fix for bilby verification (partly reverting 4c2d7f0f0a2)

#404 amblafont closed 3 years ago
0
fix #377: field names in uval (and expr, repr)

#403 amblafont opened 3 years ago
0
multilines in table file breaks CorresSetup

#402 amblafont closed 3 years ago
1
isa-parser: fix bugs introduced by earlier changes

#401 gteege closed 3 years ago
0
Cogent debugging support

#400 zilinc opened 3 years ago
0
Pattern match failure in Inference.hs

#399 gteege closed 3 years ago
0
Unexpected Recursion in Generated C Code

#398 gteege opened 3 years ago
0
induction principle for Cogent expressions embedded in Coq

#397 amblafont closed 3 years ago
0
Simple layout polymorphic function fails

#396 amblafont opened 3 years ago
3
fix and improve tuples shallow embedding

#395 gteege closed 3 years ago
0
improve Isabelle prettyprinter

#394 gteege closed 3 years ago
1
disallow oversized tags for variants

#393 zebraNeon closed 3 years ago
1
Multi-arg data constructor

#392 zilinc opened 3 years ago
0
Remove duplicate lemma bang_preserves_wellformed

#391 amblafont closed 3 years ago
0
Fix and improve shallow representation

#390 gteege closed 3 years ago
1
after fields support & constraint-based typechecker for layouts

#389 zebraNeon closed 3 years ago
1
redo #366 on master

#388 zilinc closed 3 years ago
1
Cogent Refinement Proofs fail for RISC-V architecture

#387 gteege closed 3 years ago
3
Variant tags can have under-specified layout

#386 zilinc opened 4 years ago
1
default keyword for layout definition

#385 zebraNeon opened 4 years ago
0
Type check fails for array index expression.

#384 gteege closed 4 years ago
1
Shallow embedding of ArrayPut and ArrayTake

#383 amblafont opened 4 years ago
1
Wrong shallow embedding for abstract polymorphic functions.

#382 gteege closed 3 years ago
0
Wrong generated custom getter for a simple layout (making autocorres generate a fail)

#381 amblafont closed 4 years ago
2
Custom layouts for unit and constructors without arguments

#380 amblafont closed 4 years ago
1
Reducing the amount of information read from the table file for variant types

#379 amblafont opened 4 years ago
0
case-of and subtyping

#378 zilinc closed 4 years ago
0
CorresProof theory file fails for a swapping function (master branch)

#377 amblafont opened 4 years ago
4
Inconsistent syntax of type table?

#376 gteege closed 4 years ago
2
Conditional tests support

#375 zilinc opened 4 years ago
0
recursive core tc failure

#374 zilinc closed 4 years ago
1
Dargent endianness annotations

#373 lukakerr closed 3 years ago
1
Duplicate getters for take and member

#372 amblafont closed 4 years ago
10
A bit more details about let!

#371 amblafont closed 3 years ago
1
Cogent translates unboxed arrays to Pointers.

#370 gteege closed 4 years ago
0
Internal TC failed for banged array type.

#369 gteege closed 4 years ago
0
libgum with cabal-3.0

#368 zilinc opened 4 years ago
1
Document how to set up autocorres

#367 jyizheng opened 4 years ago
2
after fields support & constraint-based typechecker for layouts

#366 zebraNeon closed 3 years ago
0