issues
search
IntersectMBO
/
plutus
The Plutus language implementation and tools
Apache License 2.0
1.57k
stars
480
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Improve the documentation of Agda files involving Algorithmic part 1
#6382
ramsay-t
opened
1 month ago
0
Add budget for steppable-cek conformance
#6381
bezirg
opened
1 month ago
0
Add 'VerifiedCompilation' blob
#6380
effectfully
closed
1 month ago
1
Rebase verifies Compilation
#6379
ramsay-t
closed
1 month ago
0
`ripemd_160`builtin
#6378
kwxm
closed
1 month ago
3
Remove trailing whitespace in Agda code
#6377
kwxm
closed
1 month ago
1
Restore CI checks for doc site code
#6376
zliu41
closed
1 month ago
0
Add a page about different notions of version
#6375
zliu41
closed
1 month ago
1
Release 1.32.0.0
#6374
Jimbo4350
closed
1 month ago
1
Restore auto generation of compiler option table
#6373
zliu41
closed
2 months ago
0
Translation relation and decision procedure for UPLC Inline
#6372
ramsay-t
opened
2 months ago
0
Translation relation and decision procedure for UPLC FloatDelay
#6371
ramsay-t
closed
6 days ago
0
Translation relation and decision procedure for UPLC CSE
#6370
ramsay-t
closed
6 days ago
0
Translation relation and decision procedure for UPLC CaseReduce
#6369
ramsay-t
opened
2 months ago
0
Add the bitwise builtins to the metatheory
#6368
kwxm
closed
1 month ago
1
Fix memory usage in metatheory
#6367
kwxm
opened
2 months ago
0
Conformance for findFirstSetBit
#6366
kozross
closed
1 month ago
0
Conformance for countSetBits
#6365
kozross
closed
1 month ago
1
Conformance for rotateByteString
#6364
kozross
closed
1 month ago
1
Conformance for shiftByteString
#6363
kozross
closed
1 month ago
0
Conformance cases for writeBits
#6362
kozross
closed
1 month ago
0
Conformance for replicateByte
#6361
kozross
closed
1 month ago
1
Conformance cases for readBit
#6360
kozross
closed
1 month ago
0
Conformance cases for complementByteString
#6359
kozross
closed
1 month ago
0
Conformance for xorByteString
#6358
kozross
closed
1 month ago
0
Conformance for orByteString
#6357
kozross
closed
1 month ago
0
andByteString conformance cases
#6356
kozross
closed
1 month ago
0
Decide the fate of plutus-ghc-stub
#6355
bezirg
closed
2 months ago
1
Testbed for xcompiling plutus-benchmark
#6354
zeme-wana
closed
1 month ago
1
[Refactoring] Use 'KnownBuiltinTypeIn' instead of 'HasConstant' consistently
#6353
effectfully
closed
2 months ago
0
[Builtins] Specialize '[Integer]' in 'geq'
#6352
effectfully
closed
2 months ago
13
Reduce benchmarking time limits
#6351
kwxm
closed
1 month ago
43
Make NumBytesCostedAsNumWords use Integer instead of Int
#6350
kwxm
closed
2 months ago
0
nothunks ^>= 0.2
#6349
Unisay
closed
2 months ago
0
[plinth][plc][api] Draft implementation of 'modularExponentiation' builtin
#6348
bezirg
closed
1 month ago
4
[Plinth] [Builtins] Add a general 'mkNil'
#6347
effectfully
closed
2 months ago
0
[plc] Support for `Natural` numbers in the universe, backed by Integer
#6346
bezirg
closed
2 months ago
0
Experiment
#6345
kwxm
closed
2 months ago
3
Ed25519 benchmark
#6344
kozross
closed
1 month ago
3
Kwxm/bitwise/enable nqueens benchmark
#6343
kwxm
closed
2 months ago
0
[Plinth] Ban using 'toBuiltin' and 'fromBuiltin'
#6342
effectfully
closed
2 months ago
0
Make a release (PI7 Sprint 1)
#6341
bezirg
closed
2 months ago
1
Metatheory for modular exponentiation builtin
#6340
bezirg
closed
1 month ago
0
Specify the modular exponentation builtin
#6339
bezirg
opened
2 months ago
0
End -to-end tests for modular exponentiation
#6338
bezirg
opened
2 months ago
1
Conformance tests for modular exponentiation
#6337
bezirg
closed
3 weeks ago
0
Costing for modular exponentiation
#6336
bezirg
opened
2 months ago
0
Modular exponentiation in PlutusTx
#6335
bezirg
closed
3 weeks ago
0
Plutus Core tests for modular exponentation
#6334
bezirg
closed
3 weeks ago
0
Plutus Core builtin for modular exponentiation
#6333
zliu41
closed
3 weeks ago
0
Previous
Next