Code

verified Scala with Stainless#278

Code

Merged

usr3-1415 merged 197 commits intoesa:masteresa/asn1scc:masterfrom ateleris:scala-backendateleris/asn1scc:scala-backendCopy head branch name to clipboardFeb 19, 2024

+16,233-15,676

Commits

Commits on Oct 4, 2023

• WIP: startet changing types for stainless (option, none, some from stainless instead of scala types)

  fschramka

  committed
  4f13623

  Copy full SHA for 4f13623

Commits on Oct 5, 2023

• added stainless Options instead of Scala Option / None / Some - pattern updatet.

  fschramka

  committed
  08a1fb0

  Copy full SHA for 08a1fb0

Commits on Oct 9, 2023

• fix C Tests runner for unix

  ivonu

  committed
  94d1a03

  Copy full SHA for 94d1a03

• added tests that failed before in a unix environment

  

  Filip Schramka

  committed
  02a00d7

  Copy full SHA for 02a00d7

• fix and add command as argument for C tests

  ivonu

  committed
  5bb22cd

  Copy full SHA for 5bb22cd

• Merge remote-tracking branch 'maxime-esa/master' into scala-backend

  ivonu

  committed
  97df2d3

  Copy full SHA for 97df2d3

• fix renamed github repository path in dockerfile

  ivonu

  committed
  34315af

  Copy full SHA for 34315af

Commits on Oct 11, 2023

• added verified parts of code

  fschramka

  committed
  123b2ee

  Copy full SHA for 123b2ee

Commits on Oct 12, 2023

• formatting

  

  Filip Schramka

  committed
  d3efe19

  Copy full SHA for d3efe19

• verification of asn1jvm.scala

  

  Filip Schramka

  committed
  e7624c2

  Copy full SHA for e7624c2

Commits on Oct 13, 2023

• asn1jvm.scala runs through stainless

  

  Filip Schramka

  committed
  b99f3b1

  Copy full SHA for b99f3b1

Commits on Oct 16, 2023

• fix stainless_utils.scala resource

  ivonu

  committed
  797417f

  Copy full SHA for 797417f

• introduce Option/None/Some for mutable objects

  ivonu

  committed
  c73e259

  Copy full SHA for c73e259

• Merge remote-tracking branch 'maxime-esa/master' into scala-backend

  ivonu

  committed
  7bd112d

  Copy full SHA for 7bd112d

• extern facade method for double, internal double bit string long meth

  

  Filip Schramka

  committed
  d3e3aef

  Copy full SHA for d3e3aef

• fixed LL bug

  

  Filip Schramka

  committed
  716a364

  Copy full SHA for 716a364

• Merge branch 'scala-backend' of https://github.com/ateleris/asn1scc into scala-backend

  

  Filip Schramka

  committed
  026ce33

  Copy full SHA for 026ce33

• fix missed OptionMut

  ivonu

  committed
  c7c4714

  Copy full SHA for c7c4714

• fix additional missed OptionMut

  ivonu

  committed
  6c934c7

  Copy full SHA for 6c934c7

• real bitstring decoding for stainless

  

  Filip Schramka

  committed
  32fabcf

  Copy full SHA for 32fabcf

Commits on Oct 17, 2023

• Some changes for running Stainless on asn1jvm

  mario-bucev

  committed
  42b79b0

  Copy full SHA for 42b79b0

• Merge pull request #9 from ateleris/stainless-first-pass

  Show description for 3df2176
  ivonu

  authored
  3df2176

  Copy full SHA for 3df2176

Commits on Oct 18, 2023

• WIP: verify encoding methods

  fschramka

  committed
  26c6e63

  Copy full SHA for 26c6e63

Commits on Oct 19, 2023

• - add some requires

  Show description for ba1c133
  ivonu

  committed
  ba1c133

  Copy full SHA for ba1c133

• unsignedToByte extension for Int

  ivonu

  committed
  7357c4e

  Copy full SHA for 7357c4e

• WIP: verification

  

  Filip Schramka

  committed
  ffbb0ec

  Copy full SHA for ffbb0ec

