Commits

Commit history

1. Commits on May 14, 2022

   • Use severity to determine if SLD tree succeeded (#203)

     Show description for 7682f52
     thevirtuoso1973

     authored
     7682f52View commit details

     Copy full SHA for 7682f52

     View code at this pointBrowse repository at this point
2. Commits on Mar 29, 2022

   • Rename & Add list restriction (#194)

     Show description for 92650f4
     thevirtuoso1973

     authored
     92650f4View commit details

     Copy full SHA for 92650f4

     View code at this pointBrowse repository at this point
3. Commits on Mar 28, 2022

   • Bump version

     micromaomao

     committed
     6e4cbdeView commit details

     Copy full SHA for 6e4cbde

     View code at this pointBrowse repository at this point

   • rustfmt

     micromaomao

     committed
     faf132cView commit details

     Copy full SHA for faf132c

     View code at this pointBrowse repository at this point

   • Fix "user not found" on scratch images

     micromaomao

     committed
     f03a87bView commit details

     Copy full SHA for f03a87b

     View code at this pointBrowse repository at this point

   • ::set_user

     micromaomao

     committed
     a7357baView commit details

     Copy full SHA for a7357ba

     View code at this pointBrowse repository at this point

   • Partially fix https://github.com/modus-continens/modus/issues/169

     micromaomao

     committed
     7f2191aView commit details

     Copy full SHA for 7f2191a

     View code at this pointBrowse repository at this point

   • Bump version

     micromaomao

     committed
     a44ac1aView commit details

     Copy full SHA for a44ac1a

     View code at this pointBrowse repository at this point
4. Commits on Mar 27, 2022

   • ::set_cmd

     micromaomao

     committed
     b94fac8View commit details

     Copy full SHA for b94fac8

     View code at this pointBrowse repository at this point
5. Commits on Mar 25, 2022

   • Add support for arrays (#186)

     Show description for 4d32133
     thevirtuoso1973

     authored
     4d32133View commit details

     Copy full SHA for 4d32133

     View code at this pointBrowse repository at this point
6. Commits on Mar 24, 2022

   • Better Errors with malformed goals (#187)

     Show description for b52cb97
     thevirtuoso1973

     authored
     b52cb97View commit details

     Copy full SHA for b52cb97

     View code at this pointBrowse repository at this point
7. Commits on Mar 23, 2022

   • Bump version to test automatic gh release

     micromaomao

     committed
     0284873View commit details

     Copy full SHA for 0284873

     View code at this pointBrowse repository at this point
8. Commits on Mar 22, 2022

   • New release

     micromaomao

     committed
     d3560b3View commit details

     Copy full SHA for d3560b3

     View code at this pointBrowse repository at this point
9. Commits on Mar 13, 2022

   • Bump version

     micromaomao

     committed
     9ebffeaView commit details

     Copy full SHA for 9ebffea

     View code at this pointBrowse repository at this point

   • Clears cmd when setting entrypoint

     Show description for 97462c0
     micromaomao

     committed
     97462c0View commit details

     Copy full SHA for 97462c0

     View code at this pointBrowse repository at this point
10. Commits on Mar 9, 2022

    • Bump version

      micromaomao

      committed
      388a463View commit details

      Copy full SHA for 388a463

      View code at this pointBrowse repository at this point

    • Timing output flag

      micromaomao

      committed
      462d238View commit details

      Copy full SHA for 462d238

      View code at this pointBrowse repository at this point
11. Commits on Mar 8, 2022

    • Bump version

      micromaomao

      committed
      3727df0View commit details

      Copy full SHA for 3727df0

      View code at this pointBrowse repository at this point

    • Remove dbg!

      micromaomao

      committed
      3f4e963View commit details

      Copy full SHA for 3f4e963

      View code at this pointBrowse repository at this point

    • EXPORT_CONCURRENCY: default to num_cpus

      micromaomao

      committed
      19410cfView commit details

      Copy full SHA for 19410cf

      View code at this pointBrowse repository at this point
12. Commits on Mar 7, 2022

    • Bump version

      micromaomao

      committed
      4cd9fc5View commit details

      Copy full SHA for 4cd9fc5

      View code at this pointBrowse repository at this point

    • Traverse env hashmap in deterministic order

      Show description for db6f6a1
      micromaomao

      committed
      db6f6a1View commit details

      Copy full SHA for db6f6a1

      View code at this pointBrowse repository at this point
13. Commits on Mar 6, 2022

    • Add a script to check for various things before releasing

      micromaomao

      committed
      0a743beView commit details

      Copy full SHA for 0a743be

      View code at this pointBrowse repository at this point

    • Fix CI branch check

      micromaomao

      committed
      da91cf2View commit details

      Copy full SHA for da91cf2

      View code at this pointBrowse repository at this point

    • Bump version & release

      micromaomao

      committed
      b6ed541View commit details

      Copy full SHA for b6ed541

      View code at this pointBrowse repository at this point
14. Commits on Mar 5, 2022

    • Compact trees (#155)

      Show description for d6b9156
      thevirtuoso1973

      authored
      d6b9156View commit details

      Copy full SHA for d6b9156

      View code at this pointBrowse repository at this point
15. Commits on Mar 4, 2022

    • Release new version

      micromaomao

      committed
      aefd673View commit details

      Copy full SHA for aefd673

      View code at this pointBrowse repository at this point

    • Support from("scratch")

      micromaomao

      committed
      6be731fView commit details

      Copy full SHA for 6be731f

      View code at this pointBrowse repository at this point
16. Commits on Mar 3, 2022

    • Release latest version

      micromaomao

      committed
      a844941View commit details

      Copy full SHA for a844941

      View code at this pointBrowse repository at this point
17. Commits on Feb 27, 2022

    • Improved parser error reporting (#148)

      Show description for c8ad549
      thevirtuoso1973

      authored
      c8ad549View commit details

      Copy full SHA for c8ad549

      View code at this pointBrowse repository at this point

    • Bump version

      micromaomao

      committed
      e68032dView commit details

      Copy full SHA for e68032d

      View code at this pointBrowse repository at this point

    • Print help when no command specified (#152)

      Show description for a096c63
      

      maowtm

      and

      micromaomao

      authored
      a096c63View commit details

      Copy full SHA for a096c63

      View code at this pointBrowse repository at this point
18. Commits on Feb 23, 2022

    • Release 0.1.1

      micromaomao

      committed
      e3386dcView commit details

      Copy full SHA for e3386dc

      View code at this pointBrowse repository at this point

    • Get git hash from .cargo_vcs_info.json if it exists (#147)

      maowtm

      authored
      5e6cb32View commit details

      Copy full SHA for 5e6cb32

      View code at this pointBrowse repository at this point

    • Proof tree & `proof` interface improvements (#144)

      Show description for 17a9f73
      thevirtuoso1973

      authored
      17a9f73View commit details

      Copy full SHA for 17a9f73

      View code at this pointBrowse repository at this point