Commit Graph

2419 Commits

Author SHA1 Message Date
adrian052
51af046fcb Switched to KaTeX for LaTeX rendering and used cmark-provided delimiters 2024-12-13 13:46:39 +01:00
adrian052
5925dd3bfa Implement support for custom LaTeX markers and MathJax integration 2024-12-13 13:46:39 +01:00
microproofs
f0fc7b4d5f Clippy fix 2024-12-13 14:18:18 +07:00
microproofs
463b88413e feat: new builtins constr_index and constr_fields for alternative fast ways to take apart Data 2024-12-13 14:15:19 +07:00
microproofs
ebc7d89d5d Comment out ExpModInteger since it's not live on testnets yet 2024-12-08 14:29:58 +07:00
KtorZ
1105dbf3c6 enable new builtins (*with gotcha)
We still need to adjust the writeBits one to work around its list<int> argument.
2024-12-07 15:43:38 +01:00
KtorZ
d3344528b3 add type signatures for new builtins. 2024-12-07 15:43:38 +01:00
KtorZ
1f1e68712c add type signatures for new builtins. 2024-12-07 14:25:12 +01:00
KtorZ
092b1e56dd Merge branch 'waalge/new-include-validator-template' 2024-12-07 13:44:24 +01:00
KtorZ
75c88be091 Fix validator placeholder template
- Remove escape sequences for curly braces, not actually needed
  - Make indentation 2-space
  - Make it compile without errors
  - Also add some example for 'else'