• Merge branch 'scala-backend' of https://github.com/ateleris/asn1scc into scala-backend

  

  Filip Schramka

  committed
  312f3e6

  Copy full SHA for 312f3e6

• some verifications on BitStream_AppendNBitOne, BitStream_AppendByteArray

  ivonu

  committed
  5bca6a5

  Copy full SHA for 5bca6a5

• removed WORD_LENGTH - makes no sense on the JVM

  

  Filip Schramka

  committed
  d60fadf

  Copy full SHA for d60fadf

• Merge branch 'scala-backend' of https://github.com/ateleris/asn1scc into scala-backend

  

  Filip Schramka

  committed
  a12a7f2

  Copy full SHA for a12a7f2

• try to verify GetNumberOfBitsForNonNegativeInteger

  

  Filip Schramka

  committed
  c97a726

  Copy full SHA for c97a726

• verified GetNumberOfBitsForNonNegativeInteger32

  

  Filip Schramka

  committed
  17bbc9e

  Copy full SHA for 17bbc9e

• better naming

  

  Filip Schramka

  committed
  9756a69

  Copy full SHA for 9756a69

Commits on Oct 20, 2023

• formatting comments

  ivonu

  committed
  2d87a9e

  Copy full SHA for 2d87a9e

• - byte to byte shift

  Show description for 69a7289
  ivonu

  committed
  69a7289

  Copy full SHA for 69a7289

• validate BitStream_AppendByte0

  ivonu

  committed
  9cf9d97

  Copy full SHA for 9cf9d97

• added Asn1Real_Equal and replaced doubleToLongBits with doubleToRawLongBits that does not mask the mantissa away in an NaN case

  fschramka

  committed
  0c1dac4

  Copy full SHA for 0c1dac4

• Merge branch 'scala-backend' of https://github.com/ateleris/asn1scc into scala-backend

  fschramka

  committed
  17e6c6c

  Copy full SHA for 17e6c6c

• rewrote all byte counting meths and verified them

  fschramka

  committed
  c4337a2

  Copy full SHA for c4337a2

Commits on Oct 23, 2023

• verifying REAL encode / dec

  

  Filip Schramka

  committed
  f52ba3c

  Copy full SHA for f52ba3c

Commits on Oct 25, 2023

• fixed real encoding problem

  fschramka

  committed
  065b693

  Copy full SHA for 065b693

• nan case found

  fschramka

  committed
  bff94ef

  Copy full SHA for bff94ef

Commits on Oct 26, 2023

• add NaN encoding (X.690-202102)

  

  Filip Schramka

  committed
  66ffb2c

  Copy full SHA for 66ffb2c

• validating BitStream_AppendBitOne

  ivonu

  committed
  ed39afa

  Copy full SHA for ed39afa

• validating BitStream_AppendBitZero

  ivonu

  committed
  6cbe350

  Copy full SHA for 6cbe350

• validating BitStream_AppendNBitZero

  ivonu

  committed
  2da9ecc

  Copy full SHA for 2da9ecc

• - validating AppendX functions

  Show description for a686589
  ivonu

  committed
  a686589

  Copy full SHA for a686589

• use ensuring from Stainless

  ivonu

  committed
  5d0f0b4

  Copy full SHA for 5d0f0b4

• encoder done, decoder started

  

  Filip Schramka

  committed
  88b66a6

  Copy full SHA for 88b66a6

• Merge branch 'scala-backend' of https://github.com/ateleris/asn1scc into scala-backend

  

  Filip Schramka

  committed
  954c0ad

  Copy full SHA for 954c0ad

• wip

  fschramka

  committed
  2a31e70

  Copy full SHA for 2a31e70

Commits on Oct 27, 2023

• validate BitStream_AppendByte

  ivonu

  committed
  62a70e2

  Copy full SHA for 62a70e2

• typo

  

  Filip Schramka

  committed
  1ef5252

  Copy full SHA for 1ef5252

• added constrains for the bitstream

  

  Filip Schramka

  committed
  053461c

  Copy full SHA for 053461c

