v0.0.3-alpha

Changelog

• 85dc51c add another ablation study run
• edcfa27 add bar chart, investigate issue 2490 (temporarily ignored)
• 2a044bf add config for semantic strategies
• 24da56f add error logger
• 2ff654d add folder for study eval
• 39bed55 add import reduction
• a95ecb1 add log
• d0606fb add metrics
• 1d5a7ad add option to enable metrics
• 8546cd0 add pre processing, add inline instance 2490
• 584caa1 add recover for all transformation errors
• dff646d add results of ablation study
• a75ec57 add start time to metrics, support any cue file in instance dir
• 789cb45 add study notebook
• c8a3c37 add test script time, generation time and applied candidates by strategy metrics
• f5ca2c5 add visual notebook
• 5356de0 add vulcan, add precautions for stack overflows
• dcde4d2 extend stored metrics
• deb663a fix constant propagation for imports
• 57f0f64 fix corner cases
• 5c4829a fix if and unification
• b34fa85 fix import modifying package declarations, update results for one issue
• af4b4d1 fix issue 2490 inlined version, add readme for pre-processing and inlined version
• 9f4e269 fix nil as strategy config
• 191ac3e fix recursive constant propagation issues
• 86fee13 fix scope
• ad4551e fix scope
• 713419c fix string representation of syntactic reducer
• e4414aa fix unification edge case
• 9be1649 improve command execution
• d2bee9d increase timeout
• c093ab3 move perses results
• d4e6019 push results
• a4dff47 push results
• 6c0a1de push results
• ea30469 push seru+perses results
• b7cde9d remove wrong test
• b712ad2 rename all output result directories
• caf4b7f update cue.jar, interpolations no longer take the longest matching string
• e99920d update groundtruth issue 2473
• 696be38 update results
• 69cf299 update results
• dd927ef update results
• 70e75d5 update results and cue.jar
• ac412f8 update study readme
• 12e9b7d update version and readme
• c24347f upload groundtruth results
• 4b75768 visualization updates

v0.0.2-alpha

Add CUE-specific reduction strategies:

• LetReduction
• EmptyDeclarationReduction
• PackageReduction
• RedundantNestingReduction
• ListReduction
• TrivialIfReduction
• IfReduction
• EllipsisReduction
• ConstantPropagationReduction
• StringInterpolationReduction
• LoopUnrollingReduction
• UnificationReduction
• UnionReduction

Improve reduction loop
Reduce calls to syntactic reducer
Add release tooling
Add proper testing
...

Changelog

• 945dbd3 Merge pull request #1 from mandoway/dev
• f27b0da add alternative reduction execution order
• c196933 add auto pre-release detection
• 90a0473 add constant propagation
• 3644f3d add debug cmd
• fa2aa9b add ellipsis reduction
• b10d66f add fixpoint termination
• aa6c817 add github action
• 355507f add go setup
• 93f54d5 add goreleaser config
• d6ca772 add if reductions
• 9f40316 add interpolation test
• 9add5b5 add list reduction
• a7be253 add loop unrolling
• 90339f0 add method doc
• 435b057 add null reduction
• e9fcfbb add package reduction
• 189fd69 add redundant_nesting strategy, test plugin in CI
• 8990336 add string interpolation, add evaluation of all expressions
• 87d80bb add support for partial evaluation
• 990eaa9 add test instances
• 226825e add unification
• 66341a0 add union reduction
• 658d4bd add win, remove linux arm
• 0e68d85 add workdir
• 46e209e better logging, better fixpoint detection based on content
• 30974cf bump version
• 2ea9d81 combine win+linux
• c471f49 combine win+linux
• 2ec05da directly define version in code, add language option
• 785cbca download all flat
• 5cfc79f enable cgo
• 5ce8dfb enable cgo linux
• 733da15 enable lfs in github action
• 6d7b57f fix command
• 65d89f5 fix command
• 16fb18f fix command
• 1a1ea21 fix command
• 4c4ffc9 fix env variable
• 0169d69 fix env variable
• 8430d81 fix env variable
• f5414dc fix generate run for every arch
• 03e2e0c fix github action
• 3584961 fix github action
• 529b7d8 fix image version
• f9173de fix name
• 12e2c9c fix package name
• 91f461c fix package name
• ed7b40f fix package name
• 402916f fix reduction bugs
• 0e42ab7 fix reduction loop and tests
• bdac3ee fix release config
• a3f03eb fix resolve function, fix constant propagation
• a290859 fix semantic reduction control flow for removing strategies
• c03c80c fix test
• d550ee8 fix test
• f96c5c0 ignore linux arm build
• 7de0f13 install crosscompiler
• a0ab7f8 install cue in github action
• b237496 new approach for release
• be7e365 new approach for release
• 1e9a6f3 refactor main reduction loop to test all semantic candidates at once and use the best candidate after syntactic reduction
• 896c73e reference image version directly
• 60c3795 refine logging
• 61f55c9 remove all empty declarations, optimize loop
• e9b2ba0 remove attributes for lfs
• 6d5ec8b remove extra pr trigger
• 8ff6aa1 remove extra pr trigger
• d11320a remove git lfs
• 4d94f54 reupload jar files
• 5370526 separate release actions
• 06a98c2 set version to latest release
• 451e0bd set workdir
• a36d173 set workdir
• 69afb3d simplify transformations
• 2b4635b skip validation
• a19965c try crosscompiler for linux
• 017bdf8 try workaround
• c83e195 uncomment tests
• 4b0aefa update gitignore
• 79d7fb8 update setup go action
• f409aaa upload artifacts
• bcdbd09 use docker run action
• 062b4b3 use docker run action
• 441b13d use entrypoint
• 9be46a4 use goreleaser in docker

v0.0.1-alpha

First release of SeRu

• Includes supporting files for Perses (syntactic reducer) and CUE (language)
• Can run with multiple languages when the supporting files are added
• Pre-release to test auto-downloading supporting files
• Includes binary for Mac on ARM