2024-12-07 13:42:53 +01:00
Matthias Benkort
44c894518b Apply suggestions from code review 2024-12-07 13:31:48 +01:00
Matthias Benkort
85b6caf9e9 Update crates/aiken/src/cmd/new.rs 2024-12-07 13:28:36 +01:00
microproofs
ddc58b9a65 Cargo fmt fix 2024-12-07 12:30:14 +07:00
microproofs
4d7a24234b Clippy fix 2024-12-07 12:27:35 +07:00
microproofs
17fdbd356a Add new conformance tests 2024-12-07 12:23:51 +07:00
microproofs
5f1f37919f Passing conformance tests 2024-12-07 12:23:22 +07:00
microproofs
a1804863dc Remaining builtin 2024-12-06 12:17:48 +07:00
microproofs
b507992172 Clippy fix 2024-12-06 11:43:05 +07:00
microproofs
86951ef19a One last builtin to do. Also switch to using bitvec for faster and more accurate shifting 2024-12-06 11:33:45 +07:00
microproofs
91d4ecc350 Unused import 2024-12-05 11:03:42 +07:00
microproofs
9867de38b6 A few more left to finish 2024-12-05 11:03:41 +07:00
microproofs
c3b6bc5bff Implementation of a few more of the new builtins 2024-12-05 11:03:41 +07:00
microproofs
5cf3275793 Detect difference in cost model length to maintain compatability with mainnet and testnet 2024-12-05 11:03:41 +07:00
microproofs
4839273449 Continue working on new builtin cost model updates 2024-12-05 11:03:41 +07:00
microproofs
befbb6ec18 Start adding implementation for new builtins 2024-12-05 11:03:41 +07:00
hade
49aa5e01a0 feat: update change#2 costmodels 2024-12-05 11:03:41 +07:00
Kasey
86ec3b2924 Fix: issue crash in code gen with incorrect column length in decision trees (#1069)
* Fix: Deeply nested assignments would offset the new columns count calculation. Now we track relevant columns and their path to ensure each row has wildcards if they don't contain the relevant column

* Add test plus clippy fix

* Clippy fix

* New version clippy fix
2024-12-05 11:02:19 +07:00
KtorZ
a9675fedc6 Fix deserialization of SerializedProgram into wrong Plutus version wrappers. 2024-12-03 22:22:11 +01:00
Simon Gellis
6f1477cef7 Allow tildes in identifier names 2024-11-25 16:20:35 -05:00
waalge
5a8ef1aef0 add: template from docs 2024-11-23 17:05:42 +00:00
KtorZ
e2fb28b4ce chore: Release 2024-11-19 15:55:23 +01:00
KtorZ
e12d7e807d Move JSON-schema help for check behind dedicated flag
1. A new option `show_json_schema` which, when enabled, will print the JSON schema of the command output if the target isn't an ANSI-capable terminal.
   2. Some modifications to the help message and error handling for the new option `show_json_schema`.

   This is now done to avoid flooding the help screen with an entire
   JSON schema. Plus, it makes the schema more easily exportable as an
   actual JSON schema.
2024-11-19 15:48:39 +01:00
KtorZ
7a93c55d0b Minor fixes on the telemetry output for terminal. 2024-11-19 15:00:03 +01:00
KtorZ
b5047d623a Update to pallas=0.31.0 2024-11-19 14:53:36 +01:00
microproofs
eec08fcbd9 Fix scoped path for list with tail cases only plus wild card fallback 2024-11-18 12:22:08 -05:00
microproofs
18054eed1a chore: Release 2024-11-13 15:17:53 -05:00
Kasey
4ea6fdffe8 Aiken UPLC Optimization overhaul (#1052)
* Refactor and structuring optimizations to be less computationally heavy

* Forgot to commit the new file containing the optimization do over

* Point to correct functions in shrinker2

* Split out inline_constr_ops since it adds in builtins that can then be swept up by the builtin force reduction

* Fix: issue where identity reducer was always returning true

* Forward inlining on lambdas produces better results. This is due to a forward pass being able to apply an argument that may have no_inline at the top where as vice-versa would reduce the arg first.

* Clippy and test fixes

* Clear no_inlines when inlining a function

* Convert shrinker2 to replace shrinker and update tests
2024-11-13 15:08:36 -05:00
KtorZ
10c1b46bf7 Bump minimum rust version everywhere to 1.70.0 2024-11-13 19:38:57 +01:00
KtorZ
5960065a03 Fix validator selection for apply, address and policy command
Before this commit, we would require those target a specific handler,
  whereas they are in fact global to the entire validator.

  So now, we recover the behaviour from before where we default to the
  only available validator when there's no ambiguity.

  Note that this also solves the need for repeatedly applying parameters
  to each handler of a parameterized validator. The command now
  rightfully apply parameters to each corresponding handler.
2024-11-13 19:36:30 +01:00
KtorZ
a51f7285c1 Make blueprint files configurable in and out
Closes #1055.
2024-11-13 18:15:09 +01:00
KtorZ
51a8ddcc0b Document test output JSON schema through '--help'
The help manual is getting a bit large, but fortunately, we can resort
  to a simpler/more compact version using `-h`.
2024-11-13 14:59:20 +01:00
KtorZ
da982510dc Rework JSON output for tests
- Ensure consistency between overall summary and individual summaries.
  - Remove 'max_*' properties, since they are only padding numbers used
    for formatting the terminal output.
  - Rename a few fields to be closer to the existing naming (name ->
    title, memory -> mem, etc..)
  - Remove duplicated outputs
  - Re-order fields such that summaries come first
2024-11-13 13:12:42 +01:00
KtorZ
fafb89d838 Prevent ANSI colors & styles to appear in JSON output. 2024-11-13 12:52:12 +01:00
KtorZ
d24a71ee04 Define new event target for JSON, and revert option passing
For the program to be consistent, the 'EventListener' target that we
  pass to a Project should be responsible for the output format.
  Otherwise, we are contingent on developers to remember passing the
  option at call-site. Plus, it overloads the project code with an extra
  boolean option.

  Instead, since the behaviour is solely driven by the execution
  context, we can instantiate a different event target upfront, and
  simply hold on to it throughout the program.

  As a nice side-effect, we can gently re-organize the code to keep the
  terminal printing logic and the json printing logic separate.
2024-11-13 11:07:25 +01:00
Riley-Kilgore
1a75568027 Added target awareness and fixed property based test json output 2024-11-13 11:07:24 +01:00
Riley-Kilgore
d1a1d0ec01 Remove unused args in fmt_test_json 2024-11-13 11:05:13 +01:00
Riley-Kilgore
8ac09025f5 Cherry picked cef3276521ba005fa30af46130dba2836347b1ae 2024-11-13 11:05:13 +01:00
microproofs
cd42f51f1a Finish up tests for decision-tree modification 2024-11-08 14:11:34 -05:00
microproofs
634b2e0f79 Next test 2024-11-02 17:16:03 -04:00
microproofs
d350bc1935 Change another test 2024-11-02 14:45:58 -04:00