waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,571 Commits 8 Branches 0 Tags
327ff71af0ea44ceb26a7d259fbeed6aff9c7907
Commit Graph

1571 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
KtorZ
4269cf20b0 Fix erroneous "aiken new" command's output instructions 
Fixes #505.
 2023-04-20 14:38:48 +02:00
MicroProofs
774c3a2fcf [create-pull-request] automated change 2023-04-19 22:12:59 -04:00
microproofs
672a900243 chore: converted acceptance tests 5-7 2023-04-19 20:03:41 -04:00
microproofs
c2ee631d07 feat: new setup for the gen_uplc testing 
* new test only module aiken_project::tests
* move TestProject to tests/mod.rs
* new tests go in gen_uplc.rs
 2023-04-19 16:08:55 -04:00
microproofs
e4276d7f5a move uplc tests to new location 2023-04-19 16:08:55 -04:00
microproofs
23a7e7e680 chore: convert acceptance test 5 
Also constructors with no fields are now converted to a constant data term.
 2023-04-19 16:08:55 -04:00
microproofs
9de713803a feat: Add wrap data reduce which helps prevent unnecessary wrap to unwrap and vice versa. 
fix: in inline_reduce the wrong arg name was used. arg instead of argument

refactor var occurences
 2023-04-19 16:08:55 -04:00
microproofs
022d557906 chore: convert acceptance test 4 2023-04-19 16:08:55 -04:00
microproofs
7da3ac2c99 chore: convert acceptance test 3 2023-04-19 16:08:55 -04:00
microproofs
7dd13f8d73 feat: add end to end tests to replace acceptance tests with strict uplc comparison. 
Add acceptance tests 1,2, 6 as end to end tests
 2023-04-19 16:08:55 -04:00