• validate BitStream_AppendByte0

  ivonu

  committed
  a5f56f0

  Copy full SHA for a5f56f0

• simplify BitStream_AppendByteArray

  ivonu

  committed
  26c306c

  Copy full SHA for 26c306c

• verified BitStream_ReadByte, BitStream_ReadBytePure

  ivonu

  committed
  466d094

  Copy full SHA for 466d094

• WIP verifying BitStream_ReadByteArray, BitStream_ReadPartialByte

  ivonu

  committed
  fa74429

  Copy full SHA for fa74429

• WIP - tranlated first part

  

  Filip Schramka

  committed
  fe0ff4f

  Copy full SHA for fe0ff4f

• appendbyte & appendbyte0

  fschramka

  committed
  941cab2

  Copy full SHA for 941cab2

Commits on Oct 30, 2023

• add asn1jvm_Bitstream to solution

  ivonu

  committed
  f9b0c60

  Copy full SHA for f9b0c60

• adapt changed functions of bitstream in STG files

  ivonu

  committed
  252c92f

  Copy full SHA for 252c92f

• moved to BitStream: readPartialByte, appendPartialByte, readBits, readByteArray, appendByteArray, readBytePure, readByte

  ivonu

  committed
  20d6a0c

  Copy full SHA for 20d6a0c

• validate readPartialByte

  ivonu

  committed
  9fd9929

  Copy full SHA for 9fd9929

• OOP refactoring & renaming

  

  Filip Schramka

  committed
  d56d046

  Copy full SHA for d56d046

• correct indent

  

  Filip Schramka

  committed
  1e23e0a

  Copy full SHA for 1e23e0a

• rename ACN functions

  ivonu

  committed
  713f582

  Copy full SHA for 713f582

• WIP: uper codec

  

  Filip Schramka

  committed
  b94ee5b

  Copy full SHA for b94ee5b

• WIP: uper codec

  fschramka

  committed
  b642672

  Copy full SHA for b642672

Commits on Oct 31, 2023

• OOP refactoring of UPER and ACN

  ivonu

  committed
  cfd9353

  Copy full SHA for cfd9353

• rename some functions

  ivonu

  committed
  e075dd1

  Copy full SHA for e075dd1

Commits on Nov 1, 2023

• clean the appendBit function

  fschramka

  committed
  5db22c4

  Copy full SHA for 5db22c4

• extreme simplification of bitstream append functions

  fschramka

  committed
  0e8ea57

  Copy full SHA for 0e8ea57

Commits on Nov 2, 2023

• remove appendByte0 - that does that same as appendByte

  

  Filip Schramka

  committed
  23d1c15

  Copy full SHA for 23d1c15

Commits on Nov 3, 2023

• removed old code // Bookmark: marios verficatiorn of the old code is here

  fschramka

  committed
  5c6a029

  Copy full SHA for 5c6a029

• readByte added

  fschramka

  committed
  145bd7a

  Copy full SHA for 145bd7a

• simplified useless array copy

  

  Filip Schramka

  committed
  e228c8a

  Copy full SHA for e228c8a

• comment on how appendPartialByte works

  fschramka

  committed
  cb91827

  Copy full SHA for cb91827

Commits on Nov 4, 2023

• simple appentPartialByte added

  fschramka

  committed
  43c99b9

  Copy full SHA for 43c99b9

Commits on Nov 6, 2023

• - replace Char with Byte representation

  Show description for ec1b2f6
  ivonu

  committed
  ec1b2f6

  Copy full SHA for ec1b2f6

• renaming & different return vals

  

  Filip Schramka

  committed
  e98ea6e

  Copy full SHA for e98ea6e

• Merge branch 'FS_Rework_Bitstream' of https://github.com/ateleris/asn1scc into FS_Rework_Bitstream

  Show description for ccb308b
  

  Filip Schramka

  committed
  ccb308b

  Copy full SHA for ccb308b

• remove optionMut from readBits in bitstream

  

  Filip Schramka

  committed
  7bb82e4

  Copy full SHA for 7bb82e4

• introduce remainingBits for BitStream

  ivonu

  committed
  c818a17

  Copy full SHA for c818a17

