Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Create theorymap-level model migrator #118

Merged
merged 13 commits into from
Nov 13, 2023
Merged

Create theorymap-level model migrator #118

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
bc47341
Migrate models differently
Oct 16, 2023
ed4ecef
fix docstring
Oct 16, 2023
62422a5
working pushouts
Oct 20, 2023
d8a525f
remove residual algtup code
Oct 20, 2023
9a7b741
better coverage
Oct 26, 2023
db5c7b6
remove else branches
Oct 26, 2023
b7c90ae
remove vestigal code
Oct 26, 2023
0679e90
two kinds of AlgSort
Nov 1, 2023
75f9e18
struct.args -> struct.fields
Nov 1, 2023
03b8e35
AlgDot has ident, no AlgSort needed
Nov 2, 2023
c53cd4b
primitive vs struct sorts, more coverage
Nov 2, 2023
d91b2aa
cleanup
Nov 10, 2023
bfc173b
migrate -> migrate_theory
Nov 11, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions src/GATlab.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ include("util/module.jl")
include("syntax/module.jl")
include("models/module.jl")
include("stdlib/module.jl")
include("nonstdlib/module.jl") # don't reexport this

@reexport using .Util
@reexport using .Syntax
Expand Down
Loading