blegat

using Pkg
pkg"add MathOptInterface#bl/socr"
using MathOptInterface
const MOI = MathOptInterface
const MOIU = MOI.Utilities
const MOIB = MOI.Bridges
MOIU.@model(NoRSOCModel, (), (),
            (MOI.SecondOrderCone, MOI.PositiveSemidefiniteConeTriangle),
            (), (), (), (),
            (MOI.VectorAffineFunction,))

blegat

using Polyhedra
h = HyperPlane([0, 1], 1) ∩ HyperPlane([0, 1], -1)

code = Any[
  Expr(:(=), Core.SlotNumber(1), 0),
  Expr(:call, GlobalRef(Main, :hyperplanes), GlobalRef(Main, :h)),
  Expr(:(=), Core.SlotNumber(2), Expr(:call, Base.iterate, Base.SSAValue(2))),
  Expr(:call, Core.:(===), Core.SlotNumber(2), nothing),
  Expr(:call, Base.not_int, Base.SSAValue(4)),
  Expr(:gotoifnot, Base.SSAValue(5), 16),

blegat

#!/bin/bash

# UCL Virtual Desktop Update Checker (VDUC pour les intimes)
# Averti quand votre bureau virtuel est mit à jour
# Guillaume Derval
# GPLv3

uclID="IDENTIFIANT UCL" #Identifiant global UCL
uclPASS='PASS UCL' #Le pass UCL. sisi.
activateBell=1 #Son en boucle si MAJ