• comment

  

  Filip Schramka

  committed
  6d01eb5

  Copy full SHA for 6d01eb5

• Merge branch 'FS_Rework_Bitstream' of https://github.com/ateleris/asn1scc into FS_Rework_Bitstream

  

  Filip Schramka

  committed
  4d4b660

  Copy full SHA for 4d4b660

• remove option from readPartialByte

  ivonu

  committed
  df18f0e

  Copy full SHA for df18f0e

• fix readBits

  ivonu

  committed
  7d0f2cb

  Copy full SHA for 7d0f2cb

• rewrote readpartialbyte

  

  Filip Schramka

  committed
  a4ceca9

  Copy full SHA for a4ceca9

• comments added

  fschramka

  committed
  26b3ab5

  Copy full SHA for 26b3ab5

Commits on Nov 7, 2023

• - finish implementing BitStream access functions on Codec

  Show description for 4eff09c
  ivonu

  committed
  4eff09c

  Copy full SHA for 4eff09c

• some return type fixes

  ivonu

  committed
  5a0891d

  Copy full SHA for 5a0891d

Commits on Nov 8, 2023

• Verified 764 / 769

  fschramka

  committed
  e3b2876

  Copy full SHA for e3b2876

Commits on Nov 9, 2023

• avoid direct access on bitStream currentBit/currentByte/buf

  ivonu

  committed
  1e13e17

  Copy full SHA for 1e13e17

• ujujuj

  

  Filip Schramka

  committed
  59e2f9e

  Copy full SHA for 59e2f9e

• docs to readbits & minor changes

  

  Filip Schramka

  committed
  9aa3341

  Copy full SHA for 9aa3341

• Merge branch 'FS_Rework_Bitstream' of https://github.com/ateleris/asn1scc into FS_Rework_Bitstream

  

  Filip Schramka

  committed
  b4d4d1f

  Copy full SHA for b4d4d1f

• refactor checkBitPatternPresent and readBits_nullterminated

  ivonu

  committed
  6eb691c

  Copy full SHA for 6eb691c

• verified readBits_nullterminated

  ivonu

  committed
  78f3132

  Copy full SHA for 78f3132

• make currentBit, currentByte, buf of BitStream private

  ivonu

  committed
  005d791

  Copy full SHA for 005d791

• remove getBuffer, and use readByteArray instead in ATCs

  ivonu

  committed
  dd49cbc

  Copy full SHA for dd49cbc

• magic number

  

  Filip Schramka

  committed
  ae25ada

  Copy full SHA for ae25ada

Commits on Nov 10, 2023

• verify function which update the bitIndex

  ivonu

  committed
  6f791c0

  Copy full SHA for 6f791c0

• replaced remainingBits with func, invariant holds now

  

  Filip Schramka

  committed
  14cd794

  Copy full SHA for 14cd794

• some VC's, bit naming

  

  Filip Schramka

  committed
  333feac

  Copy full SHA for 333feac

• checkBitPatternPresent done

  

  Filip Schramka

  committed
  024fc3f

  Copy full SHA for 024fc3f

• some changes in readBitsUntilTerminator

  

  Filip Schramka

  committed
  19571e5

  Copy full SHA for 19571e5

• translated missing code for BitString and IA5String

  ivonu

  committed
  386bc16

  Copy full SHA for 386bc16

• fix in dec_String_Ascii_Null_Teminated_mult

  ivonu

  committed
  da5ca2e

  Copy full SHA for da5ca2e

• additional test cases

  ivonu

  committed
  35b8726

  Copy full SHA for 35b8726

• translated missing code for BitString and IA5String for UPER

  ivonu

  committed
  3e9ed01

  Copy full SHA for 3e9ed01

Commits on Nov 13, 2023

• enabled Tests for ACN/UPER Service 14 and UPER Service 12 (work for C now)

  ivonu

  committed
  21052ed

  Copy full SHA for 21052ed

• Address some invalid VCs

  mario-bucev

  committed
  8877f71

  Copy full SHA for 8877f71

