Skip to content

Tags: athanor/athanor

Tags

release_v0.9.9

Toggle release_v0.9.9's commit message
Disable bad partition neighbourhoods

release_v0.9.8

Toggle release_v0.9.8's commit message
new release

before-ucb-change

Toggle before-ucb-change's commit message
This is before UCB was updated to be aligned with the mhc search stra…

…tegy

release_v0.9.7

Toggle release_v0.9.7's commit message
new release release_v0.9.7

release_v0.9.6

Toggle release_v0.9.6's commit message
new release

release_v0.9.5

Toggle release_v0.9.5's commit message
new release

release_v0.9.4

Toggle release_v0.9.4's commit message
releasing 0.9.4

release_v0.9.3

Toggle release_v0.9.3's commit message
release v0.9.3

v0.9.2

Toggle v0.9.2's commit message
Minor updates, support for unnamed types added, bug fixes to usage er…

…ror printing, refactor of some expression optimisations

v0.9.1

Toggle v0.9.1's commit message
An updated search strategy that should help bridge previously disconn…

…ected spaces, many bug fixes in OpFunctionImage relating to relational semantics, basic support for matrices added (not including matrix slicing yet). Functions are still assumed to be more idiomatic Essence.