Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: anoma/geb
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v0.5.1
Choose a base ref
...
head repository: anoma/geb
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
  • 18 commits
  • 34 files changed
  • 3 contributors

Commits on Nov 3, 2023

  1. Fix to-circuit Variable Printing

    Previously a Lambda function taking natural number arguments `A1` to
    `An` would be compiled to a circuit with arguments `x1` to `x(n+1)`
    where argument `xi` in the circuit for i<(n+1) stands for argument
    `A(n-i)` and `x(n+1)` stands as an unused variable.
    
    Current channge omits the final variable and renames the rest, so
    that the compiled circuit will have appropriate argument order and
    type corresponding to the relevant STLC term.
    
    Note that this changes how to input coproduct type circuit variables.
    
    A
    agureev committed Nov 3, 2023
    Copy the full SHA
    f057960 View commit details

Commits on Nov 4, 2023

  1. Fix VampIR Function Typos

    Removes typos introduced in fb8bf60. In particular, changes
    `mod_n`, `combine_aux`, `n_th`, `mod_n` and `drop-ith` as VampIR functions.
    agureev committed Nov 4, 2023
    Copy the full SHA
    21b4edb View commit details

Commits on Nov 21, 2023

  1. Add Standard Library Flag for Entry

    Adds a `library` flag which can be included while using Geb as a
    binary to print the standard library alongside the compiled STLC or
    Geb term.
    agureev committed Nov 21, 2023
    Copy the full SHA
    cb83981 View commit details
  2. Add New Flag Documentation

    Adds documentation for the new standard library flag.
    agureev committed Nov 21, 2023
    Copy the full SHA
    3c7e9eb View commit details

Commits on Nov 22, 2023

  1. Introduce Test Flag For Binary

    Introduces `--test` flag using `-t` for binary usage. When used with
    `-p`, given a compiled VampIR function of form `def foo x1 ... xn =
    {body};` produces a test equality `foo x1 ... xn = y;` printed after
    the entry function.
    agureev committed Nov 22, 2023
    Copy the full SHA
    1425aa6 View commit details
  2. Copy the full SHA
    b125050 View commit details
  3. Copy the full SHA
    f3df778 View commit details
  4. Copy the full SHA
    ea3a3f0 View commit details
  5. Copy the full SHA
    81a6493 View commit details
  6. Copy the full SHA
    c51e67b View commit details
  7. V0.6.0

    mariari committed Nov 22, 2023
    Copy the full SHA
    a9c86b4 View commit details

Commits on Dec 19, 2023

  1. Change Variable Printing

    Changes variable wire printing for to-circuit function. Now the N-th
    entry is printed as `inN` and the test-call right had side is `out`
    agureev committed Dec 19, 2023
    Copy the full SHA
    f14ea0b View commit details

Commits on Dec 20, 2023

  1. Fix Multiplication Intepretation Typo

    Fixes typo when instead of inputs to the multiplication, the to-vampir
    compilation tried to access car and cadr of the morphism.
    agureev authored and mariari committed Dec 20, 2023
    Copy the full SHA
    64b425d View commit details
  2. Merge branch 'artem/vampir-mult-bug', remote-tracking branch 'origin/…

    …artem/binary-test-param-print'
    mariari committed Dec 20, 2023
    Copy the full SHA
    dee9221 View commit details
  3. V0.6.1 release

    mariari committed Dec 20, 2023
    Copy the full SHA
    c56e77e View commit details

Commits on Feb 7, 2024

  1. Documentation: Fix Typos over the codebase

    We touch most of the files, thus if one wants to touch the docs in the
    codebase before the next release, it would be wise to base topics on
    this topic.
    rex4539 authored and mariari committed Feb 7, 2024
    Copy the full SHA
    1911241 View commit details
  2. Copy the full SHA
    b56a635 View commit details
  3. Docs Batch generation

    Generate docs for the latest round of documentation changes
    mariari committed Feb 7, 2024
    Copy the full SHA
    9870147 View commit details
14 changes: 14 additions & 0 deletions CHANGELOG.org
Original file line number Diff line number Diff line change
@@ -1,3 +1,17 @@
* 0.6.1
** Bug fix patch
- 1 minor bug fix in vampir extraction
- minor naming changes in vampir dump
* 0.6.0
** Juvix Testing patch
- This release focuses mainly on a new cli feature =test= and =library=
+ =test= adds a simple test call in vampir
+ =library= dumps the standard library along with the desired data
** User facing changes
- =to-circuit= in =seqn= has it's arguments reversed
- various vampir library functions have changed
+ =mod_32= changed to =mod_n=
+ =nth= changed to =n_th=
* 0.5.1
** Bug fix patch
- =mgl-pax= updated on us causing build failures
Loading