• remove readBitsUntilTerminator

  

  Filip Schramka

  committed
  94fadc1

  Copy full SHA for 94fadc1

• added some return values that make more sense

  

  Filip Schramka

  committed
  fa0754c

  Copy full SHA for fa0754c

Commits on Nov 16, 2023

• Merge remote-tracking branch 'origin/address-invald' into scala-backend

  Show description for 2f86a2f
  

  Filip Schramka

  committed
  2f86a2f

  Copy full SHA for 2f86a2f

• finished error handling refactoring

  

  Filip Schramka

  committed
  5e0402d

  Copy full SHA for 5e0402d

• commented unused verification

  

  Filip Schramka

  committed
  2ee105d

  Copy full SHA for 2ee105d

Commits on Nov 27, 2023

• fix early return

  

  Filip Schramka

  committed
  2d4c0b1

  Copy full SHA for 2d4c0b1

Commits on Dec 1, 2023

• fix some String init/access stuff

  ivonu

  committed
  dbbddb4

  Copy full SHA for dbbddb4

• translated some left over C code

  ivonu

  committed
  e799725

  Copy full SHA for e799725

• fixed esa#281

  

  Filip Schramka

  committed
  5a608b5

  Copy full SHA for 5a608b5

• reworked alignment

  

  Filip Schramka

  committed
  4b61d9d

  Copy full SHA for 4b61d9d

Commits on Dec 4, 2023

• use cheaper OP

  

  Filip Schramka

  committed
  8dbc730

  Copy full SHA for 8dbc730

• added proposed C implementation for comparability

  

  Filip Schramka

  committed
  1493b83

  Copy full SHA for 1493b83

• fixed broken precondition

  

  Filip Schramka

  committed
  2497798

  Copy full SHA for 2497798

• changed from ghost to pure - meth gets accessed from non ghost context in codec

  

  Filip Schramka

  committed
  975b79d

  Copy full SHA for 975b79d

Commits on Dec 8, 2023

• removed unused real enc / dec

  Show description for 31feeaf
  

  Filip Schramka

  committed
  31feeaf

  Copy full SHA for 31feeaf

Commits on Dec 13, 2023

• Merge remote-tracking branch 'EsaRepo/master' into scala-backend

  

  Filip Schramka

  committed
  c7b4fb1

  Copy full SHA for c7b4fb1

Commits on Dec 14, 2023

• post enc func & post dec val

  fschramka

  committed
  d02c9a9

  Copy full SHA for d02c9a9

Commits on Dec 15, 2023

• typo & some VCs

  

  Filip Schramka

  committed
  8b482fb

  Copy full SHA for 8b482fb

• adapt scala atc to C

  fschramka

  committed
  545ecc6

  Copy full SHA for 545ecc6

Commits on Dec 18, 2023

• fix according to 8.3

  

  Filip Schramka

  committed
  2c56ca3

  Copy full SHA for 2c56ca3

• decode unconstrained whole number vcs

  

  Filip Schramka

  committed
  49bda6e

  Copy full SHA for 49bda6e

• removed useless assertion

  

  Filip Schramka

  committed
  aa9ae2a

  Copy full SHA for aa9ae2a

Commits on Dec 22, 2023

• first idea

  

  Filip Schramka

  committed
  e4c1edf

  Copy full SHA for e4c1edf

• fixed some VCs

  fschramka

  committed
  0699398

  Copy full SHA for 0699398

Commits on Jan 8, 2024

• Merge remote-tracking branch 'EsaRepo/master' into scala-backend

  

  Filip Schramka

  committed
  7036d3b

  Copy full SHA for 7036d3b

• fixed renaming meths in templates

  

  Filip Schramka

  committed
  5ca2f3e

  Copy full SHA for 5ca2f3e

• fixed VC in GetBytesNeededForNegativeNumber

  

  Filip Schramka

  committed
  2b9d74d

  Copy full SHA for 2b9d74d

• removed encodeConstraintPosWholeNumber - no unsigned numbers on the JVM

  

  Filip Schramka

  committed
  2b761f7

  Copy full SHA for 2b761f7

Commits on Jan 10, 2024

