Commits

Breadcrumbs

History for

onbdd14eb

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 28, 2022

• further cleaned the syntax:

  Show description for 5226311
  vpisarev

  committed
  5226311

  Copy full SHA for 5226311

Commits on Mar 27, 2022

• some more fixes in protobuf & ficus tutorial

  vpisarev

  committed
  6138d2e

  Copy full SHA for 6138d2e

Commits on Dec 24, 2021

• * added protobuf module (purely in C, based on protobuf-c) and Onnx parsing module based on it + simple demo script

  Show description for 9cbff35
  vpisarev

  committed
  9cbff35

  Copy full SHA for 9cbff35

Commits on Dec 6, 2021

• test commit from new machine; fixed formatting a little

  vpisarev

  committed
  b43d0bd

  Copy full SHA for b43d0bd

Commits on Dec 3, 2021

• * made preprocessor directives lower-case

  Show description for b97c3d3
  vpisarev

  committed
  b97c3d3

  Copy full SHA for b97c3d3

Commits on Nov 29, 2021

• * added section about Preprocessing to the tutorial, regenerated pdf

  Show description for fd08c2c
  vpisarev

  committed
  fd08c2c

  Copy full SHA for fd08c2c

Commits on Nov 9, 2021

• make use of the new expr feature (let's call it context expressions) in the unit tests:

  Show description for a3571fc
  vpisarev

  committed
  a3571fc

  Copy full SHA for a3571fc

Commits on Jun 20, 2021

• * added 'return <optional_return_value>' operator

  Show description for cf9ae16
  vpisarev

  committed
  cf9ae16

  Copy full SHA for cf9ae16

Commits on Jun 14, 2021

• * one little but big change; we now use (again) [] for lists and [< >] for vectors.

  Show description for 8cf94d8
  vpisarev

  committed
  8cf94d8

  Copy full SHA for 8cf94d8

Commits on May 22, 2021

• * added K-nucleotide benchmark (needs an external, rather big, DNA input file)

  Show description for 286e26c
  vpisarev

  committed
  286e26c

  Copy full SHA for 286e26c

• * added asin & acos

  Show description for 8158c85
  vpisarev

  committed
  8158c85

  Copy full SHA for 8158c85

Commits on May 16, 2021

• some more corrections in the tutorial

  vpisarev

  committed
  b917938

  Copy full SHA for b917938

• updated tutorial

  vpisarev

  committed
  59815f3

  Copy full SHA for 59815f3

• generate PDF of the tutorial

  vpisarev

  committed
  76a13d5

  Copy full SHA for 76a13d5

Commits on May 13, 2021

• * refactored Hashmap & Hashset implementation; a compact 'index' is stored separately, which:

  Show description for 2c1572f
  vpisarev

  committed
  2c1572f

  Copy full SHA for 2c1572f

Commits on May 10, 2021

• * added draft version of ficus tutorial

  Show description for 00e73d7
  vpisarev

  committed
  00e73d7

  Copy full SHA for 00e73d7

Commits on Mar 25, 2021

• * removed ocaml sources. They are still available under tag "0.1.0_ocaml".

  Show description for 6c59e7e
  vpisarev

  committed
  6c59e7e

  Copy full SHA for 6c59e7e

Commits on Mar 20, 2021

• converted several K-form transformations to Ficus

  vpisarev

  committed
  a85d638

  Copy full SHA for a85d638

Commits on Mar 13, 2021

• the parser is basically done! it's able to handle even quite big files. But maybe the constructed AST is incorrect. After adding type checker we will likely catch most problems.

  vpisarev

  committed
  01fad03

  Copy full SHA for 01fad03

Commits on Mar 5, 2021

• 1. implemented @unzip for

  Show description for b276d16
  vpisarev

  committed
  b276d16

  Copy full SHA for b276d16

Commits on Jan 11, 2021

• updated progress

  vpisarev

  committed
  46edfa5

  Copy full SHA for 46edfa5

Commits on Jul 10, 2020

• fixed

  vpisarev

  committed
  32caeaa

  Copy full SHA for 32caeaa

• downscaled

  vpisarev

  committed
  2caa985

  Copy full SHA for 2caa985

• plans

  vpisarev

  committed
  fbbef8c

  Copy full SHA for fbbef8c

Commits on Jul 8, 2020

• Some big changes:

  Show description for c7a6219
  vpisarev

  committed
  c7a6219

  Copy full SHA for c7a6219

Commits on May 24, 2020

• * a few small changes in Builtins.fx & runtime

  Show description for c93774d
  vpisarev

  committed
  c93774d

  Copy full SHA for c93774d

Commits on May 11, 2020

• added "elif", removed "in" keywords from the list of highlighted keywords

  vpisarev

  committed
  8268fa7

  Copy full SHA for 8268fa7

Commits on Dec 4, 2019

• edited readme and the intro

  vpisarev

  committed
  b03e8f9

  Copy full SHA for b03e8f9

Commits on Dec 3, 2019

• * added incomplete k_lift.ml module that should do a complete lambda lifting. The algorithm has been composed "on paper" but was not translated to OCaml yet

  Show description for ec786db
  vpisarev

  committed
  ec786db

  Copy full SHA for ec786db

Commits on Nov 11, 2019

• * implemented (not very complete) pattern matching, which sort of works. need to test it more and expand to support records

  Show description for e419686
  vpisarev

  committed
  e419686

  Copy full SHA for e419686

Commits on Nov 7, 2019

• * advanced with k-normalization quite a bit. 28 out of 37 exp_t cases have been covered (even though 1) the remaining cases are more complex 2) it does not count classes and interfaces, which are n…

  Show description for 42bc76e
  vpisarev

  committed
  42bc76e

  Copy full SHA for 42bc76e

Commits on Nov 5, 2019

• * updated 'ficus intro' document.

  Show description for 20d82d1
  vpisarev

  committed
  20d82d1

  Copy full SHA for 20d82d1

Commits on Oct 17, 2019

• removed logo

  vpisarev

  committed
  4741212

  Copy full SHA for 4741212

Commits on Jun 6, 2019

• added ficus logo

  vpisarev

  committed
  7b53e2b

  Copy full SHA for 7b53e2b

Commits on Jun 5, 2019

• continue working on the new syntax; started to add record types, variants, classes, interfaces etc., that is, the complete syntax for 1.0 or even 1.1

  vpisarev

  committed
  d93a8dd

  Copy full SHA for d93a8dd

Pagination

Previous

Next