rvcas
661a9a7ab8 [create-pull-request] automated change 2023-04-17 11:47:10 -04:00
rvcas
3182dac908 chore: Release 2023-04-17 10:53:30 -04:00
rvcas
092c2cecc1 chore: prepare changelog for release 2023-04-17 10:52:37 -04:00
rvcas
e3f2fb5393 fix: need to return deserialization error here 2023-04-17 10:50:40 -04:00
rvcas
7de465ad35 [create-pull-request] automated change 2023-04-17 00:09:25 -04:00
dependabot[bot]
1d60a02822 chore(deps): bump h2 from 0.3.16 to 0.3.17 
Bumps [h2](https://github.com/hyperium/h2) from 0.3.16 to 0.3.17.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/master/CHANGELOG.md)
- [Commits](https://github.com/hyperium/h2/compare/v0.3.16...v0.3.17)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2023-04-17 00:02:44 -04:00
rvcas
b67d876f61 chore: update changelog 2023-04-16 20:44:13 -04:00
rvcas
3b351d36fb fix(aiken-lang): assignment as last expr in when and if 2023-04-16 19:55:47 -04:00
rvcas
a686ac023d [create-pull-request] automated change 2023-04-16 17:53:34 -04:00
rvcas
3d0fa1a5f6 chore: Release 2023-04-16 16:49:08 -04:00
rvcas
e0056e3acd chore: prepare changelog for release 2023-04-16 16:48:23 -04:00
rvcas
98c61ca151 feat(aiken-lang): anonymous functions 
@MartinSchere noticed a weird error
where an unknown variable wasn't being reported
the type checker was incorrectly scoping
arguments for anonymous function definitions.
Luckily his compilation failed due to a FreeUnique
error during code gen which is good. But this may
have been the source of other mysterious FreeUnique
errors.

I also noticed that anonymous function allowed
arguments with the same name to be defined.

`fn(arg, arg)`

This now returns an error.
 2023-04-16 16:38:43 -04:00
Matthias Benkort
20edce2146 Merge pull request #494 from aiken-lang/patch/cargo.nix 
Update Cargo.nix
 2023-04-14 08:04:36 +02:00
rvcas
3005ed6591 [create-pull-request] automated change 2023-04-13 17:53:46 +00:00
rvcas
f4406ed3fc chore: disable release notes for now 2023-04-13 13:52:30 -04:00
rvcas
6b99071a8a chore: ci lol 2023-04-13 13:48:19 -04:00
rvcas
63ddef7efb chore: Release 2023-04-13 13:37:12 -04:00
rvcas
4941be4b8d chore: add cargo release metadata to toml 2023-04-13 13:34:53 -04:00
rvcas
7105b8c155 chore: minor changelog adjustments 2023-04-13 13:06:25 -04:00
rvcas
12e8ebdf4f chore: revert version bumps 2023-04-13 13:03:43 -04:00
Matthias Benkort
d2c8978326 Merge pull request #493 from aiken-lang/patch/cargo.nix 
Update Cargo.nix
 2023-04-13 17:47:03 +02:00
KtorZ
f660caedb6 [create-pull-request] automated change 2023-04-13 15:40:35 +00:00
KtorZ
067e39286d Bump versions to 1.0.0-alpha, update CHANGELOG. 2023-04-13 17:35:21 +02:00
KtorZ
00550f8ddb Add myself as co-authors for some of the project's crate 
Forgot to do it before, and noticing now :D
 2023-04-13 17:25:21 +02:00
KtorZ
e2c78bdd3b Add min rust-version to crates 
So that people runs into better errors if they try installing from source with an 'obsolete' rust compiler.
 2023-04-13 17:24:44 +02:00
KtorZ
74a7257ec9 Add some more instructions to 'blueprint apply' command help text. 2023-04-13 12:23:20 +02:00
KtorZ
3bff47cc8f Bump 'install-nix-actions' in the github workflow. 
See: https://github.com/cachix/cachix-action/issues/144
 2023-04-13 11:09:56 +02:00
KtorZ
4420e43bc4 Choose and install latest version on 'aikup', instead of failing. 2023-04-13 10:14:57 +02:00
KtorZ
ea83e80bf7 Add a 'list' command to aikup. 2023-04-13 10:04:24 +02:00
rvcas
0cda98a0d1 chore: remove flamegraph.svg 2023-04-13 01:28:27 -04:00
rvcas
fdce9f373e chore: remove fib.uplc file 2023-04-13 01:28:27 -04:00
rvcas
ccc450659a chore: switch discharge value back to the recursive form for simplicity 2023-04-13 01:28:27 -04:00
microproofs
564939ab61 feat 
* remove more Rc's
* reconstruct Value::Builtin only when needed

Co-authored-by: Lucas Rosa <x@rvcas.dev>
 2023-04-13 01:28:27 -04:00
microproofs
09a6ea51d6 feat(machine): reduce term allocations 
* remove term from VBuiltin
* and also means we don't need the useless wrapping

Co-authored-by: Lucas Rosa <x@rvcas.dev>
 2023-04-13 01:28:27 -04:00
rvcas
70f12d3fc5 chore: new branch with some things from the bumpalo branch 2023-04-13 01:28:27 -04:00
microproofs
fc1b8738df fix: fixed how the ir was generating for expect Void, expect Bool, let Void 
add some acceptance tests for the various scenarios
 2023-04-12 22:37:33 -04:00
Matthias Benkort
280284d4a1 Merge pull request #456 from aiken-lang/clause-guard-wildcard-pattern 
Add new failing test case for 048 (clause guards)
 2023-04-12 08:40:16 +02:00
Kasey White
1e35281650 clause guard with discard is now handled 2023-04-12 08:26:03 +02:00
KtorZ
0846fe2d5f Add new failing test case for 048 (clause guards) 
It seems like we don't properly handle clause guards for wildcard
  patterns. Seems like a codegen issue here as the code type-check
  properly.
 2023-04-12 08:24:18 +02:00
Kasey White
ff290bc582 add expect false test 2023-04-09 17:43:56 -04:00