• replaced template call

  fschramka

  committed
  0afe294

  Copy full SHA for 0afe294

• some VC's - some typos

  fschramka

  committed
  f06db23

  Copy full SHA for f06db23

• some more VCs

  fschramka

  committed
  3136fcc

  Copy full SHA for 3136fcc

Commits on Jan 12, 2024

• stainless like return values

  Show description for b64ee07
  

  Filip Schramka

  committed
  b64ee07

  Copy full SHA for b64ee07

Commits on Jan 15, 2024

• fixed return value stainless problem

  Show description for 5a92888
  

  Filip Schramka

  committed
  5a92888

  Copy full SHA for 5a92888

• compatibility to C interop (unsigned / signed)

  

  Filip Schramka

  committed
  2d0c1d1

  Copy full SHA for 2d0c1d1

• JVM can not handle extreme numbers, numbers are valid, range is invalid

  

  Filip Schramka

  committed
  3938f37

  Copy full SHA for 3938f37

Commits on Jan 16, 2024

• Make bitStream a field

  mario-bucev

  committed
  54e1c29

  Copy full SHA for 54e1c29

Commits on Jan 17, 2024

• use wrapping for extreme cases

  fschramka

  committed
  b875e1d

  Copy full SHA for b875e1d

Commits on Jan 18, 2024

• Changes to Scala backend for more suitable verification

  mario-bucev

  committed
  5bfdd79

  Copy full SHA for 5bfdd79

• Merge pull request #12 from mario-bucev/scala-changes

  Show description for 242f9bd
  fschramka

  authored
  242f9bd

  Copy full SHA for 242f9bd

• fix access to Option field

  fschramka

  committed
  19ac41e

  Copy full SHA for 19ac41e

• fix acces to optional array in test cases

  Show description for 0006eab
  fschramka

  committed
  0006eab

  Copy full SHA for 0006eab

• rewert some changes

  fschramka

  committed
  01f067a

  Copy full SHA for 01f067a

• fix some preconditions after refactoring

  fschramka

  committed
  86e6df5

  Copy full SHA for 86e6df5

Commits on Jan 23, 2024

• Fix ATC broken by #12

  mario-bucev

  committed
  f1d73e1

  Copy full SHA for f1d73e1

Commits on Jan 24, 2024

• Merge pull request #13 from mario-bucev/fix-atc

  Show description for 73e0c13
  fschramka

  authored
  73e0c13

  Copy full SHA for 73e0c13

• Merge branch 'scala-backend' into bitstream-as-field

  fschramka

  authored
  00c954d

  Copy full SHA for 00c954d

• Merge pull request #11 from mario-bucev/bitstream-as-field

  Show description for 353578c
  fschramka

  authored
  353578c

  Copy full SHA for 353578c

• typo

  

  Filip Schramka

  committed
  9b819a8

  Copy full SHA for 9b819a8

• removed unnecessary cpy of arr

  

  Filip Schramka

  committed
  4d9f855

  Copy full SHA for 4d9f855

• fixed some VCs

  

  Filip Schramka

  committed
  40d61dd

  Copy full SHA for 40d61dd

• replaced unnessesary complicated code for bit counting

  

  Filip Schramka

  committed
  c8902ba

  Copy full SHA for c8902ba

Commits on Jan 25, 2024

• replace meth with way simpler one

  

  Filip Schramka

  committed
  0890ecb

  Copy full SHA for 0890ecb

Commits on Jan 26, 2024

• rewrote simplified, restructured, renamed integer functions

  

  Filip Schramka

  committed
  ab80a4b

  Copy full SHA for ab80a4b

Commits on Jan 29, 2024

• Magic numbers removed

  

  Filip Schramka

  committed
  cbffee8

  Copy full SHA for cbffee8

Commits on Jan 30, 2024

• Stainless-compatible Scala gen

  mario-bucev

  committed
  4162450

  Copy full SHA for 4162450

Commits on Jan 31, 2024

• fix compiler bug that lets you define bigger ranges than uint64.MAX in a specific case

  

  Filip Schramka

  committed
  525f181

  Copy full SHA for 525f181

