tezos-checker checker issues

tezos-checker / checker

An in-development "robocoin" system for the Tezos blockchain

24 stars 16 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add a comment workflow

#226 utdemir closed 3 years ago
2
Reorder withdraw_tez's arguments and misc fixes

#225 gkaracha closed 3 years ago
1
High-level test for outstanding_kit underapproximation

#224 gkaracha closed 3 years ago
1
Add git to shell

#223 utdemir closed 3 years ago
2
Misc consistency fixes

#222 gkaracha closed 3 years ago
4
Try to fix the CI script

#221 utdemir closed 3 years ago
1
End-to-end test optimizations

#220 dorranh opened 3 years ago
0
Additional unit tests for operations returned by entrypoints

#219 dorranh closed 3 years ago
5
Use zero as an absorbing bound for the approximation of the total kit outstanding

#218 gkaracha closed 3 years ago
4
Replace "nix-shell" by "nix-shell --pure" on CI

#217 gkaracha closed 3 years ago
2
Rename Burrow.last_touched to Burrow.last_checker_timestamp

#216 gkaracha closed 3 years ago
4
Add test coverage to the stats shown by the message bot

#215 gkaracha closed 3 years ago
2
Unit tests for operations emitted by entrypoints

#214 dorranh closed 3 years ago
3
Allow FA1.2/FA2 collaterals for minting

#213 utdemir closed 2 years ago
9
Cast gas costs to an integer on e2e tests

#212 utdemir closed 3 years ago
1
Correct treatment of excess when burning kit

#211 gkaracha closed 3 years ago
4
Add mechanism for ignoring lines in mutation tests

#210 dorranh closed 3 years ago
0
internalError_KitSubNegative error raised

#209 gkaracha closed 3 years ago
1
Add extra unit tests for sliceList.ml

#208 dorranh closed 3 years ago
0
Improvements to test coverage, reloaded (90.05% => 93.00%)

#207 gkaracha closed 3 years ago
1
Improvements to test coverage (89.56% => 90.05%)

#206 gkaracha closed 3 years ago
1
Move ratio.ml into the tests folder

#205 gkaracha closed 3 years ago
1
Expose the stats with a script and via a PR comment

#204 utdemir closed 3 years ago
9
Use error codes for internal errors too to save on bytes and gas costs

#203 gkaracha closed 3 years ago
0
Fix issue with units in initial auction bids

#202 dorranh closed 3 years ago
2
Additional profiling in end to end tests

#201 dorranh closed 3 years ago
3
ci: Add 'mutate' cronjob

#200 utdemir closed 3 years ago
2
Minor reductions in gas costs and byte size

#199 gkaracha closed 3 years ago
1
Restore correct behavior for dune build

#198 gkaracha closed 3 years ago
1
Add call to FA2 balance_of entrypoint in end-to-end tests

#197 dorranh closed 3 years ago
1
Add e2e tests for burrow and FA2 entrypoints

#196 dorranh closed 3 years ago
1
Override "burrow" in checker.ml to avoid using outdated values

#195 gkaracha closed 3 years ago
1
Profiling in end to end tests

#194 dorranh closed 3 years ago
1
Call remaining liquidation auction entrypoints in end to end tests

#193 dorranh closed 3 years ago
3
Represent tez as an Int64.t

#192 gkaracha closed 3 years ago
1
Represent Parameters.{index,protected_index} as a Ligo.nat

#191 gkaracha closed 3 years ago
2
Switch the internal representation of Ligo.tez to Int64.t

#190 gkaracha closed 3 years ago
0
Entrypoint calls in end-to-end tests

#189 dorranh closed 3 years ago
1
Reduce false positives generated by mutate.py

#188 dorranh closed 3 years ago
0
Tests for parameters.ml, based on mutation testing results

#187 gkaracha closed 3 years ago
3
Generated integer mutations in mutate.py are not always actual mutations

#186 dorranh closed 3 years ago
1
Add additional unit tests for burrow logic

#185 dorranh closed 3 years ago
0
Parameterize mutate.py and build system changes

#184 utdemir closed 3 years ago
0
Unit tests that catch mutations in cfmm.ml

#183 gkaracha closed 3 years ago
1
ci: Publish code size and gas cost artifacts

#182 utdemir closed 3 years ago
0
Increase coverage for cfmm.ml

#181 gkaracha closed 3 years ago
2
Increase test coverage for checkerEntrypoints.ml

#180 gkaracha closed 3 years ago
1
Increase test coverage for checkerMain.ml

#179 gkaracha closed 3 years ago
1
Add support for integer literal mutations

#178 dorranh closed 3 years ago
0
Expose error mnemonics on contract metadata

#177 utdemir opened 3 years ago
1

Previous Next