-
Notifications
You must be signed in to change notification settings - Fork 10
Permalink
Choose a base ref
{{ refName }}
default
Choose a head ref
{{ refName }}
default
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
Could not load branches
Nothing to show
Loading
Could not load tags
Nothing to show
{{ refName }}
default
Loading
...
head repository: anoma/geb
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Could not load branches
Nothing to show
Loading
Could not load tags
Nothing to show
{{ refName }}
default
Loading
- 18 commits
- 34 files changed
- 3 contributors
Commits on Nov 3, 2023
-
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
Configuration menu - View commit details
-
Copy full SHA for f057960 - Browse repository at this point
Copy the full SHA f057960View commit details
Commits on Nov 4, 2023
-
Removes typos introduced in fb8bf60. In particular, changes `mod_n`, `combine_aux`, `n_th`, `mod_n` and `drop-ith` as VampIR functions.
Configuration menu - View commit details
-
Copy full SHA for 21b4edb - Browse repository at this point
Copy the full SHA 21b4edbView commit details
Commits on Nov 21, 2023
-
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.
Configuration menu - View commit details
-
Copy full SHA for cb83981 - Browse repository at this point
Copy the full SHA cb83981View commit details -
Adds documentation for the new standard library flag.
Configuration menu - View commit details
-
Copy full SHA for 3c7e9eb - Browse repository at this point
Copy the full SHA 3c7e9ebView commit details
Commits on Nov 22, 2023
-
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.
Configuration menu - View commit details
-
Copy full SHA for 1425aa6 - Browse repository at this point
Copy the full SHA 1425aa6View commit details -
Configuration menu - View commit details
-
Copy full SHA for b125050 - Browse repository at this point
Copy the full SHA b125050View commit details -
Configuration menu - View commit details
-
Copy full SHA for f3df778 - Browse repository at this point
Copy the full SHA f3df778View commit details -
Configuration menu - View commit details
-
Copy full SHA for ea3a3f0 - Browse repository at this point
Copy the full SHA ea3a3f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 81a6493 - Browse repository at this point
Copy the full SHA 81a6493View commit details -
Configuration menu - View commit details
-
Copy full SHA for c51e67b - Browse repository at this point
Copy the full SHA c51e67bView commit details -
Configuration menu - View commit details
-
Copy full SHA for a9c86b4 - Browse repository at this point
Copy the full SHA a9c86b4View commit details
Commits on Dec 19, 2023
-
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`
Configuration menu - View commit details
-
Copy full SHA for f14ea0b - Browse repository at this point
Copy the full SHA f14ea0bView commit details
Commits on Dec 20, 2023
-
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.
Configuration menu - View commit details
-
Copy full SHA for 64b425d - Browse repository at this point
Copy the full SHA 64b425dView commit details -
Merge branch 'artem/vampir-mult-bug', remote-tracking branch 'origin/…
…artem/binary-test-param-print'
Configuration menu - View commit details
-
Copy full SHA for dee9221 - Browse repository at this point
Copy the full SHA dee9221View commit details -
Configuration menu - View commit details
-
Copy full SHA for c56e77e - Browse repository at this point
Copy the full SHA c56e77eView commit details
Commits on Feb 7, 2024
-
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.
Configuration menu - View commit details
-
Copy full SHA for 1911241 - Browse repository at this point
Copy the full SHA 1911241View commit details -
Configuration menu - View commit details
-
Copy full SHA for b56a635 - Browse repository at this point
Copy the full SHA b56a635View commit details -
Generate docs for the latest round of documentation changes
Configuration menu - View commit details
-
Copy full SHA for 9870147 - Browse repository at this point
Copy the full SHA 9870147View commit details
There are no files selected for viewing