• remove number clamping and calculate with pseudo unsigned numbers in scala

  

  Filip Schramka

  committed
  85b9f09

  Copy full SHA for 85b9f09

• encodeSemiConstrainedPosWholeNumber simplified

  

  Filip Schramka

  committed
  a049b43

  Copy full SHA for a049b43

Commits on Feb 1, 2024

• reworked all integer codec functions

  

  Filip Schramka

  committed
  3ddc65f

  Copy full SHA for 3ddc65f

• Merge pull request #14 from mario-bucev/stainless-acceptance

  Show description for 2cfdc84
  fschramka

  authored
  2cfdc84

  Copy full SHA for 2cfdc84

Commits on Feb 2, 2024

• Make Codec a field for ACN, UPER and PER instead of a trait

  mario-bucev

  committed
  e86d208

  Copy full SHA for e86d208

• Merge pull request #15 from mario-bucev/composition

  Show description for 3b36dbd
  fschramka

  authored
  3b36dbd

  Copy full SHA for 3b36dbd

Commits on Feb 6, 2024

• Adding pre and postcondition to Scala encoding and decoding functions

  mario-bucev

  committed
  3ca9737

  Copy full SHA for 3ca9737

• Add opaque types for unsigned integers

  mario-bucev

  committed
  c0ce486

  Copy full SHA for c0ce486

• Merge pull request #16 from mario-bucev/more-stainless

  Show description for bca69cc
  fschramka

  authored
  bca69cc

  Copy full SHA for bca69cc

• removed some C like return values

  

  Filip Schramka

  committed
  22bd288

  Copy full SHA for 22bd288

Commits on Feb 8, 2024

• Merge pull request #17 from mario-bucev/opaque-unsigned

  Show description for a995fb9
  fschramka

  authored
  a995fb9

  Copy full SHA for a995fb9

• some vcs

  fschramka

  committed
  e6e3640

  Copy full SHA for e6e3640

Commits on Feb 9, 2024

• Merge commit '8943cb1e93920f13035af42c7f5c2437b12ab027' into scala-backend

  Show description for facbec5
  

  Filip Schramka

  committed
  facbec5

  Copy full SHA for facbec5

Commits on Feb 12, 2024

• fixed broken tests

  

  Filip Schramka

  committed
  4fc9e6a

  Copy full SHA for 4fc9e6a

• WIP: Broken merge - needs FIX

  Show description for b798eef
  

  Filip Schramka

  committed
  b798eef

  Copy full SHA for b798eef

• WIP: Fixed Import

  

  Filip Schramka

  committed
  0c39cf2

  Copy full SHA for 0c39cf2

Commits on Feb 13, 2024

• made it compile again

  

  Filip Schramka

  committed
  acf726c

  Copy full SHA for acf726c

• Implement getSeqChildIsPresent

  mario-bucev

  committed
  923554e

  Copy full SHA for 923554e

• fixed UPER

  

  Filip Schramka

  committed
  964a708

  Copy full SHA for 964a708

• false positives

  

  Filip Schramka

  committed
  9a3e0c2

  Copy full SHA for 9a3e0c2

• simpler design

  

  Filip Schramka

  committed
  769ae4c

  Copy full SHA for 769ae4c

• fixed fail

  

  Filip Schramka

  committed
  79cd600

  Copy full SHA for 79cd600

Commits on Feb 14, 2024

• Fix access path for Scala

  mario-bucev

  committed
  bade67e

  Copy full SHA for bade67e

• add sdkman & scala dependencies to docker

  fschramka

  committed
  db1c37c

  Copy full SHA for db1c37c

Commits on Feb 15, 2024

• runs now

  fschramka

  committed
  56d7ddc

  Copy full SHA for 56d7ddc

Commits on Feb 16, 2024

• no message

  

  Filip Schramka

  committed
  edb3e25

  Copy full SHA for edb3e25

• single line string

  

  Filip Schramka

  committed
  0b6aae8

  Copy full SHA for 0b6aae8

• exit 1 added

  

  Filip Schramka

  committed
  096e448

  Copy full SHA for 096e448