This repository was archived by the owner on Oct 23, 2023. It is now read-only.

Repository navigation

Commits

Commits on Oct 24, 2019
- Removed python3.7 dependencies
  edomora97
  committed
  c84eb4a
Commits on Sep 29, 2019
- Add support for Java with Graal AOT compilation
  dariost
  committed
  e58768e
Commits on Sep 28, 2019
- Add -lm for C compilation
  dariost
  committed
  41152a6
Commits on May 22, 2019
- Merge pull request #1 from tmsocial/tmorigin
  edomora97
  authored
  62c9906
Commits on May 21, 2019
- Fix problem that statement files are always compiled in english
  alerighi
  committed
  e39c953
Commits on May 9, 2019
- Ubuntu 19.04
  edomora97
  committed
  d9740db
- Fixed archlinux-clang build
  edomora97
  committed
  476059e
- Some fixes to the build system
  edomora97
  committed
  e8b912c
- Fix the test compilation
  edomora97
  committed
  1fd81d0
Commits on Mar 25, 2019
- Added timelimit of ~20s to the terry solutions
  edomora97
  committed
  35da071
Commits on Feb 24, 2019
- Reverted limitation of compilation stderr output
  edomora97
  committed
  1897a25
Commits on Feb 14, 2019
- Fixed problem parsing IPv6 addresses
  edomora97
  committed
  72138ed
Commits on Jan 7, 2019
- Fixed latex template
  edomora97
  committed
  1cb0c38
Commits on Jan 2, 2019
- The spawning messages are going to stderr
  edomora97
  committed
  fefd686
Commits on Jan 1, 2019
- More uniformation for the JSON terry ui
  edomora97
  committed
  38752f9
Commits on Dec 31, 2018
- Uniformed the json UI
  edomora97
  committed
  c874bc5
- Added --no-sanity-checks to prevent the sanity checks to be run
  edomora97
  committed
  794e395
- Added --no-spawn option to prevent server/worker spawning
  edomora97
  committed
  4d69806
- The bash.sh solution in a test was using sh instead of bash
  edomora97
  committed
  c3dfa20
Commits on Dec 30, 2018
- Removed pedantic checks
  edomora97
  committed
  241cbc8
- The statement templates files were not copied on ./setup.py install
  edomora97
  committed
  e7e0aa2
- The stdout and stderr of the compilations is limited to 1 KiB
  edomora97
  committed
  5410f26
- Limited the amount of data read by getContentAsString
  edomora97
  committed
  48eb26c
- Implemented --stop to kill the background processes of task-maker
  edomora97
  committed
  819a51e
- All the relative paths in the command line are relative to the CWD
  edomora97
  committed
  214d6ed
- Implemented --fuzz-checker for fuzzing the checker
  edomora97
  committed
  33a597e
- Implemented way to fetch the raw bytes from a File in Python
  edomora97
  committed
  9e545e8
- Added the path of the file for the compilation in the json stream ui
  edomora97
  committed
  40da9cb
Commits on Dec 29, 2018
- Fixed bug when --clean is used with tm-format and no generator.* is present
  edomora97
  committed
  562f062
- An arbitrary solution can be passed using an absolute path
  edomora97
  committed
  c66ad88
- Added -ggdb3 to the compiled executables
  edomora97
  committed
  55af0f6
- Added sanity check for OIS-like statements
  edomora97
  committed
  7961c60
- Removed unneeded fields and simplified some logic
  edomora97
  committed
  ea22c74
Commits on Dec 28, 2018
- Added script for rebuilding and pushing the containers
  edomora97
  committed
  d7de1d3
Commits on Dec 27, 2018
- Implemented wrapper around the Execution provided by the frontend
  edomora97
  committed
  7d3a41b

Branch selector

User selector

Datepicker

Commit history

Commits on Oct 24, 2019

Commits on Sep 29, 2019

Commits on Sep 28, 2019

Commits on May 22, 2019

Commits on May 21, 2019

Commits on May 9, 2019

Commits on Mar 25, 2019

Commits on Feb 24, 2019

Commits on Feb 14, 2019

Commits on Jan 7, 2019

Commits on Jan 2, 2019

Commits on Jan 1, 2019

Commits on Dec 31, 2018

Commits on Dec 30, 2018

Commits on Dec 29, 2018

Commits on Dec 28, 2018

Commits on Dec 27, 2018