View examples.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
❯ ./timeout.jl ps | |
PID TTY TIME CMD | |
697 ttys000 0:00.16 -zsh | |
1132 ttys001 0:00.09 /bin/zsh --login | |
3115 ttys002 0:00.09 /bin/zsh -l | |
3632 ttys003 0:00.32 /bin/zsh -l | |
11816 ttys003 0:00.32 /Users/eph/.asdf/installs/julia/1.7.1/bin/julia --color=yes --startup-file=no -O0 --compile=min ./timeout.jl ps | |
❯ ./timeout.jl sleep 3 && echo "done" |
View Cancel.yml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Cancel | |
on: | |
push: | |
branches: | |
- main | |
- master | |
pull_request: | |
types: [opened, synchronize, reopened, ready_for_review] | |
jobs: | |
cancel: |
View exp.jl
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# https://github.com/rutgers-apl/rlibm-32/blob/44560acbd2ee22242989bdac259ad3665fa85d06/source/float/exp.c | |
include("constants.jl") | |
function rlibm_exp_ported(x::Float32) | |
# u is fx.x in the original code | |
u = reinterpret(UInt32, x) | |
# Take care of special cases | |
if (0x42b17218 <= u <= 0xb3000000) |
View Manifest.toml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file is machine-generated - editing it directly is not advised | |
[[ArgTools]] | |
uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f" | |
[[Artifacts]] | |
uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33" | |
[[Base64]] | |
uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" |
View Manifest.toml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file is machine-generated - editing it directly is not advised | |
[[ASL_jll]] | |
deps = ["Libdl", "Pkg"] | |
git-tree-sha1 = "7fa8d4626ddb4a142e82a8ce07279c1315803433" | |
uuid = "ae81ac8f-d209-56e5-92de-9978fef736f9" | |
version = "0.1.1+3" | |
[[Base64]] | |
uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" |
View Manifest.toml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file is machine-generated - editing it directly is not advised | |
[[AbstractFFTs]] | |
deps = ["LinearAlgebra"] | |
git-tree-sha1 = "051c95d6836228d120f5f4b984dd5aba1624f716" | |
uuid = "621f4979-c628-5d54-868e-fcf4e3e8185c" | |
version = "0.5.0" | |
[[AbstractNumbers]] | |
deps = ["SpecialFunctions"] |
View Manifest.toml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file is machine-generated - editing it directly is not advised | |
[[AMD]] | |
deps = ["Libdl", "LinearAlgebra", "SparseArrays", "Test"] | |
git-tree-sha1 = "7b8e22e91af4ccbfbcae87c36d141441defe6f0f" | |
uuid = "14f7f29c-3bd6-536c-9a0b-7339e30b5a3e" | |
version = "0.3.1" | |
[[AbstractTrees]] | |
deps = ["Markdown"] |
View IntervalSpecialFunctions.jl
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file contains code taken from https://github.com/JuliaIntervals/IntervalSpecialFunctions.jl | |
# which is available under the following MIT license: | |
# > Copyright (c) 2018: David Sanders. | |
# > | |
# > Permission is hereby granted, free of charge, to any person obtaining a copy | |
# > of this software and associated documentation files (the "Software"), to deal | |
# > in the Software without restriction, including without limitation the rights | |
# > to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
# > copies of the Software, and to permit persons to whom the Software is |
View warmstart_error.jl
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
using SCS | |
using MathOptInterface # MathOptInterface v0.9.6 | |
const MOI = MathOptInterface | |
const MOIU = MOI.Utilities | |
const MOIB = MOI.Bridges | |
function make_model(vector) | |
optimizer = SCS.Optimizer(verbose=false) | |
T = Float64 | |
model = MOIB.full_bridge_optimizer( |
View convert_tests.jl
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
function convert_test(file, prefix) | |
# handle start and end: | |
# delete @testset for... and final "end" | |
file_contents = read(file, String) | |
file_contents = replace(file_contents, r"\h*@testset.*for\ssolver.*\n" => "") | |
file_contents = lstrip(file_contents) | |
file_contents = file_contents[1:prevind(file_contents, first(findlast("end", file_contents)))] | |
file_contents = replace(file_contents, r"\n\h\h\h\h(.*)" => SubstitutionString("\n\\1")) | |
# handle special cases |
NewerOlder