Inspections

Lexprove

main . 8104af...1d7420 . push triggered

  No notable changes.
04:05
created
Add token

main . d506c6...8104af . push triggered

  No notable changes.
03:33
created
Add tslib

main . 58c9c5...d506c6 . push triggered

  No notable changes.
03:21
created
fix docs

main . 7618e8...58c9c5 . push triggered

  No notable changes.
03:22
created
Improve cli

main . fe9196...7618e8 . push triggered

  No notable changes.
03:54
created
v0.0.9

main . 49ecde...fe9196 . push triggered

  Inspection was canceled.
01:07
created
To be

main . 1381fe...49ecde . push triggered

  No notable changes.
03:26
created
Fix undef

main . fe9ce3...1381fe . push triggered

  Test setup failed.
01:42
created
?

main . 118255...fe9ce3 . push triggered

  No notable changes.
03:14
created
Fix ridiculously slow tests

main . ba2c63...118255 . push triggered

  No notable changes.
03:25
created
Fix CLI

main . 4753dd...ba2c63 . push triggered

  No notable changes.
05:56
created
Add degenerate evaluation (soml)

main . 79dde4...4753dd . push triggered

  No notable changes.
04:58
created
Refactor out of main()

main . f60dac...79dde4 . push triggered

  No notable changes.
06:04
created
Fixes

main . 8369cd...f60dac . push triggered

  No notable changes.
05:44
created
Export π

main . fa6af1...8369cd . push triggered

  No notable changes.
04:34
created
Yes

main . 5a557a...fa6af1 . push triggered

  No notable changes.
06:14
created
add the polyrat and some formats and tests

main . 12d9ec...5a557a . push triggered

  No notable changes.
04:52
created
More tests, etc

main . a94e44...12d9ec . push triggered

  No notable changes.
04:08
created
Factor our the sb tree and add tests

main . c73ca2...a94e44 . push triggered

  No notable changes.
03:37
created
cov badge

main . 72250c...c73ca2 . push triggered

  No notable changes.
02:59
created